Viewing Simulink Design Verifier Options
The Simulink Design Verifier software provides numerous options
in the Configuration Parameters dialog box that control its behavior
when analyzing models. To view its options, from the Tools menu
of your Simulink model, select Design Verifier >
Options.
The Simulink Design Verifier software displays its options
in the Configuration Parameters dialog box.
Typically, you specify values for these options using the Configuration
Parameters dialog box. See Configuration
Parameters Dialog Box for
more information about working with this interface.
Note
By default, Simulink Design Verifier options do not appear
in a model's Configuration Parameters dialog box. If you select Design
Verifier > Options from a model's Tools menu,
the Simulink Design Verifier software associates its options with
that model. Afterward, you can access those options directly from
the Configuration Parameters dialog box or Model Explorer. |
Alternatively, you can use the sldvoptions function
to view Simulink Design Verifier options at the command line. Use
the following syntax to access and view programmatically the options
associated with the Simulink model system:
opts = sldvoptions('system');
get(opts)See sldvoptions in Function Reference for
more information.
 | Configuring Simulink Design Verifier Options | | Configuring Simulink Design Verifier Options |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
Get this Simulink Kit
Store 
