MathWorks’ Simulink design verifier proves properties for model-based designs

June 7, 2007
The MathWorks has introduced Simulink Design Verifier for generating tests and providing design properties for Simulink and Stateflow models using the Prover plug-in from Prover Technology (www.prover.com).

The MathWorks has introduced Simulink design verifier for generating tests and providing design properties for Simulink and Stateflow models using the Prover plug-in from Prover Technology.

Paul Barnard, The MathWorks’ marketing director of design automation, said the Simulink design verifier augments simulation with new verification and validation technology based on formal methods that reduce the need to hand-code tests for establishing complete model coverage and verifying requirements. The design verifier allows developers of embedded systems to obtain test cases automatically to satisfy industry-standard metrics while also helping to uncover design errors earlier in the development process when they are less expensive to fix.

Engineers can generate test inputs that satisfy standard coverage objectives as well as user-defined test objectives and requirements. These test inputs can also be combined with tests defined using measured data so that simulations are testing against model coverage, requirements and real-world scenarios.

For property proving, engineers can directly capture design requirements and performance objectives as properties in their Simulink or Stateflow models. Barnard said Simulink design verifier proves mathematically whether those properties are satisfied and, if not, provides counterexamples that would violate the properties. As a result, engineers can find design flaws, unsatisfied requirements, and unreachable states or logic that would be difficult to uncover using simulation alone.

The Prover Plug-In proof engine from Prover Technology automatically generates test cases and counterexamples and performs proofs by using automated mathematical reasoning to explore model execution paths. Simulink design verifier is available for Windows and Linux platforms. U.S. list prices start at $8,000.

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!