Проверяйте, что абсолютное значение различия между последовательными выборками дискретного сигнала является меньше, чем верхняя граница
Simulink / Model Verification
HDL Coder / Model Verification
Дискретные проверки блока Градиента Проверки каждый элемент сигнала в его входе, чтобы определить, является ли абсолютное значение различия между последовательными выборками элемента меньше, чем верхняя граница. Задайте значение верхней границы (1 по умолчанию) путем установки параметра Maximum gradient. Если условие верификации верно, блок ничего не делает. В противном случае блок останавливает симуляцию, по умолчанию, и отображает ошибку в Диагностическом Средстве просмотра.
Включите или отключите все образцовые блоки верификации путем изменения настроек Model Verification block enabling в Параметрах конфигурации.
Используйте блоки в библиотеке Model Verification, чтобы упростить создание самопроверки моделей. Например, можно использовать образцовые блоки верификации, чтобы протестировать, который сигнализирует, не превышают заданные пределы во время симуляции. Когда вы удовлетворены, что модель правильна, можно выключить проверку ошибок путем отключения блоков верификации. Вы не должны удалять их из модели. Если необходимо изменить модель, можно временно снова включить блоки верификации, чтобы гарантировать, что изменения не повреждают модель.
Типы данных |
|
Прямое сквозное соединение |
|
Многомерные сигналы |
|
Сигналы переменного размера |
|
Обнаружение пересечения нулем |
|
Проверяйте динамический разрыв | Проверяйте динамический диапазон
