Check Discrete Gradient

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

расширьте все на странице

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

Описание

Проверки блока Check Discrete Gradient, которые определяет каждый элемент сигнала и меньше ли абсолютное значение различия между последовательными значениями элемента заданного значения. Блок затем выполняет утверждение после сравнения. Можно задать значение градиента (1 по умолчанию) путем корректировки параметра Maximum gradient. Если различие во входном сигнале меньше абсолютного значения Maximum gradient, утверждением является true (1) и блок ничего не делает. В противном случае блок останавливает симуляцию и возвращает сообщение об ошибке по умолчанию.

Примечание

Чтобы запустить симуляции, блок Check Discrete Gradient требует фиксированного шага дискретный решатель. Если другой решатель выбран, ошибка запрашивает.

Порты

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

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

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

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

Вывод

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

`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

Параметры

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

`Maximum gradient` — Максимальное значение позволенных различий
1 (значение по умолчанию) | скаляр

Задайте значение на позволенном градиенте входного сигнала.

Программируемое использование

Параметр: gradient

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

Значения: действительный скаляр

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

`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 Slope with Check Discrete Gradient Block

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

Эта модель использует блок Check Discrete Gradient на входной синусоиде и проверяет, был ли заданный дискретный градиент достигнут.

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

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

Типы данных	`double` \| `fixed point` \| `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

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

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

Check Discrete Gradient

Описание

Порты

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

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

Вывод

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

Зависимости

Параметры

`Maximum gradient` — Максимальное значение позволенных различий
1 (значение по умолчанию) | скаляр

Программируемое использование

`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 Discrete Gradient

Описание

Порты

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

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

Вывод

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

Зависимости

Параметры

Maximum gradient — Максимальное значение позволенных различий1 (значение по умолчанию) | скаляр

Программируемое использование

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` — Выходной сигнал утверждения
скаляр

`Maximum gradient` — Максимальное значение позволенных различий
1 (значение по умолчанию) | скаляр

`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™.