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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FusionFlex：敏捷驗(yàn)證管理器

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

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

第一，是在芯片驗(yàn)證過(guò)程中，我們?cè)趺礃尤ジ咝У毓芾砘貧w。

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

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

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

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

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

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

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

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

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

GalaxEC-HEC：高階等價(jià)性驗(yàn)證工具

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

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

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

芯華章高級(jí)研發(fā)總監(jiān)劉軍強(qiáng)調(diào)："在數(shù)據(jù)通路驗(yàn)證中，我們?cè)靡粋€(gè)月時(shí)間完成復(fù)雜脈動(dòng)陣列的完備形式化證明，這是傳統(tǒng)方法難以企及的效果。

部分算子證明性能如下：

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

"很多疑問(wèn)當(dāng)場(chǎng)就得到了解答！"

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

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

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