The folks at OneSpin Solutions – who specialize in formal verification solutions for ASICs and FPGAs – have announced the addition of a standard assertion language link to their 360 Module Verifier solution.
OneSpin say that this link opens an additional gateway to complete, gap-free functional verification for companies invested in assertion-based verification (ABV). It gives these companies a way to use OneSpin's 360 MV solution and leverage their ABV investments simultaneously.
Using 360 MV, they can exhaustively check and debug both existing and new SystemVerilog Assertions (SVA) and Open Verification Library (OVL) assertions. OneSpin's 360 MV is the only functional verification solution to enable a true functional sign-off. It ensures that all functional errors in complex digital modules and intellectual property (IP) are detected.
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 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. These links reduce overall verification efforts to ensure high module and IP quality. The new gateway is included in OneSpin's recent version 4.3 release of 360 MV at no extra charge.