Functional Verification Tool Gains Link To SystemVerilog Assertions

Jan. 22, 2008
With the addition of a standard assertion-language link, the 360 Module Verifier (360 MV), a functional verification environment, is equipped to fully leverage both SystemVerilog assertions and Open Verification Library assertions.

With the addition of a standard assertion-language link, the 360 Module Verifier (360 MV), a functional verification environment, is equipped to fully leverage both SystemVerilog assertions and Open Verification Library assertions.

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 Software’s debugging tools. The 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.

OneSpin Solutions
www.onespin-solutions.com

Sponsored Recommendations

Highly Integrated 20A Digital Power Module for High Current Applications

March 20, 2024
Renesas latest power module delivers the highest efficiency (up to 94% peak) and fast time-to-market solution in an extremely small footprint. The RRM12120 is ideal for space...

Empowering Innovation: Your Power Partner for Tomorrow's Challenges

March 20, 2024
Discover how innovation, quality, and reliability are embedded into every aspect of Renesas' power products.

Article: Meeting the challenges of power conversion in e-bikes

March 18, 2024
Managing electrical noise in a compact and lightweight vehicle is a perpetual obstacle

Power modules provide high-efficiency conversion between 400V and 800V systems for electric vehicles

March 18, 2024
Porsche, Hyundai and GMC all are converting 400 – 800V today in very different ways. Learn more about how power modules stack up to these discrete designs.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!