驱动之家 前天
国产EDA反击!芯华章推出自主数字芯片验证AI大模型:开发效率提升10多倍
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

快科技 6 月 5 日消息,美国突然掐断了国产芯片的 EDA 供应,Cadence、Synopsys、西门子三大厂全部被迫停止供应,不过这也是美国再次 " 助攻 " 国产科技行业,国产 EDA 厂商迎来了新机遇。

面向国家在集成电路 EDA 领域的重大需求,芯华章携手全国首家集成电路设计领域国家级创新中心—— EDA 国创中心,共同推出具有完全自主 IP 知识产权的、基于 LLM ( 大语言模型 ) 的数字芯片验证大模型 ChatDV。

目前,ChatDV 已经开放免费试用。

芯华章已经在系统级验证领域建立起完整的数字验证全流程工具链,拥有超 200 件专利申请,服务包括芯擎科技、黑芝麻、燧原科技、飞腾、中科院软件所、天数智芯、芯来科技、加特兰微电子、鲲云科技、曦智科技等数十家业内知名企业。

EDA 国创中心审慎评估后,选用芯华章 GalaxSim 高性能逻辑仿真工具,用于大模型生成代码的仿真验证,选用 GalaxFV 形式化验证工具,用于针对故障代码的反例数据收集,通过深度融合 AI 技术与设计验证,革新了传统芯片验证各个环节的工作模式。

据悉,芯华章 GalaxSim 在性能上已经和国际主流仿真器相当,并原生支持鲲鹏、飞腾等国产服务器,且已在多个基于 ARM 平台的国产构架上测试通过。

在深度融合项目实践中,芯华章与中兴微电子、EDA 国创中心合作发布《LLM based SVA Generation with Formal Evaluation》、《Automated SVA Generation with LLMs》,并成功入选 2025 DVCon China 论文。

这些研究成果锚定 AI 驱动验证技术前沿,既深入解析复杂断言生成系统如何借助 LLM 实现效率突破的技术细节,也全面探讨国产大模型在 EDA 领域规模化应用的方法论,为行业贡献了可复用的技术路径与实践参考。

基于芯华章验证技术,ChatDV 能够自动完成断言 SVA、测试向量 TB、参照模型 Reference Model 的生成,以及 RTL 代码错误自动调试,使芯片开发效率提升超过 10 倍,验证成本降低 10 倍。

在 NVIDIA 等学术与工业级测试中,ChatDV 表现卓越,在 300 多个基准上实现语法纠错率 100%,功能纠错率 83%。

另外,芯华章与中兴微电子联合研发基于 LLM 的 SVA 生成,打造出具有差异化优势产品 GalaxFV,解决在高性能处理器芯片设计中,复杂时序逻辑的手工编写耗时耗力、容易因边界条件遗漏导致验证漏洞的问题。

在中兴微的项目实测中,GlaxyFV 展现出了强大的场景适配能力,而且复杂断言开发效率提升 40%以上,原本需要 3 天的调试周期缩短至数小时。

EDA 国创中心,即国家集成电路设计自动化技术创新中心,是国家科技部 2022 年 12 月批准成立的我国集成电路设计领域首个国家级技术创新中心,聚焦下一代 EDA 技术突破,以 " 智能 EDA ——计算一切电路 " 为理念,合成海量集成电路设计数据,研制电路生成专用工具,创新基于 AI 大模型的集成电路设计新范式。

另外,EDA/IP 龙头企业上海合见工业软件也免费开放了关键产品试用与评估服务。

首期可免费申请试用的软件包括:

数字验证 EDA:

国产首款高性能数字验证仿真器 UniVista Simulator(简称 UVS)

国产自主一站式开放调试平台 UniVista Debugger(简称 "UVD")

虚拟原型设计与仿真工具套件 UniVista V-Builder/vSpace

DFT 全流程:

国产可测性设计(DFT)全流程平台 UniVista Tespert(BSCAN、MBIST、ATPG、DIAG、YIELD)

系统级设计软件:

国产首款高端大规模 PCB 设计平台 UniVista Archer(包含一体化 PCB 设计环境 UniVista Archer PCB 和板级系统电路原理设计输入环境 UniVistaArcher Schematic)

合见工软现有产品已覆盖数字芯片 EDA 工具、系统级工具及高端 IP,是国内唯一一家可以完整覆盖数字芯片验证全流程,同时提供先进工艺高速互联 IP 的国产 EDA 公司。

同时,合见工软的客户数量已超过 200 家,服务国内绝大多数高端芯片设计企业,对数字大芯片公司关键项目的支持经验丰富,EDA 软件经过了诸多实际项目的打磨迭代,技术支持服务团队水平过硬,快速支撑国产高端芯片设计需求,目标全面解决核心卡脖子问题。

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

ai 中兴 飞腾 芯片 美国
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论