静态和形式验证

静态和形式验证软件的连接

先进的静态和形式验证

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

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

设计和验证工程师可结合使用 Synopsys 的 VC Formal™、VC LP™、VC SpyGlass™ 和 SpyGlass® ,无需复杂的设置、测试平台或激励,即可在设计流程的早期快速分析并检查 RTL 设计。这样可在仿真之前发现大部分缺陷并进行修复,提高仿真的速度和效率,并减少总体成本、时间和精力。Synopsys 的 SpyGlass 和 VC Formal 解决方案基于下一代数据库和引擎构建,可提供验证最大、最复杂设计所需的功能和性能。VC Formal 和 VC LP 提供统一的设计读取并支持与 Design Compiler 相同的 Tcl 命令,简单易用并可以出色地调试问题,从而实现快速轻松地部署。Synopsys 提供全面的咨询服务以加速这些技术的采用,并派遣专家将这些技术推广到客户的生产设计中。