Exponenta Banner
exponenta event banner

Утверждение

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

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

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

  • Assertion block

Описание

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

  • Включите или отключите утверждение.

  • Укажите выражение MATLAB ® для Simulink ® для вычисления при сбое утверждения.

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

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

  • Укажите степень серьезности созданного утверждения.

  • Укажите настраиваемое сообщение или действие при сбое утверждения.

Порты

Вход

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

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

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

Параметры

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

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

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

Зависимости

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

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

Зависимости

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

Параметры утверждения DPI-C

Эти параметры используются для управления поведением созданного утверждения DPI-C в среде моделирования SystemVerilog. Чтобы включить генерацию утверждения DPI-C, выберите Включить утверждение.

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

Зависимости

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

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

Пример: RX fail

Зависимости

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

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

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

Зависимости

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

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

Generate Native SystemVerilog Assertions from Simulink

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

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

См. также

Темы

Представлен в R2018a

Документация по верификатору HDL

Поддержка