近日，芯華章向新驗證技術研討會于上海圓滿舉辦。此次活動中，芯華章攜手中興微電子、EDA 國創中心的技術專家，與芯片設計、系統級公司的驗證工程師們齊聚一堂，聚焦 “驗證痛點攻堅” 與 “產品真實案例”，深度開展技術交流，呈現驗證技術探索中的創新進展與實踐思考。

從技術創新到價值共創

中興微電子IC驗證經理商思航

國產工具正穩步追趕，初期在小場景應用中或許存在差距，但定制化開發與深度服務能力已構建起獨特優勢——它們絕非簡單的替代品，而是直擊實際痛點的“戰友”。

中興微電子IC驗證經理商思航在現場分享時提到，在實際項目里，GalaxFV能夠快速精準查找出一個模塊的約束沖突，這是競品工具難以實現的。針對某一模塊，優化約束后，驗證總耗時僅15小時，而第三方工具則需32小時。可見，經定制化服務及算法優化，驗證速度與效率實現大幅提升。

此外，中興微電子攜手芯華章聯合研發，達成基于大語言模型（LLM）的SVA生成及比對。真實項目實測表明，通過prompt優化與模型優化，Pass@1、Pass@5和Pass@10指標均取得顯著提升。

EDA國創中心江哲教授

國家集成電路設計自動化技術創新中心江哲教授，分享了EDA國創團隊推出的數字芯片驗證大模型ChatDV：“ChatDV首創iModel、iSVA、iTest 和 iDebug 大模型，我們構建的智能驗證框架通過iTest生成UVM測試平臺，iSVA自動生成SVA斷言，采用芯華章GalaxSim高性能邏輯仿真工具用于大模型生成代碼的仿真驗證，以及GalaxFV形式化驗證工具實現閉環驗證。”

在芯片開發過程中，功能驗證過程占據60%的綜合成本與開發周期，而 ChatDV 為這一過程帶來了新一代基于大模型的智能化、敏捷化革新。

產品矩陣“快、準、穩、狠”展現驗證實力

GalaxSim：高性能、高精度的數字仿真器

今年芯華章圍繞 “快、準、穩、狠” 四大核心需求升級 GalaxSim 仿真器，在設計規模爆炸式增長的挑戰下實現關鍵突破。在“快”的維度，GalaxSim聚焦性能，推出了全新的GalaxSim Turbo 3.0解決方案。

創新性的實現了事件級仿真引擎和周期級仿真引擎的智能協同，讓用戶在不需要修改驗證環境的情況下，大幅提高了仿真并行度。同時引入一系列內建優化技術，實現了相比傳統仿真十倍以上的性能提升。

芯華章軟件研發總監葛健達現場演示表示:"在實際項目中，客戶原本需要一周才能完成的回歸，在采用GalaxSim Turbo 3.0解決方案后，成功將時間壓縮至40小時以內，大幅提高了用戶的驗證效率"

GalaxSim產品在性能上不斷增加技術積累，新發布的GalaxSim版本無論在編譯還是仿真的性能上相比上一代都有很大的提升。

尤其在用戶關心的SDF反標后仿上，架構上的優化帶來了明顯的效率提升。從整體上來說，新一代GalaxSim的性能在各方面已經達到業界領先水平。

同時，GalaxSim在工具質量和用戶體驗上下足功夫，提供了一系列解決方案來方便用戶實現驗證流程的加速。

FusionFlex：敏捷驗證管理器

在實際驗證工作中，大多數的用戶考慮的并不僅僅是單個case仿真的速度，而是如何快速的完成整體回歸和覆蓋率收斂，FusionFlex針對回歸中的每個case特性動態地合理配置不同資源大小，最大化壓榨服務器的資源，在有限的集群資源下提高回歸效率。

芯華章軟件研發總監任義龍分享時指出，FuisonFlex以“狠”字訣實現回歸效率和硬件加速器使用率提升，主要解決兩大問題：

第一，是在芯片驗證過程中，我們怎么樣去高效地管理回歸。

第二，是如何有效地監控和管理昂貴的內部加速器并提高其使用率，以及如何配合仿真工具使用，從而提升整個回歸效率。

FusionFlex通過三大模塊重構回歸管理流程：Manager 模塊支持驗證計劃與覆蓋率追蹤，Optim 模塊通過動態隊列調度將集群資源利用率從60% 提升至 75%，云端模塊實現編譯后文件上云計算，保障數據安全。

某客戶300萬Case的大規模回歸中，通過FusionFlex的workerPool回歸模式避免頻繁底層調度，將單case調度耗時從10秒降至1秒以內，結合自動重跑與資源配置優化，使整體回歸周期縮短30%。

Fusion Debug：提升設計和驗證效率的完整調試解決方案

在仿真器的“準”字上，第一方面是我們的波形和覆蓋率結果它需要非常準確，第二其實就是我們的Debug工具，這需要有非常精準的方法去幫助我們定位在仿真當中遇到的問題。

而芯華章的目標是做一款懂驗證工程師的Debug產品，Fusion Debug 2503版本實現全鏈路性能突破：波形加載速度提升2倍，設計效率提升3.5倍，全新Trace引擎使信號溯源性能提升5倍。

新增的Glitch Trace功能可一鍵定位多驅動導致的毛刺根源，X態追蹤功能可以自動分析未初始化信號等7類X態成因。

"某內存控制器案例中，X態追蹤功能能夠一鍵定位到未初始化信號問題。"芯華章軟件研發總監陳鶴現場演示時強調。

該工具深度集成UVM Debug模塊類圖與對象可視化能力，支持通過Protocol Analyzer定制協議調試界面；功耗分析新增Power Trace功能，可追蹤功耗變化的原因并通過Power Mask屏蔽電源噪聲干擾，構建起從功能驗證到功耗分析的全場景調試能力。

GalaxEC-HEC：高階等價性驗證工具

在聚焦AI芯片、GPU、CPU等場景的數據通路驗證，GalaxEC-HEC作為特定領域形式化驗證工具，支持C/C++算法模型與RTL實現的事務級等價性比對，可完備驗證定點/浮點運算單元以及脈動陣列等復雜計算設計。

在某XPU項目中，該工具對所有算子實現全證明，較傳統方案節省9倍人力。其中64位浮點乘法證明耗時200秒，32位除法通過拆分為200+子公式實現10分鐘內完備驗證。

更關鍵的是，工具在某超越函數驗證中發現了傳統正向驗證方法難以覆蓋的Corner Bug。通過Assume-Guarantee和Case Splitting分治算法，可將64位SRT除法等復雜算子的證明時間從一周壓縮至24小時以內。

芯華章高級研發總監劉軍強調："在數據通路驗證中，我們曾用一個月時間完成復雜脈動陣列的完備形式化證明，這是傳統方法難以企及的效果。

部分算子證明性能如下：

在活動茶歇與現場演示環節的交流中，我們也收到來自參會者熱情分享體驗：

"很多疑問當場就得到了解答！"

"FusionFlex展示了多個不同的使用場景讓整個回歸效率提升更高，讓我看到了產品和我們業務深度融合的可能性。"

"工具不僅展示了效率提升，同時也把調試過程中的'坑'分享出來，幫助用戶少走了彎路。"

從用戶需求中來，到用戶場景中去。我們將持續打磨產品，用更成熟的技術，為每一位用戶提供更貼合實際場景的解決方案。