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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FusionFlex：敏捷驗證管理器

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

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

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

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

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

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

Fusion Debug：提升設(shè)計和驗證效率的完整調(diào)試解決方案

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

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

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

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

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

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

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

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

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

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

部分算子證明性能如下：

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

"很多疑問當(dāng)場就得到了解答！"

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

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

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