年度 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”的融合創新，深入產業場景，以可衡量的效率提升與易用性，為行業提供可信賴的工具支撐，賦能中國數字化產業實現更安全、更獨立的高質量發展。