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軟件經過了諸多實際項目的打磨迭代，技術支持服務團隊水平過硬，快速支撐國產高端芯片設計需求，目標全面解決核心卡脖子問題。