Simulink® Design Verifier™ 1.2

Learn more about Simulink® Design Verifier™ through product demos and online seminars that highlight features or application examples.

Test Generation   Model Coverage Test Generation Example   In this example, Simulink Design Verifier is used to generate test cases that achieve complete MC/DC coverage of the model.   Test Constraint Block Example   This model demonstrates how input values can be constrained so that the generated signal values are selected from a realistic subset of all the possible values.   Parameter Handling   Using Command Line Functions to Support Changing Parameters      Block Replacements   Block Replacements for Unsupported Blocks    View All Demos Trial Software Available Licensed Users: Download a 15-day trial of most MathWorks products (login required). Don't Have a License? Request trial software and a MathWorks representative will call to get you started.