HomeContactCorporateSitemap

OneSpin Solutions Complements its 360 Module Verifier Formal Verification Solution with Standard Assertion Language Support

SystemVerilog Assertions Link Opens Additional Gateway to Award-Winning 360 MV

MUNICH, Germany and SUNNYVALE, Calif. – 22 January, 2008 – Electronic design automation (EDA) company OneSpin Solutions today announced the addition of a standard assertion language link to its 360 Module Verifier solution. The 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 award-winning 360 MV solution and leverage their ABV investments simultaneously. Using 360 MV, they can exhaustively check and debug both existing and new System Verilog 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.

Peter Feist, president and CEO of OneSpin, said, "Companies requested an assertions gateway to 360 MV from their ABV methodologies. The SVA and OVL gateway does the job, providing an evolutionary path towards efficient gap-free verification. And that puts customers on the path to significantly faster time to market and reduced respin costs."