User`s guide

Construct Simulation Tests Using the Verification Manager
14-9
Enable and Disable Model Verification Blocks in a Model
Use the Verification Manager to enable and disable individual Model Verification blocks
in signal groups. To open the Verification Manager in the Signal Builder dialog box, click
.
The Verification block settings pane lists the Model Verification blocks in the model.
Each verification block has a status node that indicates whether its assertion is enabled
or disabled. Each verification block's status node also indicates whether the enabled or
disabled setting applies universally or to the active group. The following table describes
the different types of status nodes.
Node Status
Verification block is disabled for this group. Click to enable for the
current group.
Verification block is enabled for the current group. Click to disable for
the current group.
Verification block is enabled for all test groups.
Use the Verification Manager to enable or disable model verification blocks in the
ex_verif_mgr_test_signals model that you created in “View Model Verification
Blocks” on page 14-3.
1
In the Verification Manager, click the empty check box next to the Check Static
Upper Bound1 node to enable that node for the current active group (Group 1).
In the Verification block settings pane, when you enable a disabled block, you see
the following change in how the block is displayed in the model.