Questa inFact

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

Приложение Questa InFact компании Mentor A Siemens Business было первым успешным коммерческим приложением, реализующим технологию портируемых тестов. Входной информацией для приложения является спецификация с описанием назначения данного теста, на основе которой автоматически генерируются тестовые вектора и необходимое покрытие для любого объекта, от отдельных блоков до всей SoC в целом. Сгенерированные тесты могут быть использованы не только на любом уровне иерархии проекта, но и на любой платформе верификации, включая моделирование, аппаратную эмуляцию, прототипирование на FPGA, валидацию в кремнии на готовых кристаллах в лабораторных условиях. При этом тесты оптимизируются под каждый индивидуальный проект. В целом Questa InFact предлагает следующие возможности:

-         Основанную на теории графов технологию для ускоренного достижения полноты функционального покрытия и обнаружения максимально возможного числа ошибок

-         Интегрированную среду разработки, редактирования и визуализации моделей портируемых тестов

-         Интерактивную среду для предварительной отладки (до моделирования) моделей портируемых тестов

-         Средства для импорта ограничений и переменных генерации произвольных тестов из классов SystemVerilog