The VMM, co-authored by verification experts from ARM and Synopsys, describes how to use SystemVerilog to create comprehensive verification environments using coverage-driven, constrained-random and assertion-based techniques, and specifies library building blocks for interoperable verification components.
About LightWork Design In addition to providing high-performance NC simulation and verification component software, LightWork Design is the leading supplier of rendering engines for 3D design software applications.
The inFact tool provides plug-and-play interoperability with OVM compliant verification components and sequences, allowing easy creation of intelligent testbenches.
Mentor Graphics Corporation (Nasdaq:MENT), today announced that its unique verification IP solution, the Questa([R]) Multi-view Verification Component (MVC) library, has been extended to support the IEEE802.
In addition, Aldec is also developing support for the newly donated Accellera Verification Methodology Manual (VMM), which shows how to use SystemVerilog to create comprehensive verification environments utilizing coverage-driven, constrained-random and assertion-based techniques, and library building blocks for creating interoperable verification components.
Several of the highlights in the most recent version of the standard include: * Method ports for easy exchange complex data structures and control between verification components and designs under verification * Sequences that define, generate and apply complex stimuli that are specifically tailored for module-to-system reuse * A host of other features that enable scalability and module-to-system reuse by simplifying module naming hierarchies, structuring data and increasing performance "This working group has been tremendously dedicated towards driving this standard forward," said Andrew Piziali, working group chairman.
Assertion-based Verification (ABV), intelligent testbench automation, Multi-view Verification Components (MVC), and Coverage-driven Verification (CDV) are supported natively by the Questa platform's high-performance assertion engine; a modern, high-performance constraint solver; and extensive functional coverage features, including verification management leveraging the Unified Coverage Database (UCDB).
