How do I change Design Verifier default confinguration parameter preferences?

Problem Description: I would like to change the default settings of the Design Verifier configuration parameters for Simulink.

I understand that the default settings for the Configuration Parameters can be changed as follows: Go to File->Preferences->Simulink Preferences-> Configuration Defaults. However, "Design Verifier" does not show up as a listed item to change.

Furthermore, if I go into Tools->Design Verifier->Options... it will show up under the Configuration Parameters as a listed item but obvioulsy I cannot change these settings because I'm not under preferences.

Any help would be greatly appreciated

Answer 1

[Doug Eastman]

Hi Erik,

I don't know of a way to set the default options for Simulink Design Verifier, however using the command line version of the tool you can save a set of options and use that "default" to analyze any model. The functions involved are sldvoptions and sldvrun.

You can use sldvoptions to create an options object with your desired settings that you can save to a file. Then you just need to load that file and run:

[status, files] = sldvrun('modelname', opts);