Synopsys VCS

产品定位

Synopsys VCS 提供业内最高性能的仿真引擎与约束条件解算器引擎，能够原生充分利用当前的多核与众核 X86 处理器，配备最先进的细粒度并行（FGP）技术，帮助用户通过配置更多芯核加速频繁调用的长周期测试，应对当前 SoC 的挑战与复杂性。

核心功能

• 高性能仿真：支持分区编译、预编译 IP、动态重新配置，以及保存恢复、约束解算器优化与细粒度并行。
• 高级仿真技术：向高层建模（SystemC、Matlab）与 AMS 仿真接入原生低功耗、X 传播、DKI/DPI 直接接口。
• 验证质量分析：利用 Testbench Quality Assurance 进行功能验证质量分析。
• 原生集成：与 Verdi 调试、VC Formal、VC VIP 原生集成，提供快速的验证收敛。

产品特点

VCS 全面支持原生测试平台（NTB）、广泛的 SystemVerilog、验证规划、覆盖率分析与收敛；通过与行业标准调试平台 Verdi 的原生整合，为设计人员与验证工程师提供简化高效的验证体验，在保持业界领先性能的同时降低验证周转时间。

应用价值

广泛用于大型 SoC 与复杂功能验证，帮助设计验证团队高效完成仿真、覆盖率分析与收敛，支撑大规模芯片设计的验证质量与进度，是业界广泛采用的 RTL 功能仿真工具。

典型验证流程

验证工程师以 SystemVerilog 编写测试台并配置覆盖率目标，VCS 通过分区编译与细粒度并行加速仿真运行，采用保存/恢复与约束优化提升长周期测试效率；结果在 Verdi 中调试分析，结合覆盖率收敛推进测试计划，并以 VC Formal、VC VIP 联动补齐验证完整性，达成功能验证收敛。