Model Analysis with Simulink Design Verifier Software
Simulink Design Verifier software is an efficient analysis
tool that explores the simulation behavior of a Simulink model.
It searches the possible values of model inputs and block parameters
to find a simulation that satisfies test objectives. The software
also proves model properties and generates examples of violations.
Such analysis always begins with the initial configuration of
the model and can span an arbitrary number of time steps. Generally,
there is an infinite number of paths through the model because the
values of inputs are independent from one time step to the next, and
there is no fixed limit to the number of time steps.
If the software finds no way to reduce the search space, it
would continue its analysis indefinitely. Thus, the software limits
the analysis by tracking the persistent information in the model such
as discrete states, data-store memories, and persistent variables.
After an analysis explores all possible inputs and parameters
from all possible configurations, the results equal those of a complete
search of every possible infinite sequence of inputs parameters.
 | How the Simulink Design Verifier Software Works | | Analyzing a Simple Model |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
Get this Simulink Kit
Store 
