User`s guide

14 Constructing Simulation Tests Using the Verification Manager
14-16
Group 1 Group 2 (unchanged) Group 3 (unchanged)
Selecting Block group disable disables the specified block for this group only.
Use Check Static Lower Bound Block to Check for Out-of-Bounds Signal
The following example uses a Check Static Lower Bound block to stop simulation when a
signal from a Sine Wave block crosses its lower bound limit.
1
Attach a Check Static Lower Bound block to the signal from a Sine Wave block.
2
Set the Simulation stop time to 2 seconds.
3
Double-click the Sine Wave block and set the following parameters:
• Set the Amplitude to 1.
• Set the Frequency to pi radians per second.
4
Double-click the Check Static Lower Bound block and set the Lower bound
parameter to -0.8.
Enable assertion is the default. This parameter enables a verification block for an
assertion. You set the Check Static Lower Bound block to detect a signal value of –