Open Verification Library (OVL) Working Group

Charter

To define and deliver standard OVL LRM and libraries of assertion checkers to be used by design, integration and verification engineers to check for good/bad behavior in simulation, emulation and formal verification – provided in Verilog, System Verilog, VHDL, PSL, and SystemC.

This working group is currently inactive. For more information, please contact us.

Scope

The OVL library of assertion checkers is intended to be used by design, integration, and verification engineers to check for good/bad behavior in simulation, emulation, and formal verification.

The Open Verification Library (OVL) Working Group is responsible for the definition and development of the standard OVL language reference manual and assertion-checker libraries.

Background

OVL Version 2.8, released in December 2013, is the latest OVL release implemented in Verilog, VHDL, System Verilog and PSL (Verilog flavor).

Join this Working Group

This working group is currently inactive. For more information, please contact us.

Resources

• Errata and feedback: To report or see current errata of the standard OVL library, click here (Mantis reporter login required; select the standard OVL errata page). If you would like to report errata but are not a Mantis reporter, please send a message to the OVL chair.