國產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技術發源地、產品示范地和人才匯聚地。 |