Veloce

veloce-hardware-software-dsc08321-promo-640x480.jpg

Veloce – это система аппаратной эмуляции, которая является одним из краеугольных камней всей платформы функциональной верификации сложных систем на кристалле (SoC) компании Mentor A Siemens Business. Система имеет масштабируемую архитектуру и может обслуживать тестируемые объекты емкостью до 15 млрд. вентилей, что делает ее безусловным лидером среди аналогичных систем от других поставщиков.

Архитектура Veloce базируется на запатентованном специализированном ASIC (Crystal), который перепрограммируется для компиляции RTL кода тестируемого объекта с учетом межсоединений на одном блоке (плате) и между блоками для обмена данными между чипами ASIC.

Специализированная операционная система управляет всей средой верификации, которая включает также специальные приложения и программно-аппаратные решения для подключения физических и виртуальных периферийных устройств. В результате пользователь получает гибкую настраиваемую систему, которая позволяет решать задачу функциональной верификации SoC практически неограниченного объема со скоростью на несколько порядков превышающей скорость традиционного моделирования, обеспечивая при этом полную наблюдаемость всех внутренних и внешних логических сигналов тестируемого объекта для эффективного процесса отладки.

Операционная система Veloce обеспечивает гибкое управление ресурсами в процессе эмуляции, которое позволяет в процессе работы с одним тестируемым объектом, добавлять новые варианты тестирования, включая, например, тестирование встроенного программного обеспечения SoC одновременно с аппаратным тестированием. Дополнительно операционная система позволяет использовать Veloce в мнопользовательском режиме, поддерживая одновременный запуск нескольких сеансов эмуляции не связанных между собой тестируемых объектов.

Основные характеристики и преимущества

  • Использование специализированного программируемого ASIC и масштабируемой аппаратной архитектуры обеспечивает эмуляцию проектов в диапазоне от 40 млн. до 15 млрд. вентилей
  • Эмуляция отдельных блоков, модулей и всего тестируемого SoC со скоростью на несколько порядков превышающей скорость моделирования
  • Возможность прогона за короткое время гигантского объема тестовых векторов, включая реальное встроенное программное обеспечение, позволяет обнаружить сложные “скрытые” ошибки, которые крайне трудно выявить традиционными методами верификации. Это дает возможность исключить повторные запуски реализации проекта в кремнии при обнаружении ошибок на поздних этапах тестирования, например, в условиях лабораторного макетирования

  • Исчерпывающая и гибкая среда отладки, близкая по своим параметрам к среде отладки при моделировании
  • Поддержка механизма ассертов и анализа полноты покрытия, аналогичная программному моделированию
  • Поддержка многопользовательского режима за счет стандартного механизма управления очередями пользователей в том числе обслуживание запросов в удаленном режиме
  • Специально написанные для Veloce приложения позволяют решать весь спектр задач функциональной верификации для самых сложных современных проектов SoC.

Моделирование Прототипирование на ПЛИС Veloce
Время прогона теста* дни часы часы
Объём н/д до 100M вентилей до 25B вентилей
Диаграммы сигналов да нет да
Функциональное покрытие да нет да
SystemVerilog assertions да нет да
Многопользовательский и удалённый доступ да (серверные фермы) с ограничениями да
*Примеры тестов:
  • Загрузка Линукса на суперскалярном ЦПУ с кешами и блоком управления памятью
  • Сетевой маршрутизатор с реалистичным трафиком
  • Типичное регрессионное тестирование