Model Verification
Блоки для самопроверки моделей, таких как Разрешение сканирования Проверки
Блоки
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 | Проверяйте, что сигнал меньше (или опционально равняйтесь), статическая верхняя граница |