新一代套件包括 AI 驱动的等价验证、ECO 自动化和低功耗静态签核产品
随着 SoC 设计日益复杂,形式等效性检查面临更大挑战。为此,Cadence 推出了 Conformal AI Studio —— 一套全新的逻辑等效性检查(LEC)、自动化 ECO(Conformal ECO)和低功耗静态签核解决方案。
Conformal AI Studio 结合人工智能和机器学习(AI/ML)技术,可直接满足现代 SoC 团队日益增长的生产力需求。其核心引擎经加速优化,包括分布式低功耗引擎(支持对拥有数十亿实例的设计进行全芯片功耗签核)、全新算法创新以及面向 LEC 和 ECO 解决方案的简化设置和 AI 赋能流程。
借助 Conformal AI Studio 的 ML 驱动的 abort 解决方案,能够解决高级用户当前面临的较为复杂 LEC 问题。Conformal AI Studio 通过优化最先进的实施工具,将设计效率提升 10 倍,ECO 补丁体积缩小 10 倍,处理速度加快 10 倍,并实现最佳的全流程功率、性能和面积(PPA)。
Conformal AI Studio 创新技术涵盖三种核心产品:
● Conformal AI Equivalence —— 支持分布式布尔逻辑等效性检查、AI 仪表板和 ML 驱动的证明引擎。
● Conformal AI ECO —— 自动生成掩膜前后的功能 ECO,创建高质量、高效且可实施的补丁,确保进度的可预测性。
● Conformal AI Low Power —— 使用分布式与层次化流程验证复杂 SoC 中的低功耗电路结构是否符合设计的功耗意图,并执行高效的两个设计的低功耗比较。
率先采用 Conformal AI Studio 的客户表示,该解决方案在基础设施 AI、超大规模计算和移动市场的先进 SoC 中展现出显著优势。
Conformal AI ECO 引入全新 Smart ECO 流程,使早期合作伙伴的运行时间缩短达 10 倍,补丁体积缩小 10 倍。这种创新方法利用 RTL 级信息和全新的布尔“Smart Cut”优化算法来管理具有多层次结构和高级数据路径的设计。此外,AI 驱动的 ECO 补丁方案选择还简化了功能 ECO 的实施,同时提升了实施效率。
尽管 Cadence 致力于确保 Conformal 工具始终与实现无关,但在与 Cadence 数字设计和签核工具配合使用时,可大幅提升流程效率。Genus Synthesis Solution、Joules RTL Power Solution 和 Innovus Implementation System 加上与 Cadence JedAI Solution 和 Cadence Cerebrus Intelligent Chip Explorer 的集成,不仅能够有效降低功耗,还可进一步提升性能。