Output assertion signal
Output a Boolean signal that, at each time step, is:
- True ( 1 ) if assertion succeeds; that is, all bounds are satisfied
- False ( 1 ) if assertion fails; that is, a bound is violated.
The output signal data type is Boolean only if, in the Simulink model, in the Configuration
Parameters dialog box, the Implement logic signals as Boolean data parameter is
selected. Otherwise, the data type of the output signal is double.
Selecting this parameter adds an output port to the block that you can connect to any
block in the model.
Settings
Default:Off
On
Output a Boolean signal to indicate assertion status. Adds a port to the block.Off
Do not output a Boolean signal to indicate assertion status.Tips
- Use this parameter to design complex assertion logic. For an example, see “Verify
Model Using Simulink Control Design and Simulink Verification Blocks” on page 14-
25.
Command-Line Information
Parameter: export
Type: character vector
Value: 'on' | 'off'
Default: 'off'
See Also
Plot Linear Characteristics of Simulink Models During Simulation on page 2-82
“Verify Model at Default Simulation Snapshot Time” on page 14-6
Singular Value Plot