0-In Assertion Synthesis

Материал из CADprofi
Перейти к: навигация, поиск

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

Решаемые задачи

верификация утверждений, синтез статических проверок, анализ процесса верификации и управление процессом верификации

Объект решения

проект

Ссылки

Администрирование