Assertions Lead The Way In Simulator Upgrade

Nov. 15, 2004
One of the better bets for enhanced verification productivity these days is adoption of an assertion-based methodology. Version 6.0 of Mentor's ModelSim fully supports a standards-based approach to assertion-based verification and...

One of the better bets for enhanced verification productivity these days is adoption of an assertion-based methodology. Version 6.0 of Mentor's ModelSim fully supports a standards-based approach to assertion-based verification and coverage-driven flows. The simulator can handle Verilog 2001, VHDL, PSL, SystemC, and SystemVerilog.

Now offering a native assertion engine as well as assertion debugging, ModelSim 6.0 gives designers various ways to more easily ensure that designs match their functional specification. Also included are functional coverage capabilities, enabling users to track verification effectiveness. The combination of assertions and functional coverage produces coverage-driven verification. Here, designers use feedback from testing to target subsequent testing for greater productivity and effectiveness.

"We see people trying to achieve verification closure by using random-directed testbenches," says Robert Hum, VP and general manager of Mentor's Design, Verification and Test Division. "The question is how you direct those tests. Most use those testbenches to monitor embedded assertions and create vectors to address them. The point is to minimize the number of cycles to achieve the desired coverage."

The built-in assertion engine currently supports PSL, with SystemVerilog Assertions coming in revision 6.1. There's also testbench support for the SystemC verification library and several testbench constructs from the SystemVerilog 3.1a specifications.

Future revisions will integrate technology gained from Mentor's acquisition of 0-In Design Automation earlier this year. Mentor continues to market and support 0-In's assertion-based verification tools as is, with those tools being neutral to the simulator they're used with. But at some point, Mentor will integrate 0-In tools' formal and dynamic search capabilities to find difficult corner cases. This will be done by building a native interface to ModelSim.

ModelSim pricing starts at $4900. The tool is available immediately.

Mentor Graphicswww.mentor.com/fv

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!