Questa Simulation - среда комплексной верификации современных цифровых проектов любой сложности.

Верификация сложных проектов базируется на использовании фундаментальной технологии Assertions, на основе которой строятся различные методологии и дополнительные технологии верификации такие как анализ функционального покрытия, автоматическая генерация тестов, сбор статистических данных, формальный анализ и т.д. и т.п.

Questa Simulation - наиболее полно поддерживает спецификацию SystemVerilog Assertions и PSL, а также включает наиболее полный набор инструментов (графических отладочных окон, средств импорта/ экспорта и т.д.) для работы с технологией Assertions, а использование для моделирования HDL языков счётного ядра от ModelSim, являющегося эталоном в правильности результатов моделирования, не позволяет сомневаться в достоверности получаемых в Questa Simulation результатов.