Exponenta Banner
exponenta event banner

Model Verification и утилиты всей модели

Simulink® блокируется в библиотеках Model Verification и Model-Wide Utilities, поддержанных для генерации HDL-кода

Параметры конфигурации Simulink

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

Comment in header
Language-Specific Identifiers and File Extensions
File Comment Customization
RTL Annotations

Блоки

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

AssertionПроверяйте, является ли сигнал нулем (HDL Coder)
Check Dynamic GapПроверяйте, что разрыв возможно переменной ширины происходит в области значений амплитуд сигнала (HDL Coder)
Check Dynamic RangeПроверяйте, что сигнал падает в области значений амплитуд, которая отличается от временного шага до временного шага (HDL Coder)
Check Static GapПроверяйте, что разрыв существует в области значений сигнала амплитуд (HDL Coder)
Check Static RangeПроверяйте, что сигнал падает в фиксированной области значений амплитуд (HDL Coder)
Check Discrete GradientПроверяйте, что абсолютное значение различия между последовательными выборками дискретного сигнала является меньше, чем верхняя граница (HDL Coder)
Check Dynamic Lower BoundПроверяйте, что один сигнал всегда является меньше, чем другой сигнал (HDL Coder)
Check Dynamic Upper BoundПроверяйте, что один сигнал всегда больше, чем другой сигнал (HDL Coder)
Check Input ResolutionПроверяйте, что входной сигнал задал разрешение (HDL Coder)
Check Static Lower BoundПроверяйте, что сигнал больше, чем (или опционально равняйтесь), статическая нижняя граница (HDL Coder)
Check Static Upper BoundПроверяйте, что сигнал является меньше, чем (или опционально равняйтесь), статическая верхняя граница (HDL Coder)
DocBlockСоздайте текст, что модель документов и сохранила текст с моделью (HDL Coder)
Model InfoСвойства модели дисплея и текст в модели (HDL Coder)

Темы

Сгенерируйте код с аннотациями или комментариями

Как добавить аннотации в сгенерированный HDL-код с помощью DocBlock и образцовых аннотаций

Документация HDL Coder
Поддержка