Проверка помощника по коду HDL

Помощник по коду HDL и консультант по моделям проверяют в HDL Coder™ верифицируют и обновляют модель или подсистему Simulink ® на совместимость с генерацией кода HDL. Помощник по кодированию выполняет следующие проверки:

Параметры конфигурации модели
Настройки портов и подсистем
Блоки и параметры блоков
Встроенная поддержка плавающей точки
Руководство по отраслевым стандартам

При выполнении проверки помощник по коду отображает результат как пропуск или сбой. Предупреждения или сбои можно исправить с помощью рекомендуемых настроек Model Advisor.

Проверка конфигурации модели

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

Имя чека	Описание
Проверка параметров модели, пригодных для генерации кода HDL	Проверьте параметры модели, настроенные для генерации кода HDL.
Проверка модели на наличие иностранных символов	Найдите в модели неразрешенные связи с библиотекой, где указанный блок библиотеки не найден.
Проверьте параметры глобального сброса для устройств Xilinx и Altera	Проверьте настройки асинхронного сброса для устройств Altera ® и синхронного сброса для устройств ^Xilinx ®.
Проверка настройки встроенных конфигураций	Проверьте, есть ли у вас `InlineConfigurations` включено.
Проверка алгебраических циклов	Проверьте модель для алгебраических циклов.
Проверка параметров визуализации	Проверьте модель на наличие настроек отображения: типы данных порта и цветовое кодирование времени выборки.
Проверка настройки балансировки задержки	Проверка задержки остатка включена.

Примечание

При использовании Model Advisor в папке Simulink отображается модель Check для внешних символов.

Проверка портов и подсистем

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

Имя чека	Описание
Проверка недопустимой подсистемы верхнего уровня	Проверьте наличие подсистем, которые не могут находиться на верхнем уровне для генерации кода HDL.
Проверить исходные условия включенной и срабатывающей подсистем	Проверить исходное состояние включенной и срабатывающей подсистем.

Проверка блоков и параметров блоков

Эти проверки проверяют, поддерживаются ли блоки в модели для генерации кода HDL и имеют ли поддерживаемые блоки параметры, совместимые с HDL. Проверки включают в себя, имеют ли исходные блоки в модели непрерывное время выборки, а также имеют ли функциональные блоки Stateflow ® Charts и MATLAB параметры, совместимые с HDL, и т.д.

Имя чека	Описание
Проверка бесконечных и непрерывных источников времени выборки	Проверка исходных блоков с непрерывным временем выборки.
Проверка неподдерживаемых блоков	Проверьте наличие неподдерживаемых блоков для создания кода HDL.
Проверка больших матричных операций	Проверьте наличие больших матричных операций.
Идентификация несвязанных линий, портов ввода и портов вывода	Проверьте наличие неподключенных линий или портов.
Определение отключенных ссылок на библиотеки	Модель поиска отключенных ссылок на библиотеки.
Определение неразрешенных ссылок на библиотеки	Найдите в модели неразрешенные связи с библиотекой, где указанный блок библиотеки не найден.
Проверка настроек функционального блока MATLAB	Проверьте настройки, совместимые с HDL, для функциональных блоков MATLAB.
Проверка параметров диаграммы потока состояний	Проверьте параметры, совместимые с HDL, для блоков диаграммы потока состояний.
Блоки проверочной задержки, единичной задержки и удержания нулевого порядка для изменения скорости	Определите блоки задержки, единичной задержки или удержания нулевого порядка, которые используются для изменения скорости. Замените эти блоки фактическими блоками Rate Transition.
Проверка блоков с ненулевой задержкой вывода	Проверьте наличие блоков с ненулевой задержкой вывода с фиксированной точкой и собственной плавающей точкой.
Проверка неподдерживаемого класса хранения для сигнальных объектов	Проверьте, является ли класс хранения сигнальных объектов `'ExportedGlobal'` или `'ImportedExtern'` или `'ImportedExternPointer'`

Примечание

При использовании Model Advisor отображаются блоки «Идентификация несвязанных линий», «Порты ввода» и «Порты вывода», «Идентификация отключенных библиотечных связей», «Идентификация неразрешенных библиотечных связей», «Задержка проверки», «Задержка установки» и «Удержание нулевого порядка» для изменения скорости в папке Simulink.

Собственные проверки с плавающей запятой

Эти проверки проверяют совместимость модели с генерацией кода HDL в Native Floating Point режим. Проверки включают в себя, поддерживаются ли блоки в модели Simulink для генерации кода HDL с помощью Native Floating Pointи использует ли модель один тип данных и т.д. Встроенная поддержка с плавающей запятой в кодере HDL генерирует целевой независимый код HDL из модели с плавающей запятой с одинарной точностью. Дополнительные сведения см. в разделе Создание независимого от цели кода HDL с собственной плавающей точкой.

Имя чека	Описание
Проверка отдельных типов данных в модели	Проверка для `single` типы данных в модели.
Проверка двойных типов данных в модели с собственной плавающей точкой	Проверка для `double` типы данных в модели.
Проверка наличия блоков преобразования типов данных с несовместимыми параметрами	Проверьте режим преобразования блоков преобразования типов данных.
Проверка на возвратно-поступательное использование блоков ЛПВП	Проверьте, что взаимные блоки HDL не используют типы с плавающей запятой.
Проверка использования блока реляционного оператора	Проверьте, имеют ли логические выходы блоки Relational Operator, использующие типы с плавающей запятой.
Проверка неподдерживаемых блоков с собственной плавающей точкой	Проверьте наличие неподдерживаемых блоков с собственной плавающей точкой.
Проверка блоков с ненулевой ошибкой ulp	Проверьте наличие блоков с ненулевой ошибкой ulp с собственной плавающей точкой.

проверки отраслевых стандартов

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

Имя чека	Описание
Проверка расширения файла	Проверьте расширения файлов VHDL, содержащих объекты.
Проверить соглашения об именовании	Проверьте стандартные ключевые слова, используемые инструментами EDA.
Проверка имен подсистем/портов верхнего уровня	Проверьте имена модулей/объектов верхнего уровня и портов.
Проверка имен модулей/объектов	Проверьте имена модулей/объектов.
Проверьте имена сигналов и портов	Проверьте длину имени сигнала и порта.
Проверка имен файлов пакетов	Проверьте имя файла, содержащего пакеты.
Проверить дженерики	Проверьте дженерики в подсистеме верхнего уровня.
Проверка синхросигналов, сброс и включение сигналов	Проверьте соглашение об именовании синхросигналов, сброса и включения сигналов.
Проверить имя архитектуры	Проверьте имя архитектуры VHDL в сгенерированном коде HDL.
Проверка сущности и архитектуры	Проверьте, описаны ли объект и архитектура VHDL в одном файле.
Проверить настройки часов	Проверьте ограничения на тактовые сигналы.

Дополнительные сведения см. в разделе:

См. также

hdlmodelchecker

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