English
Borrowing from software to use SystemVerilog test bench debug & analysis
By Bindesh Patel and Amanda Hsiao, SpringSoft USA
Embedded.com (10/23/08, 09:00:00 AM EDT)
Shrinking silicon geometries enable larger SoC-type designs in terms of raw gate size, and many of today's applications take advantage of this trend. An important point that is often missed is the accompanying growth in verification complexity.
Indeed, the verification task for a design that is twice as big is actually more than doubled. The verification team has to deal with a bigger statespace and the application, which is what the verification environment attempts to mimic, gets much "bigger".
Simply building faster tools like simulators will not solve this problem. Rather, it requires capabilities and associated methodologies that make it easier to set up complex verification environments - environments that in the end ensure that the application on the chip works as expected.
Fortunately, SystemVerilog provides a compelling advantage in addressing the complexity challenge. It is not simply a new language for describing complex structures, but a platform for enabling advanced methodologies and automation.
Each of the three key aspects of SystemVerilog has a significant role. The synthesizable design constructs that have been added to SystemVerilog make it possible for designers to code at a higher level of abstraction, often mapping more accurately to the function they are designing and the way they think about it.
The new assertions capability allows users to very concisely describe a behavior that needs to be checked. But it is the verification aspect that provides the biggest bang for the buck, as evidenced by its rapid adoption.
Embedded.com (10/23/08, 09:00:00 AM EDT)
Shrinking silicon geometries enable larger SoC-type designs in terms of raw gate size, and many of today's applications take advantage of this trend. An important point that is often missed is the accompanying growth in verification complexity.
Indeed, the verification task for a design that is twice as big is actually more than doubled. The verification team has to deal with a bigger statespace and the application, which is what the verification environment attempts to mimic, gets much "bigger".
Simply building faster tools like simulators will not solve this problem. Rather, it requires capabilities and associated methodologies that make it easier to set up complex verification environments - environments that in the end ensure that the application on the chip works as expected.
Fortunately, SystemVerilog provides a compelling advantage in addressing the complexity challenge. It is not simply a new language for describing complex structures, but a platform for enabling advanced methodologies and automation.
Each of the three key aspects of SystemVerilog has a significant role. The synthesizable design constructs that have been added to SystemVerilog make it possible for designers to code at a higher level of abstraction, often mapping more accurately to the function they are designing and the way they think about it.
The new assertions capability allows users to very concisely describe a behavior that needs to be checked. But it is the verification aspect that provides the biggest bang for the buck, as evidenced by its rapid adoption.
|
E-mail This Article | 
|
|
Printer-Friendly Page |
Related Articles
- Using advanced logging techniques to debug & test SystemVerilog HDL code
- A SystemVerilog DPI Framework for Reusable Transaction Level Testing, Debug and Analysis of SoC Designs
- Tools for Test and Debug : Reconfigurable IP requires a flexible software development toolset
- Design-Stage Analysis, Verification, and Optimization for Every Designer
- Five steps to reliable, low-cost, bug-free software with static code analysis
New Articles
- Quantum Readiness Considerations for Suppliers and Manufacturers
- A Rad Hard ASIC Design Approach: Triple Modular Redundancy (TMR)
- Early Interactive Short Isolation for Faster SoC Verification
- The Ideal Crypto Coprocessor with Root of Trust to Support Customer Complete Full Chip Evaluation: PUFcc gained SESIP and PSA Certified™ Level 3 RoT Component Certification
- Advanced Packaging and Chiplets Can Be for Everyone
Most Popular
- System Verilog Assertions Simplified
- Dynamic Memory Allocation and Fragmentation in C and C++
- System Verilog Macro: A Powerful Feature for Design Verification Projects
- UPF Constraint coding for SoC - A Case Study
- Enhancing VLSI Design Efficiency: Tackling Congestion and Shorts with Practical Approaches and PnR Tool (ICC2)