Разработка симуляторов

Предоставляем услуги по кастомизации на базе открытых симуляторов: Spike, QEMU, GEM5 и других — моделирование инструкций, плат-уровневое и полносистемное моделирование.

Поддержка запуска и отладки Linux, Android и RTOS.

Предоставляем верификационные модели, совместимые со стандартом SystemC TLM2, для ускорения разработки аппаратного обеспечения.

Список услуг

Кастомизация симуляторов

Предоставляем полную модель плат-уровневого моделирования на базе QEMU, полную поддержку моделирования и виртуализации CPU, шин и периферийных устройств ввода-вывода.

Поддержка микроконтроллеров (например, семейства OpenHW Core-V MCU), а также реализаций моделей микропроцессорных устройств (MPU), например Zynq UltraScale.

Поддержка реализации сложных многоядерных и гетерогенных моделей CPU, в том числе архитектур ARM и RISC-V.

Поддержка компонентной сборки и свободной кастомизации оборудования платформы.

Поддержка технологии ускорения исполнения на базе KVM.

Поддержка технологий виртуального взаимодействия и интерфейсов с внешними сложными реальными устройствами, например FPGA.

Кастомизация архитектуры

Реализация кастомизированных моделей архитектуры набора инструкций на базе QEMU, Spike и GEM5.

Поддержка архитектур RISC-V, ARM и других.

Поддержка функциональных моделей новых наборов инструкций на базе QEMU и Spike, включая расширения RISC-V (Zc*, FP16) и пользовательские расширения, такие как xPulp.

Поддержка модели с точностью до такта на базе GEM5

Быстрая интеграция с GNU/LLVM и другими инструментальными цепочками, а также с различными фреймворками верификации инструкций, например RISC-V ACT.

Эмуляция подсистемы памяти

Услуги кастомизации моделей памяти, включая:

Функциональная модель памяти на базе QEMU/Spike.

Модель с точностью до такта на базе GEM5.

Интеграция инструментальной цепочки

Оптимизированная модель устройства, быстрая интеграция с IDE Studio, поддержка запуска и отладки программ.