Simulink Design Verifier
Identify design errors, prove requirements compliance, and generate tests
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 objects in your model that cannot be activated during simulation and execution of generated code.
Test Vectors to Analyze Missing Coverage
Augment and extend existing manually created test cases to address incomplete model coverage.
Requirements-Based Test Cases
Generate test cases from models of system requirements.
Simplify Models for Deployment
After you have fully validated your master variants model, use Variant Reducer to generate a reduced model for a subset of valid configurations. All related files and variable dependencies are also reduced. The reduced artifacts are packaged in a separate folder to enable easy deployment and sharing with customers and partners.