Design Verifier Pane: Block Replacements

• Block Replacements Pane Overview

• Apply block replacements

• List of block replacement rules

• File path of the output model

Block Replacements Pane Overview

Specify options that control how Simulink^® Design Verifier™ preprocesses the models it analyzes.

See Also

Perform Block Replacement

Apply block replacements

Specify whether Simulink Design Verifier replaces blocks in a model before its analysis.

Settings

Default: Off

On

Replaces blocks in a model before Simulink Design Verifier analyzes it.

Off

Does not replace blocks in a model before Simulink Design Verifier analyzes it.

Dependencies

This parameter enables List of block replacement rules and File path of the output model.

Command-Line Information

Parameter: DVBlockReplacement

Type: character array

Value: 'on' | 'off'

Default: 'off'

See Also

Perform Block Replacement

List of block replacement rules

Specify a list of block replacement rules that Simulink Design Verifier executes before its analysis.

Settings

Default: <FactoryDefaultRules>

• Specify block replacement rules as a list delimited by spaces, commas, or carriage returns.

• The Simulink Design Verifier software processes block replacement rules in the order that you list them.

• If you specify the default value, Simulink Design Verifier uses its factory default block replacement rules.

Dependency

This parameter is enabled when you select Apply block replacements.

Command-Line Information

Parameter: DVBlockReplacementRulesList

Type: character array

Value: any valid rules

Default: '<FactoryDefaultRules>'

See Also

Perform Block Replacement

File path of the output model

Specify a folder and file name for the model that results after applying block replacement rules.

Settings

Default: $ModelName$_replacement

• Optionally, enter a path that is either absolute or relative to the path name specified in Output folder.

• Enter a file name for the model that results after applying block replacement rules.

• $ModelName$ is a token that represents the model name.

Dependency

This parameter is enabled when you select Apply block replacements.

Command-Line Information

Parameter: DVBlockReplacementModelFileName

Type: character array

Value: any valid path and file name

Default: '$ModelName$_replacement'

See Also

Perform Block Replacement