beat365:验证无界·智算未来:国创团队全球首发芯片验证大模型
作者:beat365发布时间:2025-03-27
2
25
祥龙辞岁,金蛇纳福。开年伊始,国家集成电路设计自动化技术创新中心(以下简称“EDA国创中心”)在南京扬子江会议中心成功举办了以 “智能 EDA 计算一切电路” 为主题的成果发布会。本次发布会采用线上与线下相结合的方式,吸引了众多行业专家参会,共同见证了 EDA 国创中心取得的最新成果beat365中国官方网站。
ChatDV正式发布
发布会上,来自东南大学和EDA国创中心的王翕博士、江哲博士团队,正式面向全球推出数字芯片验证大模型ChatDV,标志着国创中心在芯片领域的又一首创成果问世。
图1. ChatDV成果标识
面对日益凸显的芯片设计验证难题,团队依托国创中心搭建的先进 EDA 算力集群,提出了运用大模型赋能芯片验证的创新构想,借助生成式人工智能技术来加速验证流程。经过近一年的精心打磨与持续迭代,团队成功打造出拥有完全自主知识产权的数字芯片自动化验证平台 ChatDV。该平台有望为业界开创出新一代敏捷验证范式。
图2. ChatDV团队瞄准验证痛点,首创验证大模型智能体
Reimagining the Verification
据王翕博士介绍,ChatDV 能够端到端地覆盖数字芯片验证的各个环节。它首创了 iModel、iSVA、iTest 和 iDebug 大模型,这些模型涵盖了参照模型生成、SVA 生成、测试用例生成以及设计纠错等多个关键环节。在芯片开发过程中,功能验证过程占据了 60% 的综合成本与开发周期,而 ChatDV 为这一过程带来了新一代基于大模型的智能化、敏捷化革新。
图3. ChatDV芯片验证大模型成果套件
经过包括英伟达在内的多项学术和工业级测试,ChatDV平台展现出卓越性能,在超过500个基准上,ChatDV实现了语法纠错率100%,功能纠错率83%,与当前最好的通用大模型相比最高可提升4~5倍,整体芯片开发效率提升超过10倍,其关键技术成果更是荣获有着EDA领域奥斯卡之称的顶级会议IEEE DAC 2024年度最佳论文提名。此外,围绕 ChatDV 的其他相关创新成果,已发表 10 余篇高水平论文,获得国内外同行一致认可。
为进一步展示 ChatDV 的能力,江哲博士进行了产品现场演示,向与会者详细分享了验证大模型验证工具的使用流程与应用效果。活动通过线上与线下相结合的方式随机抽取观众提出测验任务,在多个工业级设计案例中,ChatDV 成功展示出其在方案设计、错误改进和验证方面的准确与高效。这一演示获得了参会嘉宾的高度关注与热烈反响,受到观众的一致好评。在后续的圆桌论坛上,现场嘉宾与团队成员围绕相关技术和应用展开了深入的交流与探讨。
图4. 发布会现场展示ChatDV的自动验证能力
Shaping the Future
向

来
验证无界、智算未来,依托国创中心,团队实现了产学研一体化的快速转化。截至发稿日,ChatDV及配套产品能力已在多家头部用户中进行了测试或应用,为芯片设计生态注入自主智能的新动力。
风劲帆满、奋楫潮头,团队将不断深化对芯片设计自动化的精准理解,持续赋能新一代智能EDA,以ChatDV为起点,基于AI大模型设计新一代智能EDA工具,引领芯片开发的智能化行业革命和高质量发展!
点击阅读原文,查看完整发布会直播回放