Saving Simulink Design Verifier Options
The Simulink Design Verifier software stores its options
as a configuration set component attached to your model file (see Setting Up Configuration Sets in Simulink User's Guide). To
save the values of Simulink Design Verifier options that you specified
for your model, simply save your model (see Saving a Model in Simulink User's Guide).
The Simulink Design Verifier options stay with the model,
even if you open the model on a MATLAB installation that does
not have a Simulink Design Verifier license. If you then open the
model on a system with a Simulink Design Verifier license, the
software can analyze the model with the blocks and options that you
originally added to the model.
 | Configuring Simulink Design Verifier Options | | Generating Test Cases |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
Get this Simulink Kit
Store 
