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