Main Content

Design Verifier Pane: Block Replacements

Block Replacements Pane Overview

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

See Also

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

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

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

Block Replacement