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