国产EDA在反击！芯华章助力EDA国创中心打造数字芯片验证大模型

面向国家在集成电路EDA领域的重大需求，芯华章携手全国首家集成电路设计领域国家级创新中心——EDA国创中心，针对日益突出的芯片设计验证痛点，强强联手，共同推出具有完全自主知识产权的基于LLM的数字芯片验证大模型ChatDV。

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

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

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

芯华章与中兴微电子联合研发基于大语言模型（LLM）的SVA生成，打造出具有差异化优势产品GalaxFV，解决在高性能处理器芯片设计中，复杂时序逻辑的手工编写耗时耗力、容易因边界条件遗漏导致验证漏洞的问题。在中兴微的项目实测中，该系统展现出强大的场景适配能力，且复杂断言开发效率提升40%以上，原本需要3天的调试周期缩短至数小时。

在深度融合项目实践中，芯华章与中兴微电子、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倍。在英伟达等学术与工业级测试中，ChatDV表现卓越，在超300个基准上实现语法纠错率100%，功能纠错率83%。

对芯华章而言，AI带来的机遇远不止于工具层面的突破，更在于与客户建立深度协同、实现价值共创的契机。未来，芯华章将持续提供更加高效、可靠的验证解决方案，携手合作伙伴，让芯片验证EDA成为国产差异化优势领域。

关于EDA国创中心

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