芯华章联合EDA国创中心发布自主知识产权数字芯片验证大模型ChatDV
发布时间:2025-6-6 09:32
发布者:eechina
国产EDA领军企业芯华章科技与全国首家集成电路设计领域国家级创新中心——国家集成电路设计自动化技术创新中心(简称“EDA国创中心”)联合宣布,正式推出基于大语言模型(LLM)的数字芯片验证大模型ChatDV。该模型具备完全自主知识产权,通过AI技术深度赋能芯片验证全流程,实现开发效率提升超10倍、验证成本降低10倍的突破性进展,标志着国产EDA在智能化验证领域迈入全球第一梯队。 技术突破:AI+EDA深度融合,覆盖验证全链路 ChatDV以芯华章自主研发的数字验证全流程工具链为底层引擎,集成高性能逻辑仿真工具GalaxSim、形式化验证工具GalaxFV及等价性验证工具GalaxEC,形成从RTL代码生成、断言(SVA)自动编写、测试向量(TB)生成到错误调试的端到端解决方案。其核心创新包括: 智能断言生成(iSVA):基于LLM技术自动生成复杂时序逻辑断言,解决传统手工编写耗时且易遗漏边界条件的问题。在中兴微电子的实测中,复杂断言开发效率提升40%以上,调试周期从3天缩短至数小时。 参照模型自动生成(iModel):通过AI生成高精度参照模型,减少人工建模工作量,提升验证覆盖率。 测试向量优化(iTest):结合形式化验证与仿真技术,自动生成高效测试用例,覆盖传统方法难以触及的极端场景。 智能调试(iDebug):实现RTL代码错误的自动定位与修复,语法纠错率达100%,功能纠错率达83%。 在英伟达等学术与工业级测试中,ChatDV在超300个基准上表现卓越,验证效率较传统工具提升10倍以上,验证成本降低10倍,为国产高端芯片设计提供“降本增效”的核心支撑。 战略协同:国家级创新平台赋能,产学研深度融合 EDA国创中心作为科技部批准的集成电路设计领域首个国家级技术创新中心,聚焦“智能EDA——计算一切电路”理念,联合芯华章、飞腾、中兴微电子等产业链龙头,构建从基础研究到产业落地的完整生态。此次合作中: 芯华章提供底层工具链与AI算法能力,其GalaxSim性能已与国际主流仿真器相当,并原生支持鲲鹏、飞腾等国产服务器架构。 EDA国创中心依托专用算力平台与海量集成电路设计数据,推动大模型在验证场景中的规模化应用。 中兴微电子作为产业端代表,联合发布《LLM based SVA Generation with Formal Evaluation》等研究成果,入选2025 DVCon China论文,为行业贡献可复用的技术路径。 三方合作还催生了多项创新成果: GalaxFV-LLM框架:针对高性能处理器芯片设计,通过AI自动生成形式化验证断言,减少人工干预,提升验证完备性。 GalaxEC-HEC高阶等价性验证工具:在飞腾国产CPU项目中,实现双精度乘加算子证明时间从89小时降至11小时,验证效率提升9倍。 产业影响:国产EDA突围,破解“卡脖子”难题 当前,全球EDA市场长期被Cadence、Synopsys、西门子垄断,国产芯片设计企业面临工具链断供风险。ChatDV的推出,不仅填补了国产AI驱动验证工具的空白,更通过自主IP构建技术护城河: 客户覆盖广泛:芯华章已服务芯擎科技、黑芝麻、燧原科技、飞腾等数十家业内知名企业,验证工具链经过大规模项目打磨。 生态开放共赢:ChatDV已开放免费试用,并支持与国产服务器、IP核的深度适配,加速构建自主可控的EDA生态。 技术标准引领:研究成果入选国际顶级会议论文,推动国产EDA技术从“跟跑”向“领跑”转变。 未来展望:AI驱动验证革命,共筑“中国芯”未来 芯华章董事长兼CEO王礼宾表示:“ChatDV的发布是国产EDA智能化转型的里程碑。未来,我们将持续深化与EDA国创中心、产业伙伴的合作,推动AI技术在设计、验证、制造等全链条的渗透,让芯片验证成为国产EDA的差异化优势领域。” EDA国创中心主任时龙兴教授指出:“ChatDV的落地验证了‘产学研用’协同创新模式的可行性。中心将继续聚焦下一代智能EDA技术,与芯华章等企业共同攻克先进工艺适配、异构集成验证等难题,支撑我国集成电路产业高质量发展。” 关于芯华章科技 芯华章科技成立于2020年,专注于系统级验证EDA解决方案,已推出数字仿真、形式化验证、智能验证、原型验证等全流程工具链,拥有超200件专利申请,服务客户覆盖CPU、GPU、AI芯片等高端领域。 关于EDA国创中心 EDA国创中心由东南大学牵头,联合南京江北新区、国内EDA龙头企业、高校及科研院所共建,聚焦EDA共性技术、智能化EDA技术及先进制造工艺相关EDA技术的攻关,致力于打造EDA技术发源地、产品示范地和人才汇聚地。 |
网友评论