Verification
- Check Static Lower Bound
-
Checks that the signal is greater than (or equal to) a static lower bound.
- Check Static Upper Bound
-
Checks that the signal is less than (or equal to) a static upper bound.
Checks that the signal is greater than (or equal to) a static lower bound.
Checks that the signal is less than (or equal to) a static upper bound.