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