Sunnyvale, Calif. OneSpin Solutions, an electronic design automation (EDA) company, has added a standard assertion language link to its 360 Module Verifier (MV) solution. The link opens an additional gateway to complete, gap-free functional verification for companies invested in assertion-based verification (ABV), said OneSpin.
Using 360 MV, users can check and debug both existing and new SystemVerilog Assertions (SVA) and Open Verification Library (OVL) assertions. OneSpin said the 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 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. The verification solution 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 4.3 release of 360 MV at no extra charge.
Product information: 360 Module Verifier
OneSpin Solutions, 1-408-734-1900, www.onespin-solutions.com