Key Benefits
- 与传统门级仿真相比,可将全面验证百万门级 ASIC 的过程加快数倍
- 借助独立验证技术,降低遗漏严重缺陷的风险
- 在整个设计流程中实现更快、更准确的缺陷检测和纠正
- 将等效性检查功能扩展到复杂的数据通路,同时缩小 RTL 到布局级的验证差距(XL 配置)
- 确保 RTL 模型与在硅片上实现的相应晶体管电路执行相同的功能(GXL 配置)
Cadence® Conformal® Equivalence Checker (EC) 可在不使用测试向量的情况下,验证百万门级设计并检测其中的缺陷。它提供了业内唯一一套完整的等效性检查解决方案,用于验证从 RTL 到最终 LVS 网表 (SPICE) 在内的 SoC 设计。Cadence Conformal EC 可帮助设计人员验证各种电路,包括复杂的算术逻辑、数据通路、存储器和定制逻辑。
Cadence Conformal EC 已在成千上万的流片测试中经过验证,是业界广受好评的独立等效性检查产品。与任何其他形式化验证技术相比,该产品已在诸多物理设计收敛产品、先进的综合软件、ASIC 库和 IP 内核上经过生产验证。
News ReleasesVIEW ALL
-
Cadence 扩充系统 IP 产品组合,推出 NoC 以优化电子系统连接性 06/25/2024
博客 VIEW ALL