Проверяйте, что сигнал падает в фиксированной области значений амплитуд
Simulink / Model Verification
HDL Coder / Model Verification
Статические проверки блока Области значений Проверки, что каждый элемент входного сигнала падает в той же области значений амплитуд на каждом временном шаге. Задайте верхние и нижние границы с параметрами Upper bound и Lower bound. Если условие верификации верно, блок ничего не делает. В противном случае блок останавливает симуляцию, по умолчанию, и отображает сообщение об ошибке.
Используйте блоки в библиотеке Model Verification, чтобы упростить создание самопроверки моделей. Например, можно использовать образцовые блоки верификации, чтобы протестировать, который сигнализирует, не превышают заданные пределы во время симуляции. Когда вы удовлетворены, что модель правильна, можно выключить проверку ошибок путем отключения блоков верификации. Вы не должны удалять их из модели. Если необходимо изменить модель, можно временно снова включить блоки верификации, чтобы гарантировать, что изменения не повреждают модель.
Типы данных |
|
Прямое сквозное соединение |
|
Многомерные сигналы |
|
Сигналы переменного размера |
|
Обнаружение пересечения нулем |
|
Проверяйте динамический диапазон | Проверяйте статическую нижнюю границу | Проверяйте статическую верхнюю границу