English
Multi-faceted design verification
Robert Eccles, Calypto Design Systems
EDN (August 04, 2014)
Design verification is increasingly complex. Designers spend more than 50% of the overall design schedule in verification. Verifying functionality involves multiple tools and multiple views of the circuit, with functional simulation as the primary method. The design is subjected to a number of test vectors, and the results are compared against an expected result. The process is slow and is only as good as the vectors used.
Designers have also relied on other methods for design verification that provide alternative views that give added insight into a design. Lint checkers provide a different viewpoint from simulation by through static analysis of the RTL code. They report suspicious RTL constructs and style differences, and the ensuing reports are studied to identify potential issues with the circuit. Static timing analysis (STA) finds long timing paths. STA may show that there are more levels of logic in one path than expected, indicating either a design or a synthesis issue. For example, unwanted priority encoding could add more levels of logic than expected. Simple code coverage metrics verify design functionality. Code coverage tools can find code that is not exercised in simulation. This code is either useless or untested.
A new technique has emerged that uses power analysis to verify design functionality. In this approach, designers put together vectors for the maximum power conditions. This can trigger modes of operation that uncover functional issues not covered by normal simulation or any other techniques. This is particularly useful if the RTL power analysis can be done with sufficient accuracy.
|
E-mail This Article | 
|
|
Printer-Friendly Page |
|
||||||
Related Articles
- Hardware-Assisted Verification: The Real Story Behind Capacity
- How to Save Time and Improve Communication Between Semiconductor Design and Verification Engineers
- Early Interactive Short Isolation for Faster SoC Verification
- Certifying RISC-V: Industry Moves to Achieve RISC-V Core Quality
- Why verification matters in network-on-chip (NoC) design
New Articles
- Hardware-Assisted Verification: The Real Story Behind Capacity
- Bigger Chips, More IPs, and Mounting Challenges in Addressing the Growing Complexity of SoC Design
- SoC design: What's next for NoCs?
- How to Save Time and Improve Communication Between Semiconductor Design and Verification Engineers
- Synopsys Foundation IP Enabling Low-Power AI Processors
Most Popular
- System Verilog Assertions Simplified
- Hardware-Assisted Verification: The Real Story Behind Capacity
- System Verilog Macro: A Powerful Feature for Design Verification Projects
- Enhancing VLSI Design Efficiency: Tackling Congestion and Shorts with Practical Approaches and PnR Tool (ICC2)
- I2C Interface Timing Specifications and Constraints