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

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

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

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

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

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

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

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

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

Примечание

Расчет контрольной суммы модели зависим платформой.