FormalPro использует статические методы формальной проверки, чтобы доказать, что дизайн функционально идентичен золотому образцу. Это на несколько порядков быстрее, чем традиционное моделирование на уровне шлюзов. С помощью FormalPro проекты, на выполнение которых уходят дни или недели, можно проверить за несколько часов или даже минут.
Быстро докажите, что дизайн функционально идентичен: сравните RTL с списком цепей для синтеза, а списки цепей от шлюза к воротам — для спинов макетов. Используйте один инструмент и управляйте всеми проектами.
Быстрая проверка многомиллионных конструкций ворот и значительное сокращение времени проверки с использованием методов статической формальной проверки. Самый быстрый путь к правильному проектированию благодаря комплексному инструменту отладки, определяющему место и причину ошибок, а также уникальной возможности изучения изменений в проекте по принципу «что если» в ходе текущего сеанса верификации.
Присоединяйтесь к обсуждению новых тем, функций, контента и технических экспертов.
Получите доступ к подробным примечаниям пользователя к приложениям, учебным ресурсам и многому другому.
Помогаем вам достичь максимального эффекта для бизнеса за счет решения сложных технологических и корпоративных задач с помощью уникального сочетания опыта разработки и проектирования и методологических знаний.
