Проверяйте, что сигнал падает в фиксированной области значений амплитуд
Simulink / Model Verification
HDL Coder / Model Verification
Проверки блока Check Static Range, что каждый элемент входного сигнала падает в той же области значений амплитуд на каждом временном шаге. Upper bound и параметры Lower bound задают верхние и нижние границы области значений. Блок затем выполняет утверждение после сравнения. Если сигнал падает в границах, утверждением является true (1) и блок ничего не делает. В противном случае блок останавливает симуляцию и возвращает сообщение об ошибке по умолчанию.
Входной сигнал и границы могут быть скалярами, векторами или матрицами. Все три должны быть совпадающим типом данных. Блок сравнивает значение входа к границам по-другому в зависимости от сигнала.
При сравнении скаляров с векторами или матрицами, блок сравнивает скаляр с каждым элементом нескалярного входного сигнала или границ.
При сравнении векторов или матричных сигналов к другим векторам или матрицам, блок сравнивает входной сигнал с границами поэлементно.
Для моделей больше чем с одним векторным или матричным входным сигналом или границами, векторы или матрицы должны иметь те же размерности.
Типы данных |
|
Прямое сквозное соединение |
|
Многомерные сигналы |
|
Сигналы переменного размера |
|
Обнаружение пересечения нулем |
|
Check Dynamic Range | Check Static Lower Bound | Check Static Upper Bound
