|
 |
Questa это расширенная среда верификации компании Mentor Graphics, объединяющая наиболее передовые методы верификации в индустрии. Технологии верификации с помощью ассертов (ABV - Assertion-Based Verification), автоматизации создания тестовых воздействий (TBA - TestBench Automation) и верификации на основе анализа полноты функционального покрытия (CDV - Сoverage-Driven Verification) поддерживаются собственным ядром анализа ассертов (assertion engine), системой управления ограничениями (constraint solver) и дополнительными возможностями анализа функционального покрытия проекта (functional coverage). Этот полный набор методов верификации реализуется гибкой архитектурой, не имеющей аналогов по количеству поддерживаемых языков проектирования.
Поддержка стандартных языков SystemVerilog, PSL, SystemC, Verilog и VHDL обеспечивает расширенные возможности верификации:
- Специальный механизм управления ограничениями позволяет генерировать случайные последовательности тестовых воздействий в соответствии с заданными ограничениями
- Объектно-ориентированная технология программирования использует классы и процедуры "наследования" для создания инфраструктуры верификации с возможностью ее повторного использования
- Возможность включения кода, описывающего тестовые воздействия, в программные блоки обеспечивает взаимодействие с объектом верификации, исключающее возможность гонок и состязаний
- Специальные блоки синхронизации устраняют возможность гонок и состязаний между тестбенчем и объектом верификации, обеспечивая опрос тестовых воздействий в задаваемый пользователем момент времени относительно фронта синхросигнала
- Ассерты обнаруживают ошибки непосредственно в месте их возникновения, позволяя пользователю быстро определить истинную причину ошибки
- Возможность привязки ассертов к блокам проекта с помощью оператора bind подразумевает что они могут быть разработаны независимо и отдельно от основного кода проекта
- Возможности анализа функционального покрытия (functional coverage), включая директивы assertion cover и cover groups, обнаруживают заданные пользователем события и их последовательность в проекте |
