Gencellicon
Constraints Certifier
A sign-off constraints platform provides demotion, budgeting and hierarchical equivalency of timing constraints at any stage of the ASIC or FPGA flow. Constraints certifier provides comprehensive capabilities to validate constraints and timing exceptions with respect to underlying HDL.
Why Constraints Certifier
Constraints Certifier uses formal algorithms to verify the timing constraints, thus providing accurate in-depth analysis of both the design and its associated timing constraints. Using a formal engine to analyze the behavior of the design and the SDC files reduces noise and false warnings associated with static checking methods. Designers can generate incremental SDC in case the original SDC is missing constraints. When dealing with designer intent in the associated SDC file, SVAs can capture the requirements for further simulation for precise results.
Demote with confidence
Constraints Certifier empowers designers to perform constraints demotion and hierarchical budgeting based on percentages, delay or logic levels. Designers can visually debug failing paths and take corrective action via budget-map.
Ensure timing equivalency across hierarchies
As constraints change, timing constraints may be inequivalent and lose original intent. TEC ensures block and top-level constraints are all in-context. Designers can also compare various versions of design and constraints.
Reduce need for gate-level simulation
Through use of SVA’s, designers can not only capture and validate timing intent of the design as defined in timing constraints files but also reduce the need for gate level simulation and challenges of setting up such analysis.
Frequently asked questions
Timing equivalence checking is traditionally referred to as top-to-block checking of timing constraints against each other. However, often there is a need for two different versions of a design to be checked against the same timing constraints file or one constraints file against two designs. Constraints Certifier provides a comprehensive capability for checking timing constraints against the design.