Verification App Automates Test Generation And Property Proving

Oct. 8, 2008
Enlisting the Prover plug-in from Prover Technology, Simulink Design Verifier software is capable of automatically generating tests and proving design properties for Simulink and Stateflow models. Targeting developers of safety-critical and complex

Enlisting the Prover plug-in from Prover Technology, Simulink Design Verifier software is capable of automatically generating tests and proving design properties for Simulink and Stateflow models. Targeting developers of safety-critical and complex embedded systems, users can obtain test cases to satisfy industry-standard metrics such as modified condition/decision coverage while snooping out design errors earlier in the design process. The application can generate test inputs for standard coverage objectives plus user-defined test objectives and requirements. Inputs can combine with tests using acquired data so that simulations are testing against model coverage, requirements, and real-world scenarios. For property proving, users can directly capture design requirements and performance objectives as properties in their Simulink or Stateflow models. The verifier mathematically proves whether properties are satisfied and, if not, provides counterexamples that would violate the property. Available now for Windows and Linux platforms, list price for Simulink Design Verifier starts at $8,000. THE MATHWORKS, Natick, MA. (508) 647-7000.

Company: THE MATHWORKS

Product URL: Click here for more information

Sponsored Recommendations

X-Band Transceiver

March 13, 2024
Aerospace and Defense applications conform to the tightest standards. ADI provides you with the confidence and support to ensure your design is a success.

ADVANCED MICRO SOLUTIONS FOR AUTOMOTIVE APPLICATIONS

March 13, 2024
Our solutions and technologies are designed to enable optimum safety on the road for electronic systems enabling safe, self-driving electronic mobility solutions.

Connectors for Automated Process Systems

March 13, 2024
Almost every product that people touch in their daily lives is the result of an automated manufacturing process. This includes relatively simple assemblies such as cereal boxes...

+600C Series RTD Platinum Temperature Sensor

March 13, 2024
Innovative Sensor Technologys temperature sensors have a small but robust construction to ensure function in harsh conditions

Comments

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