静态和形式验证

先进的静态和形式验证

下一代技术可以在设计周期内更快速地找到缺陷并加快根本原因分析。

下一代静态和形式验证解决方案

设计和验证工程师可结合使用 VC FormalVC LPSpyGlass,无需复杂的设置、测试平台或激励,即可在设计流程的早期快速分析并检查 RTL 设计。这样可在仿真之前发现大部分缺陷并进行修复,提高仿真的速度和效率,并减少总体成本、时间和精力。Synopsys 的 SpyGlass 和形式验证解决方案基于下一代数据库和引擎构建,可提供验证最大、最复杂设计所需的功能和性能。此外,VC Formal 和 VC LP 均通过类似 Design Compiler 的 TCL 支持,提供了统一设计读取和通用的外观,以便快速轻松地采用,并提供出色的易用性和调试手段。