FormalPro-等效性检查解决方案

FormalPro 使用静态形式验证技术来证明设计在功能上与其黄金参考相同。这比传统的门级仿真快几个数量级——使用 FormalPro 可以在数小时甚至几分钟内验证需要数天或数周的设计。

主要功能

无测试平台的等效性验证覆盖范围

快速证明设计在功能上是相同的-将 RTL 与门网表进行比较以进行综合，将门对门网表进行比较以进行布局自旋。使用一个工具和流程完成所有设计。

使用静态形式验证技术快速验证数百万个栅极设计并显著缩短验证时间。借助全面的调试工具，识别错误的位置/原因，以及在现有验证会话中研究设计修改的独特的 “假设” 功能，可以最快地纠正设计。

加入有关新主题、功能、内容和技术专家的讨论。

访问详细的用户应用笔记、培训资源等。

利用开发和设计经验以及方法专业知识的独特组合，帮助您应对复杂的技术和企业挑战，从而实现最大的业务影响。