This website provides resources for users of the Accellera standard Open Verification Library. It complements the OVL Group website, where OVL is developed.

Foreword by Harry Foster: "The new OVL standard finally fulfills my vision of creating a vendor- and language-independent assertion library that can be leveraged across multiple verification processes". Full text from Harry.

• OVL is an Open standard, developed by Accellera and available from the Downloads area.
• OVL is a Verification methodology, which can find bugs (even in mature designs)
• OVL is a Library of predefined assertions, currently available in Verilog, VHDL, SVA and PSL

• Easy to use: just add instances in a language you already know
• Reusable in different parts of the design flow, e.g. from simulation to formal verification
• Good tool support, due to its availability in several languages
• Well tested, and can avoid simple coding mistakes (particularly for users new to a language)
• Future-proof: OVL instances can co-exist with assertions written in a language e.g. PSL, SVA

• 09 Jun 2008  OVL Version 2.3 released (available from Downloads)
• 13 Mar 2008  Assertion workshop planned for DAC (abstract available from Events)
• 08 Aug 2007  OVL Testbench added (available from OVL Utilities)
• 23 Jul 2007  Accellera Board votes unanimously to accept OVL Version 2.0