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