Simulink Design Verifier
Identify design errors, prove requirements compliance, and generate tests
Find Dead Logic
Find objects in your model that cannot be activated during simulation and execution of generated code.
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 to share with customers and partners.
“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