Description: This standard provides a set of extensions to the IEEE 1364 Verilog hardware description language (HDL) to aid in the creation and verification of abstract architectural level models. It also includes design specification methods, embedded assertions language, testbench language including coverage and an assertions application programming interface (API), and a direct programming interface (DPI). This standard enables a productivity boost in design and validation and covers design, simulation, validation, and formal assertion-based verification flows.
Oversight Committee: BOG/CAG - Corporate Advisory Group
Sponsor: IEEE-SA Board of Governors
Get This Standard
Buy Purchase a copy of this standard Buy
Buy VuSpec CD ROM This standard can be purchased as part of the following VuSpect CD:
- IEEE VuSpec: 2007 Electronic Design Automation Buy
Access with Subscription Standards Online subscribers can access this standard in IEEE Xplore Digital Library. Access Learn More