Electronic design automation (EDA) company OneSpin Solutions 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 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.
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.”
About OneSpin Solutions
OneSpin Solutions provides award-winning, innovative formal verification solutions that ease and speed verification. It delivers the highest achievable functional quality for ASICs and FPGAs.
OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH.