MATLAB Answers


How do I change Design Verifier default confinguration parameter preferences?

Asked by Erik
on 25 Jan 2013

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


1 Answer

Answer by Doug Eastman
on 29 Jan 2013

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);


Discover what MATLAB® can do for your career.

Opportunities for recent engineering grads.

Apply today