正式的智能逻辑等价检查器问世。

Cadence设计系统已经发布了Cadence Conformal Smart Logic等价Checker (LEC)，这是下一代的等价检测解决方案，它在使用最少的用户努力的情况下，在对等检查运行时提供了显著的改进。

与上一代具有相同计算资源的逻辑等价检查工具相比，conformsmart LEC平均提供了4X的运行时改进。

随着芯片功能的快速增长，设计规模也在不断增加。此外，随着先进节点的逻辑合成的最新进展，设计师采用了积极的合成技术来实现功率、性能和面积(PPA)目标。这些技术在设计尺寸和复杂性压力等方面都取得了一定的进展，并且可以在很长的运行时间和有时不确定的结果中得到验证。等价检查是数字带出流中的一个关键步骤，而Conformal Smart LEC解决方案解决了这些问题。Conformal Smart LEC的关键技术组件是:

大规模并行架构自动划分设计，并在多台机器和cpu上分发正式的证明策略，并且可以无缝地扩展到100个cpu，以改进运行时。这个过程对用户是完全透明的，不需要手动配置。

自适应证明技术通过最小的用户努力找到了一个决定性的证明的最快的解决方案。它分析了每个分区，并确定了最优的正式算法来最小化运行时，避免了验证时间——尤其是在复杂的行为datapath组件的设计上。

“我们已经看到一些客户通过Cadence Conformal Smart LEC实现了显著的运行时改进和积极的PPA目标，”Digital & Signoff Group的执行副总裁兼总经理Anirudh Devgan博士说，他是Cadence公司的系统和验证组的总经理。“此外，我们的大规模并行架构和自适应验证技术可以减少人工任务的需求，这样客户就可以更快地交付复杂的设计。”

“对于复杂的设计，包括深层的逻辑锥体，它经常被用于每一个区块的多个专家用户的迭代，以证明RTL-to-gate逻辑的对等，”数字设计技术部的高级经理Hideyuki Okabe说，他是Renesas电子公司的一个基础广泛的解决方案业务部门。“Cadence Conformal Smart LEC自动识别正确的证明策略，并将这些迭代简化为一个。另外，Conformal Smart LEC的大规模并行架构使我们能够将我们的平均运行时减少4倍。随着我们的设计转向更小的流程节点，并继续在规模和复杂性上增长，这项技术对于满足我们当前和未来的市场目标至关重要。

新的Conformal Smart LEC进一步扩展了Cadence数字设计和signoff套件的创新，支持该公司更广泛的系统设计支持策略，使系统和半导体公司能够更有效地创建完整、差异化的终端产品。

船形开关http://www.cenxn.com