VC Formal

SoC 设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。VC Formal™ 新一代形式化验证解决方案拥有出色的容量、速度和灵活性，可验证某些最艰巨的 SoC 设计挑战，它包括全面的分析和调试技术，能够在 Verdi® 调试平台中快速地找到根本原因。VC Formal 解决方案始终如一地提供更高的性能和容量，发现更多缺陷，针对更大型设计提供更多证据，并通过与 VCS® 功能验证解决方案的本地集成实现更快的覆盖收敛。

VC Formal 解决方案包括一整套正式应用程序 (App)，包括属性验证 (FPV)、自动提取属性 (AEP)、覆盖分析器 (FCA)、连接性检查 (CC)、时序等效性检查 (SEQ)、寄存器验证 (FRV)、测试平台分析仪 (FTA)、形式导航器 (NAV) 以及用于验证标准总线协议的一组断言 IP (AIP）。