User`s guide

Construct Simulation Tests Using the Verification Manager
14-3
Construct Simulation Tests Using the Verification Manager
In this section...
“View Model Verification Blocks” on page 14-3
“Enable and Disable Model Verification Blocks in a Model” on page 14-9
“Enable and Disable Model Verification Blocks in a Subsystem” on page 14-12
“Use Check Static Lower Bound Block to Check for Out-of-Bounds Signal” on page
14-16
“Link Test Cases to Requirements Documents Using the Verification Manager” on page
14-19
View Model Verification Blocks
Create a Simulink model that you can use to examine the Verification Manager.
1
In the Simulink software, create the following example model.