Check Static Range

Проверяйте, что сигнал падает в фиксированной области значений амплитуд

Библиотека:
Simulink / Model Verification
HDL Coder / Model Verification

Описание

Проверки блока Check Static Range, что каждый элемент входного сигнала падает в той же области значений амплитуд на каждом временном шаге. Upper bound и параметры Lower bound задают верхние и нижние границы области значений. Блок затем выполняет утверждение после сравнения. Если сигнал падает в границах, утверждением является true (1) и блок ничего не делает. В противном случае блок останавливает симуляцию и возвращает сообщение об ошибке по умолчанию.

Входной сигнал и границы могут быть скалярами, векторами или матрицами. Все три должны быть совпадающим типом данных. Блок сравнивает значение входа к границам по-другому в зависимости от сигнала.

При сравнении скаляров с векторами или матрицами, блок сравнивает скаляр с каждым элементом нескалярного входного сигнала или границ.
При сравнении векторов или матричных сигналов к другим векторам или матрицам, блок сравнивает входной сигнал с границами поэлементно.
Для моделей больше чем с одним векторным или матричным входным сигналом или границами, векторы или матрицы должны иметь те же размерности.

Порты

Входной параметр

развернуть все

`Port_1` — Входной сигнал проверяется по области значений
скаляр | вектор | матрица

Входной сигнал, проверяемый по диапазону, указанному Upper bound и параметрами Lower bound.

Вывод

развернуть все

`Port_1` — Выходной сигнал утверждения
скаляр

Выходной сигнал, который является true (1) если утверждение успешно выполняется, и false (0) если утверждение перестало работать. Если, в окне Configuration Parameters, в разделе Math and Data Types, под Advanced parameters, вы выбираете Implement logic signals as Boolean data, то типом выходных данных является Boolean. В противном случае типом данных сигнала является double.

Зависимости

Чтобы включить этот выходной порт, установите флажок параметра Output assertion signal.

Типы данных: double | Boolean

Параметры

развернуть все

`Upper bound` — Верхняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

Задайте верхнюю границу на области значений амплитуд, которые может иметь входной сигнал.

Информация о командной строке

Параметр: max

Ввод: символьный вектор

Значения: scalar | vector | matrix

Значение по умолчанию: '0'

`Inclusive upper boundary` — Включайте верхнюю границу в область значений
`on` (значение по умолчанию) | `off`

Установите этот флажок, чтобы заставить область значений допустимых входных амплитуд включать нижнюю границу.

Информация о командной строке

Параметр: min_included

Ввод: символьный вектор

Значения: 'on' | 'off'

Значение по умолчанию: 'on'

`Lower bound` — Нижняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

Задайте нижнюю границу на области значений амплитуд, которые может иметь входной сигнал.

Информация о командной строке

Параметр: min

Ввод: символьный вектор

Значения: scalar | vector | matrix

Значение по умолчанию: '0'

`Inclusive lower bound` — Включайте нижнюю границу в область значений
`on` (значение по умолчанию) | `off`

Информация о командной строке

Параметр: min_included

Ввод: символьный вектор

Значения: 'on' | 'off'

Значение по умолчанию: 'on'

`Enable assertion` — Включите или отключите проверку
`on` (значение по умолчанию) | `off`

Очистка этого параметра отключает блок и заставляет модель вести себя, как будто блок не существует. Чтобы включить или отключить все блоки верификации, независимо от установки этой опции, переходят к окну Configuration Parameters, нажимают Diagnostics > Data Validity, расширяют раздел Advanced parameters и устанавливают Model Verification block enabling на Enable all или Disable all.

Информация о командной строке

Параметр: enabled

Ввод: символьный вектор

Значения: 'on' | 'off'

Значение по умолчанию: 'on'

`Simulation callback when assertion fails (optional)` — Выражение, чтобы оценить, когда утверждение перестало работать
`''` (значение по умолчанию) | выражение MATLAB

