Venice, Florida — OneSpin Solutions announced the addition of a standard assertion language link to its 360 Module Verifier solution. A link to both SystemVerilog Assertions (SVA) and Open Verification Library (OVL) assertions gives a way to use OneSpin's 360 MV solution and leverage assertion based verification (ABV) investments simultaneously.
The new SVA capability creates a gateway to 360 MV simply by using and reusing assertions created in formal- and simulation-based verification. Assertions and RTL code can be debugged using either 360 MV's debugging environment or via links to Novas' debugging tools. 360 MV supports a broad set of SVA assertions including advanced constructs such as local variables. It also supports the full OVL 2.0 standard. The new gateway is included in OneSpin's recent version 4.3 release of 360 MV at no extra charge.