形式等效性检查  

全面的等效性检查加速创新 

Synopsys 提供了强大的工具,能满足大型、复杂和多电压的 SoC、所有类型的存储器、全定制逻辑和 I/O 的等效性检查的需要。凭借包括 Hier-IQ、针对数据通路的解算器和符号仿真在内的独特专利技术,用户可获得最全面的等效性覆盖。Synopsys 形式等效性检查套件包括用于完整综合流程验证的 Formality、添加了 ECO 实现支持和高级调试的 Formality Ultra,以及用于全定制存储器验证的 ESP-CV。Formality 和 ESP 具有领先的性能且便于使用,并且结合在一起可提供从 RTL 至晶体管的全芯片覆盖。

 

 
快速全面的覆盖,以确保两个设计表示形式之间功能的等效性


 
这款高性能的等效性检查工具可使用形式化静态技术来确定两个设计是否具有功能等效性
PDF下载数据手册 (PDF)

  • 通过提供全面的验证覆盖率最大限度降低流片风险。
  • 简便易用的工具可缩短数百万门级设计的成果转化时间
  • 对整个 SoC 进行验证,包括逻辑、数据通路、定制宏、存储器和 I/O