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