0-In Assertion Synthesis
0-In Assertion Synthesis (разработчик: Mentor Graphics Technologies) — пакет, предлагающий полное решение в области верификации ABV (Assertion-Based Verification). Включает специальные IP-блоки для верификации (CheckerWare и CheckerWare Monitor IP), синтез статических проверок (checkers), анализ и управление процессом верификации. Поддерживает все стандартные форматы языков описания ассертов: CheckerWare, PSL, SVA, OVL. Обеспечивает автоматический контроль функциональной и структурной полноты покрытия, сбор и сортировку информации об активности ассертов, полноте покрытия и другой статистики в процессе регрессионного тестирования.
Решаемые задачи
верификация утверждений, синтез статических проверок, анализ процесса верификации и управление процессом верификации
