FormalPro

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

FormalPro  (разработчик: Mentor Graphics) — инструмент проверки функциональной эквивалентности 2 схем, использующий методы формальной верификации.

FormalPro работает только на ОС Sun Solaris и Linux.

Возможности FormalPro

  • Проверка полной функциональной эквивалентности
  • Точная локализация ошибок и их причин по мере их появления
  • Большая допустимая размерность верифицируемого проекта (десятки миллионов вентилей), не требующая предварительного разбиения его на части
  • Отображение ошибок в схеме проекта с кросс-ссылками на RTL-описание и нетлист
  • Возможность анализа типа "what-if", позволяющая исследовать различные варианты изменения проекта в процессе текущей верификации
  • Возможность установки контрольных точек и перезапуска процесса верификации с заданного места, без перекомпиляции и возврата к началу процесса
  • Интуитивный графический пользовательский интерфейс проследовательно "ведущий" пользователя по всем стадиям настройки верификации

Ссылки

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