| Assertion | Check whether signal is zero (HDL Coder) |
| Check Dynamic Gap | Check that gap of possibly varying width occurs in range of signal's amplitudes (HDL Coder) |
| Check Dynamic Range | Check that signal falls inside range of amplitudes that varies from time step to time step (HDL Coder) |
| Check Static Gap | Check that gap exists in signal's range of amplitudes (HDL Coder) |
| Check Static Range | Check that signal falls inside fixed range of amplitudes (HDL Coder) |
| Check Discrete Gradient | Check that absolute value of difference between successive samples of discrete signal is less than upper bound (HDL Coder) |
| Check Dynamic Lower Bound | Check that one signal is always less than another signal (HDL Coder) |
| Check Dynamic Upper Bound | Check that one signal is always greater than another signal (HDL Coder) |
| Check Input Resolution | Check that input signal has specified resolution (HDL Coder) |
| Check Static Lower Bound | Check that signal is greater than (or optionally equal to) static lower bound (HDL Coder) |
| Check Static Upper Bound | Check that signal is less than (or optionally equal to) static upper bound (HDL Coder) |