HDL Verifier™ позволяет создавать модель уровня транзакций SystemC (TLM), которая может выполняться в любой OSCI-совместимой среде TLM 2.0, включая коммерческую виртуальную платформу.
При использовании с виртуальными платформами HDL Verifier объединяет две различные среды моделирования: Simulink ® для разработки алгоритмов высокого уровня и виртуальные платформы для моделирования архитектуры системы. Моделирование Simulink обычно обходится без деталей реализации аппаратной системы, таких как процессор и операционная система, инициализация системы, подсистемы памяти, конфигурация устройства и управление, а также конкретные аппаратные протоколы для передачи данных как внутри, так и снаружи.
Виртуальная платформа представляет собой среду моделирования, которая занимается деталями оборудования: она имеет компоненты, которые сопоставляются с аппаратными устройствами, такими как процессоры, запоминающие устройства и периферийные устройства, и средство моделирования аппаратного взаимодействия между ними.
Хотя многие цели могут быть достигнуты с помощью модели виртуальной платформы, идеальным сценарием для виртуальных платформ является возможность разработки программного обеспечения - как прикладного программного обеспечения высокого уровня, так и драйвера устройства низкого уровня - за счет наличия достаточно абстрактных моделей для аппаратного взаимодействия, которые позволяют виртуальной платформе работать со скоростью, близкой к скорости реального времени, как показано на следующей диаграмме.
Функциональная модель обеспечивает своего рода полпути между скоростью, которую вы можете достичь с абстракцией, и точностью, которую вы получаете с реализацией.
С помощью HDL Verifier и Simulink можно создать TLM-совместимую модель уровня транзакций SystemC (TLM), которая может быть выполнена в любой OSCI-совместимой среде TLM, включая коммерческую виртуальную платформу.
Типичные пользователи и приложения:
Инженеры системного уровня разрабатывают модели электронных систем, включающие архитектурные характеристики
Разработчики программного обеспечения, которые хотят встроить алгоритм в виртуальную платформу без использования симулятора набора команд (ISS).
Инженеры по функциональной проверке оборудования. В этом случае алгоритм представляет собой часть аппаратного обеспечения, входящую в микросхему.
| Функция продукта | Необходимые продукты | Рекомендуемые продукты | Поддерживаемые платформы |
|---|---|---|---|
| Генератор TLM | Симулинк Coder™ | Встроенный кодер ® (также требуется кодер Simulink) | 32-разрядная и 64-разрядная ОС Windows ®; 64-разрядная версия Linux ® |