【ZiDongHua 之“设计自动化”标注关键词：芯华章 高质量发展 EDA 集成电路 】
 

　　喜报！芯华章形式验证平台斩获“IC风云榜”年度AI优秀创新奖

 
　　年度 AI 优秀创新奖
 
 
　　在“2026半导体投资年会暨IC风云榜颁奖典礼”上，芯华章科技作为本次获奖名单中唯一的EDA企业，以深度融合AI技术的“低门槛、高效率”形式验证平台，成功斩获 “年度 AI 优秀创新奖”。
 
　　该奖项旨在表彰具备显著技术创新性与市场竞争力的AI产品，此次获奖标志着芯华章在“AI+EDA”领域的前沿探索与深度融合再次获得行业认可。
 
 
　　芯华章联席CEO谢仲辉表示：“过去大家都晓得形式验证用得好能提高效率，但使用门槛高，芯华章很荣幸能够与飞腾、中兴微等伙伴一起用AI降低验证门槛，让不管有没有深厚技术背景的工程师，都能用上好用的工具，这也是我们一直坚持的‘技术平权’的理念。”
 
　　当前，AI 芯片定制化已成为产业发展核心趋势，为提升计算效率、适配浮点运算、AI 算子等特定应用场景，设计者常对RISC-V等传统处理器指令进行扩展定制，新增专属硬件指令，虽能显著提升芯片性能，却加剧了芯片设计验证的复杂性。
 
　　GalaxEC HEC针对这一产业难题，芯华章GalaxEC HEC以AI大模型技术为核心驱动力给出了针对性解决方案，搭配全新推出的 RV-APP (RISC-V 指令级 C++ 模型套件)，提供兼具“完备性、效率、易用性”的一体化解决方案，增强了用户导入形式化验证方法学进行验证提效的信心。
 
　　目前，新客户平均1周即可完成工具部署与典型中低端难度算子验证上手，不再需要深厚的形式化背景即可快速上手，有效解决了AI芯片、XPU等定制化设计中复杂算子的验证难题。
 
　　这一易用性带来的效率提升，在飞腾某国产CPU项目中得到了量化印证：在未增加人力的情况下，实现了将近9倍于项目1算子数量的证明。
 
 
　　SVA而针对验证工程师在编写复杂SystemVerilog断言时面临的耗时与易错挑战，芯华章与中兴微电子一起研发了基于大语言模型的智能SVA生成工具。
 
　　该工具在实际应用中，将复杂断言开发效率提升40%以上，直接将工程师从重复性劳动中解放出来，大幅度提升了整体验证代码的质量与产出效率。
 
　　GalaxFV面向超大规模芯片验证的深度与完备性需求，芯华章GalaxFV依托自主研发的字级建模方法将百万行代码高效转化为数学模型进行求解，内置的AI动态智能调度系统就像“智慧控制中心”般为不同验证问题智能匹配最优策略，并结合分布式计算实现“分而治之”，从容应对当今最复杂的芯片验证难题。
 
　　基于GalaxFV的技术底座，芯华章还和国家集成电路设计自动化技术创新中心联手，推出具有完全自主知识产权的基于LLM的数字芯片验证大模型ChatDV。
 
　　其采用芯华章GalaxSim高性能逻辑仿真工具用于大模型生成代码的仿真验证，以及GalaxFV形式化验证工具实现闭环验证，形成了供应链安全所需的 “国产能力互证与支撑”。
 
　　从解决验证痛点，到参与构建国产创新生态，芯华章的每一步都根植于真实的产业与用户需求。
 
　　未来，芯华章将继续聚焦“AI+EDA”的融合创新，深入产业场景，以可衡量的效率提升与易用性，为行业提供可信赖的工具支撑，赋能中国数字化产业实现更安全、更独立的高质量发展。