Construct Simulation Tests Using the Verification Manager
14-11
The Check Static Upper Bound2 block is no longer crossed out, indicating that the
block is enabled for the current group. Check Static Upper Bound1, however, is
crossed out because it is enabled in a different group.
