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

從技術創(chuàng)新到價值共創(chuàng)

中興微電子IC驗證經(jīng)理商思航

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

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

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

EDA國創(chuàng)中心江哲教授

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

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

產品矩陣“快、準、穩(wěn)、狠”展現(xiàn)驗證實力

GalaxSim：高性能、高精度的數(shù)字仿真器

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

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

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

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

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

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

FusionFlex：敏捷驗證管理器

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

部分算子證明性能如下：

在活動茶歇與現(xiàn)場演示環(huán)節(jié)的交流中，我們也收到來自參會者熱情分享體驗：

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

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

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

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