Conformal AI Studio 可将 SoC 设计师的效率提升 10 倍

电子设计圈 2025-03-20 14:37

新一代套件包括 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 中展现出显著优势。

“联发科打造了业界领先的 SoC,涵盖广泛的应用领域。我们的设计团队需要创新的 EDA 工具,以更快、更轻松、更可靠地提升 PPA。在执行后期阶段功能 ECO 时,这一挑战尤为突出。”联发科硅产品开发副总经理 CW Ko 解释道。“在试用 Cadence Conformal AI Studio 期间,我们取得了显著成果。相较以往的解决方案,全新的 Conformal AI ECO 流程使战术 ECO 补丁体积缩小了 83%,运行时间缩短了近一半。此外,联发科还部署了 Conformal AI Low Power 的快速电源状态表分析增强功能,在运行时间和内存方面实现了超过 100 倍的提升。目前,我们也开始采用 Conformal AI Studio 最新推出的 ML 驱动型 LEC 中止解决方案。”

Conformal AI ECO 引入全新 Smart ECO 流程,使早期合作伙伴的运行时间缩短达 10 倍,补丁体积缩小 10 倍。这种创新方法利用 RTL 级信息和全新的布尔“Smart Cut”优化算法来管理具有多层次结构和高级数据路径的设计。此外,AI 驱动的 ECO 补丁方案选择还简化了功能 ECO 的实施,同时提升了实施效率。

“瑞萨一直在积极测试 Cadence 的新一代 Conformal AI Studio,其结果非常振奋人心。得益于一系列全新 Smart ECO 技术,我们的自动化功能 ECO 流程的运行时间缩短了 50% 以上,同时保持甚至提高了补丁质量;在一项关键 ECO 任务中,运行时间甚至缩短了 90%。”瑞萨电子数字设计和验证总监 Peter Bell 表示。“这些创新大大简化了设置过程,使更多初级工程师能够高效地部署解决方案。我们的团队早早采用了 Conformal AI Studio 的 Cadence JedAI 仪表板,并坚信其跨项目见解将帮助设计人员和管理人员更高效地跟踪其 LEC 任务,以及整个项目过程中的自动化 ECO 运行情况。”

尽管 Cadence 致力于确保 Conformal 工具始终与实现无关,但在与 Cadence 数字设计和签核工具配合使用时,可大幅提升流程效率。Genus Synthesis Solution、Joules RTL Power Solution 和 Innovus Implementation System 加上与 Cadence JedAI Solution 和 Cadence Cerebrus Intelligent Chip Explorer 的集成,不仅能够有效降低功耗,还可进一步提升性能。

“几十年来,Conformal 技术始终是市场上最值得信赖的流程无关 LEC 解决方案,可确保实施工具在不引入硅错误的前提下完成验证工作。然而,设计挑战日益复杂,而 SoC 流片周期却在缩短。”Cadence 高级副总裁兼数字和签核事业部总经理 Chin-Chi Teng 表示。“全新的 Conformal AI Studio 应运而生。新一代完全分布式和多线程核心引擎能够处理当今最复杂的设计,并支持领先的序列优化验证技术,有助提升 PPA。与 Cadence JedAI 大数据平台和 ML 驱动的 Cadence Cerebrus 集成,Conformal AI Studio 可帮助客户将运行时间缩短 5-10 倍,以便在逻辑等效性、ECO 补丁优化以及 SoC 级低功耗静态签核和调试期间实现abort问题解决。”

进一步了解 Conformal AI Studio。

