User`s guide

14 Constructing Simulation Tests Using the Verification Manager
14-18
7
To disable the Check Static Lower Bound block from asserting its limit, clear the
Enable assertion check box.
The block is crossed out in the model, as shown.