复杂 IC 设计的技术领导者 Synopsys, Inc. 推出了 VC Static Tools vS-2021.09，它是 Synopsys Verification Continuum 平台的一部分。这些工具使设计人员和验证工程师能够在设计流程的早期阶段快速分析和检查 RTL 设计，无需复杂的设置、测试平台或激励。
Synopsys Verification Continuum Platform建立在行业领先的硬件和软件验证工具之上，提供新的原生集成，使设计人员能够加速验证收敛。
Synopsys 的 VC Formal、VC LP、VC SpyGlass、SpyGlass 和时序约束管理器工具 使设计人员和验证工程师能够在设计流程的早期快速分析和检查 RTL 设计，无需复杂的设置、测试平台或激励。这允许在仿真之前发现并修复许多错误，从而使仿真更快、更有效，并降低总体成本、时间和工作量。
Synopsys VC SpyGlass 和 VC Formal 解决方案基于下一代数据库和引擎构建，可提供验证最大、最复杂设计所需的容量和性能。此外，VC Formal、VC SpyGlass 和 VC LP 通过类似 Tcl 的 Synopsys Design Compiler 支持提供统一的设计读取和通用外观，从而实现快速轻松的采用以及出色的易用性和调试性。
Synopsys, Inc. 是半导体设计电子设计自动化 (EDA) 软件的全球领导者。该公司向全球电子市场提供技术领先的半导体设计和验证平台以及 IC 制造软件产品，支持复杂片上系统 (SoC) 的开发和生产。Synopsys 还提供知识产权和设计服务，以简化设计流程并加快客户的上市时间。Synopsys 总部位于加利福尼亚州山景城，在北美、欧洲、日本和亚洲设有 60 多个办事处。
Product: Synopsys VC Static Tools
Version: vS-2021.09
Supported Architectures: x86_64
Website Home Page : http://www.synopsys.com
Languages Supported: english
System Requirements: Linux *
Size: 18.1 Gb
* System Requirements: linux:Red Hat Enterprise Linux WS release 5 (32-bit)
linux64:Red Hat Enterprise Linux WS release 5 (64-bit)
suse32:SUSE LINUX Enterprise Server 11 (32-bit)
suse64:SUSE LINUX Enterprise Server 11 (64-bit)
sparcOS5:SunOS 5.10 (32-bit)
sparc64:SunOS 5.10 (64-bit)
rs6000:AIX 6.1 (32-bit)
