Новая методология верификации, основанная на использовании существующих стандартов в области моделирования ассертов и анализа полноты покрытия, существенно повышает продуктивность процесса верификации, предсказуемость результатов верификации и, в конечном счете, качество проекта.

Основные характеристики:
-Методология верификации, основанная на существующих стандартах, гарантирующая контроль соблюдения заданных функциональных характеристик
-Существенное сокращение времени отладки за счет обнаружения неисправностей непосредственно в момент их проявления
-Повышение "наблюдаемости" функциональной модели проекта и автоматическая генерация тестбенчей на основе System Verilog и System C, поддерживающих метод произвольного тестирования с ограничениями
-Использование на всех этапах процесса верификации: функциональное моделирование, эмуляция, формальная верификация
-Анализ полноты покрытия HDL-кода - структурного, функционального и на уровне транзакций
-За счет использования стандартов может применяться в различных маршрутах проектирования и верификации, в том числе, допускает повторное использование ранее отработанных решений