1、VC Static vW-2024.09-SP1是一款高容量、高性能的形式化验证解决方案，包含一流的算法、方法论、数据库和用户界面。 

2、VC Static提供下一代全面的形式化验证解决方案 （VC Formal） 和低功耗验证解决方案 （VC LP）。

3、这种以平台为中心的各种静态验证应用程序的无缝集成提供了 3-5 倍的性能和容量，从而能够高效且有效地验证最大的片上系统 （SoC） 设计。

4、一流的技术在易用性、与新思科技 DC 和 ICC 的兼容性、用于使用模型和流程、结果准确性、精确报告和高级调试基础设施方面具有独特的产品。

使用形式化验证来捕获设计错误不需要正式的专业知识。Synopsys VC Formal AEP 应用程序旨在通过自动提取设计中的属性来帮助设计人员和验证工程师发现多种设计错误。

Synopsys， Inc. 是半导体设计电子设计自动化 （EDA） 软件的全球领导者。该公司为全球电子市场提供技术领先的半导体设计和验证平台以及 IC 制造软件产品，从而实现复杂片上系统 （SoC） 的开发和生产。新思科技还提供知识产权和设计服务，以简化设计流程并加快客户的上市时间。新思科技总部位于加利福尼亚州山景城，在北美、欧洲、日本和亚洲的 60 多个地点设有办事处。

领先的算法、方法论、数据库和友好的用户界面。 减少对专业知识和丰富经验以及强大技术的需求，提高技能水平，简化流程，加快进程。