Задайте выражение MATLAB^®, чтобы оценить, когда утверждение перестанет работать. Поскольку выражение выполнено в рабочем пространстве MATLAB, задайте все переменные, используемые в выражении в той рабочей области.

Зависимости

Чтобы включить этот параметр, выберите параметр Enable assertion.

Информация о командной строке

Параметр: callback

Ввод: символьный вектор

Значения: Выражение MATLAB

Значение по умолчанию: ''

`Stop simulation when assertion fails` — Остановить ли симуляцию, когда проверка перестала работать
`on` (значение по умолчанию) | `off`

Выберите этот параметр, чтобы остановить симуляцию, когда проверка перестанет работать. Очистите этот параметр, чтобы вывести предупреждение и продолжить симуляцию.

Информация о командной строке

Параметр: stopWhenAssertionFail

Ввод: символьный вектор

Значения: 'on' | 'off'

Значение по умолчанию: 'on'

`Output assertion signal` — Создайте выходной сигнал
`off` (значение по умолчанию) | `on`

Выберите этот параметр, чтобы включить выходной порт.

Информация о командной строке

Параметр: export

Ввод: символьный вектор

Значения: 'on' | 'off'

Значение по умолчанию: 'off'

`Select icon type` — Выберите тип значков
`graphic` (значение по умолчанию) | `text`

Задайте стиль значка блока. graphic опция отображает графическое представление условия утверждения на значке. text опция отображает математическое выражение, которое представляет условие утверждения.

Информация о командной строке

Параметр: icon

Ввод: символьный вектор

Значения: 'graphic' | 'text'

Значение по умолчанию: 'graphic'

Примеры модели

Check Signal Range with Check Static Range Block

Проверяйте диапазон сигнала с проверкой статический блок области значений

Используя блок Check Static Range, можно проверять верхние и нижние границы амплитуды сигнала против значений, заданных в параметрах блоков.

Открытая модель

Характеристики блока

Типы данных	`Boolean` \| `double` \| `enumerated` \| `fixed point` \| `half` \| `integer` \| `single`
Прямое сквозное соединение	`no`
Многомерные сигналы	`yes`
Сигналы переменного размера	`no`
Обнаружение пересечения нулем	`no`

Расширенные возможности

Генерация кода C/C++
Генерация кода C и C++ с помощью Simulink® Coder™.

Для получения информации о том, как сгенерированный код Simulink^® Coder™ обрабатывает блоки Model Verification, смотрите, Конфигурируют Модель для Отладки (Simulink Coder).

Не рекомендуемый для производственного кода.

Генерация HDL-кода
Сгенерируйте Verilog и код VHDL для FPGA и проекты ASIC с помощью HDL Coder™.

HDL Coder™ обеспечивает дополнительные параметры конфигурации, которые влияют на реализацию HDL и синтезируемую логику.

Архитектура HDL

Это проверки блока, находится ли каждый элемент входного сигнала в пределах той же амплитудной области значений на каждом временном шаге в процессе моделирования, но это не включено в сгенерированный код.

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Представлено до R2006a

Документация

Check Static Range

Описание

Порты

Входной параметр

`Port_1` — Входной сигнал проверяется по области значений
скаляр | вектор | матрица

Вывод

`Port_1` — Выходной сигнал утверждения
скаляр

Зависимости

Параметры

`Upper bound` — Верхняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

Информация о командной строке

`Inclusive upper boundary` — Включайте верхнюю границу в область значений
`on` (значение по умолчанию) | `off`

Информация о командной строке

`Lower bound` — Нижняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

Информация о командной строке

`Inclusive lower bound` — Включайте нижнюю границу в область значений
`on` (значение по умолчанию) | `off`

Информация о командной строке

`Enable assertion` — Включите или отключите проверку
`on` (значение по умолчанию) | `off`

Информация о командной строке

`Simulation callback when assertion fails (optional)` — Выражение, чтобы оценить, когда утверждение перестало работать
`''` (значение по умолчанию) | выражение MATLAB

Зависимости

Информация о командной строке

