A revolution is occuring in the design and verification community, one that is seeing the emergence of assertion-based verification (ABV) coupled with the new powerful standards PSL (IEEE-1850) and SystemVerilog (IEEE-1800).

While standardizing property and assertion languages is integral to adoption of ABV, it is not the entire solution. Equally important to the ABV revolution is an effective methodology that unifies traditional and formal verification within an ABV framework. Hence, the new Accellera Open Verification Library (OVL) is focussed on providing an effective methodological solution as part of an ABV flow that leverages Verilog, VHDL, SystemVerilog, or PSL.

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. It has been a great honor to have the opportunity to work with such a talented team of engineers during the Accellera standardization process.

Harry Foster
Mentor Graphics, Inc.