Questa

questa-verification_640x360.jpg

Questa преобразует процесс функциональной верификации, значительно повышая ее продуктивность и эффективность управления ресурсами. Базируясь на нескольких передовых технологиях и интеграции с системой аппаратной эмуляции Veloce, Questa является идеальным инструментом для верификации сложных систем на кристалле (SoC).

  • За счет открытой архитектуры интегрирует в один маршрут несколько отдельных инструментов, которые обеспечивают решение всего спектра задач верификации
  • Разбивает решение комплексной задачи на несколько областей, таких как верификация CDC (Clock Domain Crossing), формальная верификация, смешанное моделирование и другие, что позволяет в короткий срок верифицировать SoC
  • За счет интеграции с Visualizer Debug Environment обеспечивает быструю отладку проектов большой емкости
  • Автоматизирует построение плана верификации и сбор метрик по его покрытию, обеспечивает управление ресурсами и анализ вероятности завершения процесса верификации в заданный срок

Достижение полноты покрытия в 10Х-100Х раз быстрее

Questa обеспечивает интеллектуальную генерацию тестов, обеспечивающих более высокое качество результатов моделирования при меньшем объеме тестов. Это позволяет существенно повысить продуктивность верификации. Опция Verification Management сокращает время регрессионного тестирования и полного покрытия с нескольких часов до нескольких минут. Благодаря автоматической генерации моделей покрытия Questa упрощает разработку тестбенчей.

Верификация проектов с низкой потребляемой мощностью

Questa предлагает комплексное решение задачи верификации проектов, которые включают специальные схемы оптимизации потребляемой мощности. Опция Questa Power Aware Simulation (PASim) верифицирует архитектуру схем оптимизации мощности в статическом и динамическом режиме. Опция Questa CDC верифицирует системы с множественными доменами синхронизации и управляемым питанием. Опция Questa Formal обеспечивает исчерпывающий анализ логики в схемах управления питанием. Опция Questa Verification Management контролирует, что верификация проектов с низкой потребляемой мощностью выполняется в заданный срок в общем плане функционального покрытия.

Мощная унифицированная отладка

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

Технологии формальной верификации

Опции Questa Formal дают уникальную возможность обнаружения скрытых сложных ошибок и увеличения полноты функционального покрытия за счет исчерпывающего формального анализа. Questa включает широкий спектр опций формальной верификации – от полностью автоматических приложений, таких как верификация проектов с множественными доменами синхронизации, анализ полноты покрытия кода, автоматическая формальная верификация свойств, до верификации ассертов, написанных самим пользователем. Формальные методы в сочетании с традиционным моделированием позволяют повысить продуктивность процесса верификации и уверенность в том, что разрабатываемая SoC полностью верифицирована.

Самая полная поддержка UVM

Questa первая платформа функциональной верификации с полной поддержкой методологии UVM, которая обеспечивает автоматизированную разработку универсальных тестбенчей на основе классов SystemVerilog и простой интерфейс с тестируемым объектом в сочетании с кросс-ссылками между тестбенчем, тестируемым RTL кодом и волновой диаграммой.

Questa позволяет просматривать иерархию компонентов проекта, дерева определения классов и другие параметры UVM, специфичные для вашего тестбенча, что упрщает понимание всего окружения процесса верификации. Совместно с опциями UVM Framework, UVM Connect и Questa VIP платформа Questa предоставляет инженеру все необходимое для качественной и быстрой функциональной верификации тестируемого проекта.

Функциональная безопасность по стандарту ISO 26262

Компания SGS-TUV Saar, специализирующаяся на квалификации средств проектирования и верификации для критичных по безопасности проектах, сертифицировала платформу Questa, включая опции Questa Verification Management и Questa CDC, как обеспечивающие высокий уровень функциональной безопасности и надежности для всех проектов, требующих сертификата ISO 26262. Процесс моделирования с помощью Questa обеспечивает исчерпывающую верификацию для проектов, критичных по безопасности. Опция Questa Verification Management позволяет контролировать полноту функционального покрытия путем сбора и анализа соответствующих метрик. Опция Questa CDC обнаруживает и исправляет все случаи возникновения эффекта метастабильности в проектах с множественными доменами синхронизации.

Скачать описание продукта