逻辑等效性检查
值得信赖的独立形式验证技术,用于快速准确地检测缺陷并加以纠正
核心优势
- 与传统门级仿真相比,可将全面验证百万门级 ASIC 和 FPGA 的过程加快数倍
- 通过独立验证技术,降低遗漏严重缺陷的风险
- 在整个设计流程中实现更快、更准确的缺陷检测和纠正
- 将等效性检查功能扩展到复杂的数据通路,同时缩小 RTL 到版图级验证的差距(XL 配置)
- 确保 RTL模型与在硅片上相应晶体管电路执行相同的功能(GXL 配置)
- RTL 到版图级验证的先进自适应验证算法和大规模并行架构,可显著改善运行时间 (Smart LEC)
随着设计复杂性不断增加,为满足对功耗、性能、面积和上市时间的苛刻要求,对设计进行形式验证是确保硅片设计成功的重要且必须的签核指标。
Cadence® Conformal® Logic Equivalence Checking Solutions 可为从 RTL到布局布线在内的设计流程提供形式等效性检查功能。
Conformal Smart LEC
Conformal Smart Logic Equivalence Checker (LEC) 是新一代等效性检查解决方案。借助大规模并行架构和自适应证明技术,Conformal Smart LEC 大大缩短了等效性检查周期,将 RTL-to-Gate检查加速了高达 20 倍。
了解更多
Conformal EC
Conformal Equivalence Checker (EC) 提供了业内唯一一套完整的等效性检查解决方案,用于验证各类电路。Conformal EC-XL 配置为数字逻辑电路(包括复杂的算法逻辑和数据通路)提供形式等效性检查功能。Conformal EC-GXL 配置为定制化电路(包括存储器)提供形式等效性检查功能。