Разработка и верификация модели и HDL-кода

В рабочем процессе, где код генерируется из Simulink® и Stateflow® модели, модели считаются оборудованием концептуальными проектами и архитектурой. Фактический проект является скомпилированной моделью в памяти, как интерпретируется движком Simulink, который основан на входе из файла модели и файлов данных. Файлы данных могут включать MATLAB® или MAT-файлы, которые загружают данные в Рабочие пространства MATLAB или рабочие пространства модели. Сам файл модели не представляет оборудованию концептуальный проект, потому что семантика модели не полностью включена в этот файл. Семантика модели не завершена, пока файл модели не загружен в память, и механизм Simulink не скомпилировал модель. Некоторые семантики модели, которые определяются для модели во время компиляции, но не включены в файл модели, состоят из:

  • Распространенные шаги расчета

  • Распространенные типы данных

  • Распространенный сигнал размерностей

  • Типы распространяемых сигналов

  • Блокируйте порядок выполнения

Отчет Разработки системы Description (SDD), который можно создать с помощью Simulink Report Generator™, предоставляет документ, в котором подробно описывается представление модели в памяти скомпилированной для симуляции. Отчет SDD содержит документацию по концептуальному проекту оборудования.

Поскольку модель и верификация кода действия могут происходить в разное время или на разных компьютерах, вы должны проверить согласованность представлений модели в памяти. Для проверки согласованности можно использовать расчет MD5 контрольной суммы. Контрольная сумма MD5 основана на представлении модели в памяти и включает данные, загруженные в рабочую область из внешних файлов, которые используются моделью. Настраиваемые параметры не включены в MD5 контрольную сумму. Значение MD5 контрольной суммы автоматически вставляется в Model Advisor, Разработка системы сообщает Description. Можно также использовать Simulink API для доступа к MD5 Checksum и вставки его в отчеты. Номер версии модели и последняя сохраненная дата, которая обновляется каждый раз при сохранении модели, также включаются в отчет. Загруженные извне данные не влияют на номер версии модели и последнюю сохраненную дату, из-за чего MD5 Checksum требуется для проверки полной согласованности представления в памяти. Отчет Описание Разработки системы также включает переменные рабочей области, которые используется моделью во время создания отчета.

Примечание

Модель checksum расчета зависит от платформы.