Exponenta Banner

Assertion

Сгенерируйте утверждения SystemVerilog из утверждения Simulink

развернуть все на странице
  • Библиотека:

  • HDL-верификатор/для использования с DPI-C SystemVerilog

  • Assertion block

Описание

Блок Assertion утверждает, что его входной сигнал ненулевой. Если его вход равен нулю, блок останавливает симуляцию по умолчанию и отображает сообщение об ошибке. Когда вы генерируете компонент DPI-C SystemVerilog - блок создает немедленное утверждение SystemVerilog. Используя параметры блоков, можно:

  • Включите или отключите значения.

  • Задайте MATLAB® выражение для Simulink® , чтобы вычислить, когда установка прекращает работать.

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

Используйте параметры DPI-C для управления опциями среды выполнения:

  • Задайте серьезность сгенерированного значения.

  • Задайте пользовательское сообщение или действие в случае сбоя проверки типа «assertion».

Порты

Вход

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

Блок Assertion принимает входные сигналы любых размерностей и типа числовых данных, которые поддерживает Simulink.

Типы данных: single | double | int8 | int16 | int32 | uint8 | uint16 | uint32 | Boolean | fixed point

Параметры

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

Установка этого флажка позволяет блоку отображать предупреждение о симуляции или ошибку. Это также позволяет блоку создать значения SystemVerilog в вашем сгенерированном коде. Снятие этого флажка отключает значения в симуляции и не генерирует значения SystemVerilog.

Задайте выражение MATLAB для Simulink, которое должно быть вычислено, когда утверждение прекращается. Блок игнорирует этот параметр в сгенерированной оценке DPI-C.

Зависимости

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

Установка этого флажка заставляет Simulink остановить симуляцию и отобразить ошибку, когда вход блока равен нулю. Снятие этого флажка позволяет Simulink продолжить симуляцию, отображая предупреждение, когда вход блока равен нулю. Блок игнорирует этот параметр в сгенерированной оценке DPI-C.

Зависимости

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

Опции установки DPI-C

Используйте эти параметры для управления поведением сгенерированного значения DPI-C в среде симуляции SystemVerilog. Чтобы включить генерацию параметров DPI-C, выберите Enable assertion.

Выберите error или warning для утверждения DPI-C, чтобы выдать ошибку SystemVerilog или предупреждающее сообщение. Установите значение custom для выполнения пользовательской команды.

Зависимости

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

Задайте пользовательское сообщение SystemVerilog, которое должно быть отправлено в случае сбоя проверки типа «SystemVerilog». Эта функция поддерживает только символы ASCII.

Пример: RX fail

Зависимости

Чтобы включить этот параметр, установите Severity равным error или warning.

Задайте пользовательскую команду SystemVerilog, которая будет выполняться в случае сбоя проверки типа «assertion». Можно задать этот параметр как оператор отображения, команду или скрипт. Эта функция поддерживает только символы ASCII

Пример: $display("RX fail at %0t", $time);

Зависимости

Чтобы включить этот параметр, установите Severity равным custom.

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

Generate Native SystemVerilog Assertions from Simulink

Сгенерируйте собственные утверждения SystemVerilog из Simulink

Сгенерируйте собственные утверждения SystemVerilog из утверждений в модели Simulink ®. Эта возможность полезна всякий раз, когда вам нужно то же поведение assertion в Simulink и в вашем окружении проверки HDL.

См. также

Темы

Введенный в R2018a

HDL Verifier документация

Поддержка