| Assertion | Проверяйте, является ли сигнал нулем (HDL Coder) |
| Check Dynamic Gap | Проверяйте, что разрыв возможно переменной ширины происходит в области значений амплитуд сигнала (HDL Coder) |
| Check Dynamic Range | Проверяйте, что сигнал падает в области значений амплитуд, которая отличается от временного шага до временного шага (HDL Coder) |
| Check Static Gap | Проверяйте, что разрыв существует в области значений сигнала амплитуд (HDL Coder) |
| Check Static Range | Проверяйте, что сигнал падает в фиксированной области значений амплитуд (HDL Coder) |
| Check Discrete Gradient | Проверяйте, что абсолютное значение различия между последовательными выборками дискретного сигнала является меньше, чем верхняя граница (HDL Coder) |
| Check Dynamic Lower Bound | Проверяйте, что один сигнал всегда является меньше, чем другой сигнал (HDL Coder) |
| Check Dynamic Upper Bound | Проверяйте, что один сигнал всегда больше, чем другой сигнал (HDL Coder) |
| Check Input Resolution | Проверяйте, что входной сигнал задал разрешение (HDL Coder) |
| Check Static Lower Bound | Проверяйте, что сигнал больше, чем (или опционально равняйтесь), статическая нижняя граница (HDL Coder) |
| Check Static Upper Bound | Проверяйте, что сигнал является меньше, чем (или опционально равняйтесь), статическая верхняя граница (HDL Coder) |
