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