Accellera Approves Open Verification Library As Standard

Sept. 13, 2007
Accellera has given the nod to version 2.0 of the Open Verification Library (OVL) as an Accellera verification standard. The OVL supports assertion-based verification (ABV) with Verilog, SystemVerilog, VHDL, and the Property Specification La

Accellera has given the nod to version 2.0 of the Open Verification Library (OVL) as an Accellera verification standard. The OVL supports assertion-based verification (ABV) with Verilog, SystemVerilog, VHDL, and the Property Specification Language (PSL).

The standard includes an open-source library of assertion checkers that allow reuse in various verification environments. The OVL itself is a vendor-neutral and language-independent assertion methodology to functionally verify designs in simulation and formal verification environments.

New in version 2.0 of the OVL is the ability to synthesize assertions into emulators, accelerators, and FPGA prototyping environments. This extends assertion-based verification with OVL to support the full verification flow, with simulation, formal verification, hardware-assisted verification, and FPGA prototyping.

Version 2.0 also adds synthesizable checkers that include "enable" and "fire" ports for additional control of the checkers when used in hardware flows including emulation, FPGA prototyping, or ASIC error detection. There are also 17 new and more advanced checkers, taking OVL to a total of 50 assertion checkers that cover many of the common properties that engineers check during functional verification.

Additionally, there is now a VHDL implementation of the 10 most popular checkers, as well as finer control of X checking on a per-instance basis. Version 2.0 is backward-compatible with previous versions of Accellera OVL.

The Accellera standard OVL 2.0 is available now for download at the Accellera Web site. Additional information and examples are available at the OVL Users Site: www.edastds.org/ovl.

Accellera
www.accellera.org

Sponsored Recommendations

What are the Important Considerations when Assessing Cobot Safety?

April 16, 2024
A review of the requirements of ISO/TS 15066 and how they fit in with ISO 10218-1 and 10218-2 a consideration the complexities of collaboration.

Wire & Cable Cutting Digi-Spool® Service

April 16, 2024
Explore DigiKey’s Digi-Spool® professional cutting service for efficient and precise wire and cable management. Custom-cut to your exact specifications for a variety of cable ...

DigiKey Factory Tomorrow Season 3: Sustainable Manufacturing

April 16, 2024
Industry 4.0 is helping manufacturers develop and integrate technologies such as AI, edge computing and connectivity for the factories of tomorrow. Learn more at DigiKey today...

Connectivity – The Backbone of Sustainable Automation

April 16, 2024
Advanced interfaces for signals, data, and electrical power are essential. They help save resources and costs when networking production equipment.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!