Simulink Design Verifier

Validate Requirements

Check modeled requirements for consistency and completeness before beginning your design.

Detect Run-Time and Diagnostic Errors

Before you run simulations, you can detect run-time and modeling errors, including integer overflow, division by zero, array out of bounds, subnormal values, and floating-point errors as well as data validity errors.

Find Dead Logic

Find objects in your model that cannot be activated during simulation and execution of generated code.

Analyze Missing Test Coverage

Augment and extend existing manually created test cases to address incomplete model coverage and coverage of generated code and C/C++ code called from Simulink® blocks and in Stateflow® charts.

Verify Formal Safety Requirements

Verify that your design behaves according to formally defined safety requirements (3:53) that you express using MATLAB®, Simulink, and Stateflow.

Create Requirements-Based Test Cases

Generate test cases from models of system requirements.

“By enabling us to analyze requirements quickly, reuse designs from previous products, and eliminate manual coding errors, Model-Based Design has reduced development times and enabled us to shorten schedules to meet the needs of our customers.”

MyoungSuk Ko, LS Automotive