`Stop simulation when assertion fails` — Остановить ли симуляцию, когда проверка перестала работать
`on` (значение по умолчанию) | `off`

Информация о командной строке

`Output assertion signal` — Создайте выходной сигнал
`off` (значение по умолчанию) | `on`

Информация о командной строке

`Select icon type` — Выберите тип значков
`graphic` (значение по умолчанию) | `text`

Информация о командной строке

Примеры модели

Проверяйте диапазон сигнала с проверкой статический блок области значений

Характеристики блока

Расширенные возможности

Генерация кода C/C++
Генерация кода C и C++ с помощью Simulink® Coder™.

Генерация HDL-кода
Сгенерируйте Verilog и код VHDL для FPGA и проекты ASIC с помощью HDL Coder™.

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Смотрите также

Документация Simulink

Поддержка

Документация

Check Static Range

Описание

Порты

Входной параметр

Port_1 — Входной сигнал проверяется по области значений скаляр | вектор | матрица

Вывод

Port_1 — Выходной сигнал утверждения скаляр

Зависимости

Параметры

Upper bound — Верхняя граница по сравнению с входным сигналом скаляр | вектор | матрица

Информация о командной строке

Inclusive upper boundary — Включайте верхнюю границу в область значений on (значение по умолчанию) | off

Информация о командной строке

Lower bound — Нижняя граница по сравнению с входным сигналом скаляр | вектор | матрица

Информация о командной строке

Inclusive lower bound — Включайте нижнюю границу в область значений on (значение по умолчанию) | off

Информация о командной строке

Enable assertion — Включите или отключите проверку on (значение по умолчанию) | off

Информация о командной строке

Simulation callback when assertion fails (optional) — Выражение, чтобы оценить, когда утверждение перестало работать '' (значение по умолчанию) | выражение MATLAB

Зависимости

Информация о командной строке

Stop simulation when assertion fails — Остановить ли симуляцию, когда проверка перестала работать on (значение по умолчанию) | off

Информация о командной строке

Output assertion signal — Создайте выходной сигнал off (значение по умолчанию) | on

Информация о командной строке

Select icon type — Выберите тип значков graphic (значение по умолчанию) | text

Информация о командной строке

Примеры модели

Проверяйте диапазон сигнала с проверкой статический блок области значений

Характеристики блока

Расширенные возможности

Генерация кода C/C++ Генерация кода C и C++ с помощью Simulink® Coder™.

Генерация HDL-кода Сгенерируйте Verilog и код VHDL для FPGA и проекты ASIC с помощью HDL Coder™.

Генерация кода PLC Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Смотрите также

Документация Simulink

Поддержка

`Port_1` — Входной сигнал проверяется по области значений
скаляр | вектор | матрица

`Port_1` — Выходной сигнал утверждения
скаляр

`Upper bound` — Верхняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

`Inclusive upper boundary` — Включайте верхнюю границу в область значений
`on` (значение по умолчанию) | `off`

`Lower bound` — Нижняя граница по сравнению с входным сигналом
скаляр | вектор | матрица

`Inclusive lower bound` — Включайте нижнюю границу в область значений
`on` (значение по умолчанию) | `off`

`Enable assertion` — Включите или отключите проверку
`on` (значение по умолчанию) | `off`

`Simulation callback when assertion fails (optional)` — Выражение, чтобы оценить, когда утверждение перестало работать
`''` (значение по умолчанию) | выражение MATLAB

`Stop simulation when assertion fails` — Остановить ли симуляцию, когда проверка перестала работать
`on` (значение по умолчанию) | `off`

`Output assertion signal` — Создайте выходной сигнал
`off` (значение по умолчанию) | `on`

`Select icon type` — Выберите тип значков
`graphic` (значение по умолчанию) | `text`

Генерация кода C/C++
Генерация кода C и C++ с помощью Simulink® Coder™.

Генерация HDL-кода
Сгенерируйте Verilog и код VHDL для FPGA и проекты ASIC с помощью HDL Coder™.

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.