vc_formal_ds.pdf

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