Discover MakerZone

MATLAB and Simulink resources for Arduino, LEGO, and Raspberry Pi

Learn more

Discover what MATLAB® can do for your career.

Opportunities for recent engineering grads.

Apply Today

New to MATLAB?

How do I change Design Verifier default confinguration parameter preferences?

Asked by Erik

Erik (view profile)

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

0 Comments

Erik

Erik (view profile)

1 Answer

Answer by Doug Eastman

Doug Eastman (view profile)

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

0 Comments

Doug Eastman

Doug Eastman (view profile)

Contact us