Language link eases verification

OneSpin's 360 MV ensures that all functional errors in complex digital modules and intellectual property (IP) are detected.

OneSpin Solutions has added 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 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 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 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".

Back to top