评论 (0)
  • 本文内容来自微信公众号【工程师进阶笔记】,以工程师的第一视角分析了飞凌嵌入式OK3506J-S开发板的产品优势,感谢原作者温老师的专业分享。前两周,有一位老朋友联系我,他想找人开发一款数据采集器,用来采集工业现场的设备数据,并且可以根据不同的业务场景,通过不同的接口把这些数据分发出去。我把他提的需求总结了一下,这款产品方案大概有以下功能接口,妥妥地一款工业网关,在网上也能找到很多类似的产品方案,为啥他不直接买来用?再跟朋友深入地聊了一下,他之所以联系我,是因为看到我在公众号介绍过一款由飞凌嵌入式
    飞凌嵌入式 2025-03-20 11:51 106浏览
  •         在当今电子设备高度集成的时代,电路保护显得尤为重要。TVS管(瞬态电压抑制二极管)和压敏电阻作为一种高效的电路保护器件,被广泛应用于各种电子设备中,用以吸收突波,抑制瞬态过电压,从而保护后续电路免受损坏。而箝位电压,作为TVS管和压敏电阻的核心参数之一,直接关系到其保护性能的优劣。箝位电压的定义        箝位电压指瞬态保护器件(如TVS二极管、压敏电阻)在遭遇过压时,将电路电压限制在安全范围内的
    广电计量 2025-03-20 14:05 79浏览
  • 家电“以旧换新”政策的覆盖范围已从传统的八大类家电(冰箱、洗衣机、电视、空调、电脑、热水器、家用灶具、吸油烟机)扩展至各地根据本地特色和需求定制的“8+N”新品类。这一政策的补贴再叠加各大电商平台的优惠,家电销售规模显著增长,消费潜力得到进一步释放。晶尊微方案为升级换代的智能家电提供了高效且稳定的触摸感应和水位检测功能,使得操作更加便捷和可靠!主要体现在:水位检测1健康家电:养生壶、温奶器、加湿器的缺水保护安全2清洁电器:洗地机、扫地机器人的低液位和溢液提醒3宠物家电:宠物饮水机的缺水提醒/满水
    ICMAN 2025-03-20 15:23 112浏览
  • 近日,保定飞凌嵌入式技术有限公司(以下简称“飞凌嵌入式”)携手瑞芯微电子股份有限公司(以下简称“瑞芯微”)正式加入2025年全国大学生嵌入式芯片与系统设计竞赛(以下简称“嵌入式大赛”),并在应用赛道中设立专属赛题。本次嵌入式大赛,双方选用基于瑞芯微RK3588芯片设计的ELF 2开发板作为参赛平台,旨在通过此次合作,促进产教融合,共同推动嵌入式系统创新人才的培养。全国大学生嵌入式芯片与系统设计竞赛是一项A类电子设计竞赛,同时也是被教育部列入白名单的赛事,由中国电子学会主办,是学生保研、求职的公认
    飞凌嵌入式 2025-03-20 11:53 67浏览
  • 贞光科技代理的品牌-光颉科技高精密薄膜电阻凭借0.01%的超高精度,在AI服务器电源模块中实现了精确电压分配、优化功率因数和减少热损耗,显著提升系统能效和可靠性。在当今的数字时代,人工智能(AI)服务器已成为数据中心的核心。随着AI应用的激增,服务器的性能和能效需求也在不断提高。电源模块作为服务器的关键组件,其性能直接影响整个系统的效率和可靠性。本文将探讨光颉科技高精密薄膜电阻,特别是其0.01%的精度,如何在AI服务器电源模块中提升能效。电源模块在AI服务器中的重要性电源模块负责将输入电源转换
    贞光科技 2025-03-20 16:55 119浏览
  • 如同任何对我们工作方式的改变,新的工作方式必然会遇到许多必须面对的挑战。如果不解决组织在实施精益六西格玛过程中面临的障碍以及如何克服它们的问题,那么关于精益六西格玛的讨论就不算完整。以下列举了组织在成功实施精益六西格玛时常见的几个障碍,以及克服它们的方法:1)对精益六西格玛方法论缺乏理解。抵触情绪通常源于对精益六西格玛方法论的不了解,以及不相信它能真正发挥作用。这种情况在所有层级的人员中都会出现,包括管理层。虽然教育培训可以帮助改善这一问题,但成功的项目往往是打消疑虑的最佳方式。归根结底,这是一
    优思学院 2025-03-20 12:35 79浏览
  • PCIe 5.0应用环境逐步成形,潜在风险却蠢蠢欲动?随着人工智能、云端运算蓬勃发展,系统对于高速数据传输的需求不断上升,PCI Express(PCIe)成为服务器应用最广的传输技术,尤其在高效能运算HPC(High Performance Computing)及AI服务器几乎皆导入了最新的PCIe 5.0规格,使得数据传输的双向吞吐量达到了128GB/s,让这两类的服务器能够发挥最大的效能。不过随着PCIe 5.0的频率达到16GHz,PCB板因为高频而导致讯号衰减加剧的特性,使得厂商面临很
    百佳泰测试实验室 2025-03-20 13:47 80浏览
  • 流感季急诊室外彻夜排起的长队,手机屏幕里不断闪烁的重症数据,深夜此起彼伏的剧烈咳嗽声——当病毒以更狡猾的姿态席卷全球,守护健康的战争早已从医院前移到每个人的身上。在医学界公认的「72小时黄金预警期」里,可穿戴设备闪烁的光芒正穿透皮肤组织,持续捕捉血氧浓度、心率变异性和体温波动数据。这不是科幻电影的末日警报,而是光电传感器发出的生命预警,当体温监测精度精确到±0.0℃,当动态血氧检测突破运动伪影干扰……科技正在重新定义健康监护的时空边界。从智能手表到耳机,再到智能戒指和智能衣物,这些小巧的设备通过
    艾迈斯欧司朗 2025-03-20 15:45 132浏览
  • 为有效降低人为疏失导致交通事故发生的发生率,各大汽车制造厂及系统厂近年来持续开发「先进驾驶辅助系统」ADAS, Advanced Driver Assistance Systems。在众多车辆安全辅助系统之中,「紧急刹车辅助系统」功能(AEB, Autonomous Emergency Braking)对于行车安全性的提升便有着相当大的帮助。AEB透过镜头影像模块与毫米波雷达感测前方目标,可在发生碰撞前警示或自动刹车以降低车辆损伤以及乘员伤害。面临的挑战以本次分享的客户个案为例,该车厂客户预计在
    百佳泰测试实验室 2025-03-20 15:07 77浏览
  • 4月8-11日,第91届中国国际医疗器械博览会(CMEF)将在国家会展中心(上海)举办。这场全球瞩目的医疗科技盛宴以“创新科技,智领未来”为主题,旨在全方位展示医疗科技的最新成果,与来自全球的行业同仁一道,为全球医疗健康领域带来一场科技与商贸交融的产业“盛宴”。飞凌嵌入式作为专业的嵌入式技术解决方案提供商,一直致力于为医疗器械行业提供丰富的、高可靠性的嵌入式硬件主控解决方案。届时,飞凌嵌入式将为来自全球的观众带来适用于IVD、医疗影像、生命体征监测等医疗设备的嵌入式板卡、显控一体屏产品以及多款动
    飞凌嵌入式 2025-03-20 11:46 33浏览
  • 全球领先的光学解决方案供应商艾迈斯欧司朗(SIX:AMS)近日宣布,凭借AS1163独立智能驱动器(SAID)成为中国领先的智能集成系统产品汽车制造商宁波福尔达智能科技股份有限公司(“福尔达”)环境动态照明应用的关键供应商。此次合作标志着汽车技术发展的一个重要时刻,充分展现了AS1163在优化动态照明应用系统成本方面的多功能性和先进性能。该产品支持传感器集成,拥有专为车顶照明设计的超薄外形,并能提升车内照明系统的性能。AS1163是一款先进的智能LED驱动器,能够与开放系统协议(OSP)网络无缝
    艾迈斯欧司朗 2025-03-20 14:26 81浏览
我要评论
0
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