亚洲五月天一区二区三区-日本午夜福利视频在线-日本欧美一区二区不卡免费-日韩深夜视频在线观看

嶄新技術(shù)解決驗(yàn)證痛點(diǎn) | 芯華章向新驗(yàn)證技術(shù)研討會(huì)圓滿舉辦

來(lái)源:芯華章 #芯華章#
7987

7 月 3 日,芯華章向新驗(yàn)證技術(shù)研討會(huì)于上海圓滿舉辦。此次活動(dòng)中,芯華章攜手中興微電子、EDA 國(guó)創(chuàng)中心的技術(shù)專家,與芯片設(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)證?!?/strong>

在芯片開(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é)同,讓用戶在不需要修改驗(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)目中,客戶原本需要一周才能完成的回歸,在采用GalaxSim Turbo 3.0解決方案后,成功將時(shí)間壓縮至40小時(shí)以內(nèi),大幅提高了用戶的驗(yàn)證效率"

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

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

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

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

在實(shí)際驗(yàn)證工作中,大多數(shù)的用戶考慮的并不僅僅是單個(gè)case仿真的速度,而是如何快速的完成整體回歸和覆蓋率收斂,FusionFlex針對(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ù)安全。

某客戶300萬(wàn)Case的大規(guī)?;貧w中,通過(guò)FusionFlex的workerPool回歸模式避免頻繁底層調(diào)度,將單case調(diào)度耗時(shí)從10秒降至1秒以內(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類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模塊類圖與對(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í)以內(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),幫助用戶少走了彎路。"

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

"很多疑問(wèn)當(dāng)場(chǎng)就得到了解答!" "FusionFlex展示了多個(gè)不同的使用場(chǎng)景讓整個(gè)回歸效率提升更高,讓我看到了產(chǎn)品和我們業(yè)務(wù)深度融合的可能性。" "工具不僅展示了效率提升,同時(shí)也把調(diào)試過(guò)程中的'坑'分享出來(lái),幫助用戶少走了彎路。"

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

責(zé)編: 愛(ài)集微
來(lái)源:芯華章 #芯華章#
THE END
關(guān)閉
加載

PDF 加載中...