path_adjust is used to either relax or tighten the timing constraints (even though defined by path_delay).
e.g to relax the constraints by 100ps
rc:>/ path_adjust -from [all_inputs] -to [all_outputs] -delay 100 -name pa_i2o
e.g to tighten the constraints by 100ps
rc:>/ path_adjust -from [all_inputs] -to $all_registers -delay 100 -name pa_i2r
path_adjust is thus use to guide RTL Compiler to concentrate and focus on register to register timing instead of optimizing inputs to output paths.
When such path_adjust exceptions are created there are located at
“relative C threshold” and “total C threshold” in RC extraction are set by
Upon a change of my server’s certificates, my git configuration required to be updated. Else, git pulls will fail with the following error message:
SSL: certificate verification failed
The fix itself is simple, first download a copy of the new X509 certificate and then update the
sslCAinfo field in the
$realtime is the de-facto system function I use when writing SystemVerilog assertions. The limitation of
$time lies in its 64-bit integer value.
$realtime enables SystemVerilog assertions to be re-used in gate-level simulations. I’m glad that Ben Cohen, the renowned SVA expert, agrees with me on this.
This weekend, I caught up with a presentation from @AlexOrr of Broadcom in which he talks about his “first 100 days in formal-land”.
I wanted to read it for a very long time. After reading the slides offline, I felt that this presentation was worth attending in person.
Within those slides, one can feel his experience and his desire to share it with the Design And Verification Engineer (DAVE) community.
@AlexOrr’s presentation is from #JUG2015. Blog posts related to Jasper User Group 2015 can be found here.
There are two items from his presentation I was repeating for a long time to my peers: Assertions and Jenkins. It is good to hear someone else is emphasizing on them as well.
Below are some key takeaways from Alex’s presentation. They are not new. However, they should be reminded over and over again.
Assumptions become assertions in simulation.
Do I have to retest all the reset values over and over again ?
I assume he was hinting at UVM built-in sequence
Assertions more portable than dynamic tests.
Use assertions, path spoilers, monitors, and/or illegal_bins statements. As well as $past.
Leverage “SuperLint” apps such as X-Prop.
This message popped up during the update to owncloud 8.2.2
Update failed. Unable to move /var/www/owncloud/_oc-upgrade/8.2.2/core/resources to /var/www/owncloud/resources
The trick is to replace the version from 8.1 to 8.2 as per the highlighted line shown below:
Found this old blog post “A dbGet Code Example” on the Cadence Digital Implementation useful. She described how to place power switch cells using
It appears that
dbSet will be my go-to commands on EDI.
I found out that using
dbGet.selected.?? could list out not only the values but also the attributes of the selected objects. Thus, making easier to script