-
Why does floorplan require designer feedback?
Floorplan is required for topographical synthesis / production synthesis, as well as physical design. It often requires designer feedback due to the following reasons. Synthesis Re-spin Time There are quite a few factors impacting synthesis re-spin time, such as timing closure difficulty, logic levels, logic complexity, etc. Two most important factors are standard cell area…
-
Best Practice for SVA Naming Conventions
Consistent SVA naming conventions not just improve code quality, but also make FV setup more easily, for example: We show a sample SVA naming convention checklist below: SVA Naming Convention Comment Assertion property names should start with “P_” prefix Assertion properties should hold true all the time, so use a dedicated prefix Assume property names…
-
How to write efficient DV constraints?
Split Bigger Problem into Smaller Ones Instead of mixing everything together, splitting bigger problems into smaller steps offers better performance. One may consider using “Solve-Before” for user defined solving order. In addition, it is also recommended to sequence constraint solving in “pre_randomize()” and “post_randomize()” whenever possible. Use “Solve-Before” with Caution Although user-defined “solve-before” constructs are…
-
What can cause a simulation hang?
Simulation hang is a condition where simulator functionalities cannot advance. We can only observe that nothing meaningful has happened for a long time. Simulation hang can be caused by RTL bugs, testbench (TB) issues, or C-model errors. RTL Bugs A combinational loop in RTL can prevent time from advancing. When there exists a combinational loop…
-
How to spot toxic managers before accepting an offer?
Most people only realize the manager is toxic after on-boarding, when the switching costs are too high. They did not realize, toxic managers often reveal themselves during the interview process, if they know what to ask and what to look for. Patterns of Toxic Managers The most common type of toxic managers looks like this:…
-
What are LEC abort points? How to debug aborts?
It is not uncommon to see abort points during LEC. They are the key points that have not been proven either equivalent or non-equivalent based on the current tool settings, such as compare effort or compare algorithms. There are several possible causes of abort points: Before debugging abort points, the first step is to resolve…
-
How to improve re-build time during test case development?
During test case development, the trial and error process often causes re-compilation and re-elaboration of the entire database, including testbench (TB), DUT, C-model, and sometimes even UPF if it is for power-aware verification. When the database is large, rebuilding everything is time consuming. There are several ways to optimize re-build time during test case development.…
-
How to resolve SVA false failure with gated clocks?
In FPV, if an SVA uses a gated clock, it could have false failures. Take the following SVA for example: “config_regs” can legally be changed when “block_busy” is low, during which the gated clock does not toggle and the SVA does not check its consequent “$stable(config_regs)”. When the next time “block_busy” is high, the gated…
-
What is a valid-ready slice staller? How does a staller work?
In simulations, testbench may intentionally inject bubbles to a valid-ready interface, to check that the valid-ready interface can still functionally work. Such technique is called valid-ready slice staller, and it improves the coverage of valid-ready interface backpressure scenarios. One possible staller implementation is shown below: In the regular case, “stall_en” is low, and the staller…
-
How to optimize coherence conflict / false sharing?
Coherence conflict happens when two cores compete for the read & write access for the cache line. False sharing, in particular, is a special type of coherence conflict, where two cores read and write different data that happen to reside in the same cache line. The coherence traffic incurred by coherence conflict / false sharing…
Chipress 