Main Content

Design Verifier Pane: Parameters

Parameters Pane Overview

Specify options that control how Simulink® Design Verifier™ uses parameter configurations when analyzing models.

Enable parameter configuration

Specify whether the software uses parameter configurations when analyzing a model. Select this option to treat parameters as variables in Simulink Design Verifier analysis.

To specify value ranges or constraints for parameters:

  • Use a parameter configuration file. Enter the file name in Parameter configuration file.

  • Use the Parameter Table. Select Use parameter table.

Settings

Default: Off

On

The Simulink Design Verifier software uses specified parameter configurations when analyzing a model.

Off

The Simulink Design Verifier software does not use parameter configurations when analyzing a model.

Dependency

This parameter enables Parameter configuration file.

Command-Line Information

Parameter: DVParameters
Type: character array
Value: 'on' | 'off'
Default: 'off'

See Also

Define Constraint Values for Parameters

Use parameter table

Enable the Parameter Table to specify value ranges or constraints for parameters.

Settings

Default: Off

On

Use the Parameter Table to define parameters as variables for Simulink Design Verifier analysis.

Off

Do not use the Parameter Table to define parameters as variables for Simulink Design Verifier analysis.

Dependency

When Enable parameter configuration is also selected, this parameter enables the Parameter Table.

This parameter disables Parameter configuration file.

Command-Line Information

Parameter: DVParametersUseConfig
Type: character array
Value: 'on' | 'off'
Default: 'off'

See Also

Define Constraint Values for Parameters

Parameter configuration file

Specify a MATLAB® function that defines parameter configurations for a model.

Settings

Default: sldv_params_template.m

  • The default file, sldv_params_template.m, is a template that you can edit and save. The comments in the template explain the syntax you use to specify parameter configurations.

  • Click the Browse button to select an existing MATLAB file.

  • Click the Edit button to open the specified MATLAB file in an editor.

Dependency

This parameter is enabled by Enable parameter configuration. This parameter is disabled by Use parameter table.

Command-Line Information

Parameter: DVParametersConfigFileName
Type: character array
Value: any valid MATLAB file
Default: 'sldv_params_template.m'

See Also

Define Constraint Values for Parameters

Browse...

Browse to the parameter configuration file.

Dependency

This button is enabled by Enable parameter configuration. This button is disabled by Use parameter table.

Edit...

Edit the current parameter configuration file.

Dependency

This button is enabled by Enable parameter configuration. This button is disabled by Use parameter table.

Enable

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Disable

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Clear

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Highlight in Model

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Use

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

The Use column specifies whether to use this row’s named parameter and specified constraint in the current parameter configuration.

Settings

Default: Off

On

Use this parameter and its specified constraint in the current parameter configuration.

Off

Do not use this parameter and its specified constraint in the current parameter configuration.

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Define Constraint Values for Parameters

Name

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

The Name column displays the name of the parameter.

Settings

Default: empty

Tips

To load the model parameters into the Parameter Table, at the bottom of the table, click Find in Model. When possible, the software automatically generates constraint values for each parameter.

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Define Constraint Values for Parameters

Constraint

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

The Constraint column contains the specified value range for the parameter.

Settings

Default: empty

Tips

To autogenerate parameter constraints, at the bottom of the Parameter Table, click Find in Model.

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Define Constraint Values for Parameters

Value

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

The Value column contains the value of the parameter in the base workspace. If the parameter is defined in a Simulink data dictionary that is linked to the model, the Value column contains the value of the parameter in the data dictionary.

Settings

Default: empty

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Define Constraint Values for Parameters

Min

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

For parameters of type Simulink.Parameter with a specified minimum value, the Min column contains the specified minimum value for the parameter.

Settings

Default: empty

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Max

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

For parameters of type Simulink.Parameter with a specified maximum value, the Max column contains the specified maximum value for the parameter.

Settings

Default: empty

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Model Element

In the Parameter Table, each row represents a parameter that can be constrained to specified values during Simulink Design Verifier analysis.

The Model Element column displays the path to the model elements where the parameter is used.

Settings

Default: empty

Dependency

When Enable parameter configuration and Use parameter table are selected, this column is enabled.

See Also

Define Constraint Values for Parameters

Find in Model

The software searches your model for parameters that you can configure and loads them in the Parameter Table. If your model uses a configuration reference, Simulink Design Verifier does not support the search for parameters when using the Find in Model button. For more information, see Share a Configuration with Multiple Models.

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Add from File...

Adds parameters to the Parameter Table from a list stored in a file.

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.

Export to File...

Exports the current parameters in the Parameter Table to a file.

Dependency

When Enable parameter configuration and Use parameter table are selected, this button is enabled.