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