驗(yàn)證開發(fā)者大約把三分之一的時間都用于提高驗(yàn)證覆蓋率以發(fā)現(xiàn)缺陷的任務(wù)上。而隨著芯片變得愈加龐大而復(fù)雜，這項(xiàng)任務(wù)也變得更加繁重。如果開發(fā)者處理的是Multi-Die設(shè)計(jì)，那么為確保芯片按預(yù)期功能運(yùn)行，所需的時間和工作量將呈指數(shù)增長。因此，為了解決日益嚴(yán)峻的調(diào)試難題并提高驗(yàn)證流程的整體效率，新思科技利用創(chuàng)新和超融合技術(shù)，打造出了新一代Verdi調(diào)試和驗(yàn)證管理平臺。

當(dāng)前的主要挑戰(zhàn)在于，許多調(diào)試解決方案，需要人為介入才能找出故障的根本原因。毫無疑問，自動化可以減輕這方面的負(fù)擔(dān)，而如果自動化再由AI增強(qiáng)，那么效果將更加顯著。事實(shí)上，AI正在幫助設(shè)計(jì)、驗(yàn)證和測試等，各個芯片開發(fā)階段提高效率。此外，隨著電子設(shè)計(jì)自動化流程中引入智能化，芯片設(shè)計(jì)質(zhì)量明顯提高。

調(diào)試過程需要細(xì)致耐心，結(jié)果可能難以預(yù)測，非常適合利用AI驅(qū)動實(shí)現(xiàn)提升。新思科技的新一代Verdi平臺增加了AI驅(qū)動的調(diào)試功能和全面的驗(yàn)證管理功能，非常分布式團(tuán)隊(duì)開展協(xié)作。本文將介紹Verdi平臺推出的新功能，如何幫助MediaTek等公司將調(diào)試效率提高10倍。

造成調(diào)試復(fù)雜性增加的因素有哪些？

為了滿足AI、高性能計(jì)算和自動駕駛車輛等應(yīng)用對性能的苛刻需求，如今的芯片從十億門級SoC到領(lǐng)域?qū)Ｓ眉軜?gòu)和Multi-Die系統(tǒng)，規(guī)模不斷擴(kuò)大，復(fù)雜程度也不斷增加。調(diào)試過程不僅受到芯片規(guī)模的影響，也受到功能和最終目標(biāo)應(yīng)用的影響。例如，小型設(shè)計(jì)可能包含數(shù)千個不同的并行高級傳輸，以仿真特定條件。在這類情形中，要想排查錯誤，需要檢查并行事件，以找出存在問題的分支。在最終應(yīng)用方面，需要從結(jié)構(gòu)上定位要關(guān)注的信號。因此，調(diào)試解決方案應(yīng)能夠跨越設(shè)計(jì)的不同抽象層級（RTL級和門級等）正確理解功能，以便正確評估問題，在適當(dāng)?shù)那闆r下，還要提供硬件與軟件交互的同步視圖，從而打造更高效的調(diào)試體驗(yàn)。

考慮到要分析的信號量，運(yùn)行成千上萬次仿真和測試來驗(yàn)證設(shè)計(jì)也不足為奇。當(dāng)然，此類情況會生成大量數(shù)據(jù)以供分析，通常涉及手動分類和排序過程，以確定問題是源于設(shè)計(jì)本身，還是源于測試平臺。為能夠運(yùn)行此類仿真并生成所需的報(bào)告，許多開發(fā)者依賴團(tuán)隊(duì)內(nèi)部開發(fā)的腳本，但這些腳本通常難以擴(kuò)展或復(fù)用。

要找出故障的根本原因，還需要借助額外的手動操作：查看分類報(bào)告和日志文件中的故障消息以確定從哪里入手，檢查波形并追溯電路，有時還要依賴團(tuán)隊(duì)中“bug殺手”的專業(yè)技能。遺憾的是，面對迫在眉睫的半導(dǎo)體開發(fā)人才短缺，加上如今的分布式團(tuán)隊(duì)模式，這些手動方法不僅難以擴(kuò)展，而且對實(shí)現(xiàn)高效率也沒有幫助。通過采用批處理模式lint檢查等技術(shù)，開發(fā)者固然可以在開發(fā)伊始防止一些錯誤的發(fā)生，但從一開始就沒有錯誤的設(shè)計(jì)幾乎是不可能的，因此開發(fā)者只能寄希望于提高調(diào)試過程的效率。

更智能、更高效的調(diào)試方法

新一代Verdi平臺重新設(shè)計(jì)的圖形用戶界面（GUI）、AI驅(qū)動的調(diào)試功能、驗(yàn)證管理功能和集成設(shè)計(jì)環(huán)境，是分布式團(tuán)隊(duì)的理想選擇。該平臺提供如下功能：

查看仿真運(yùn)行結(jié)果，并提取關(guān)于哪些測試通過、哪些測試失敗的信息。憑借分檔技術(shù)和智能功能，該平臺還能夠識別錯誤是位于設(shè)計(jì)中，還是在測試平臺中。

查看散熱不同的代碼更改并提供評估，因?yàn)殄e誤通常由特定的測試用例觸發(fā)，并一波一波的或周期性出現(xiàn)。這種決策樹功能檢查代碼更改方式提供的見解，有助于發(fā)現(xiàn)錯誤關(guān)聯(lián)性，并為分析錯誤根本原因鋪平道路

在了解錯誤發(fā)生在哪里后，該平臺能夠進(jìn)行回溯并通過分析電路，來識別造成異常行為的原因。通過檢查錯誤發(fā)生的原因，Verdi平臺能夠幫助提高工作效率（特別是縮短找到錯誤所需的時間）和設(shè)計(jì)質(zhì)量（通過提高錯誤檢測準(zhǔn)確性）。

新一代Verdi平臺中包括新思科技Euclide集成開發(fā)環(huán)境，以及基于新思科技VCExecution Manager的驗(yàn)證回歸管理系統(tǒng)。其中，前者可實(shí)時識別復(fù)雜設(shè)計(jì)與測試平臺入口錯誤，而后者可管理設(shè)計(jì)驗(yàn)證過程中的規(guī)劃和運(yùn)行回歸測試、數(shù)據(jù)收集、報(bào)告和跟蹤。整個系統(tǒng)支持使用Verdi平臺或網(wǎng)絡(luò)瀏覽器，通過安全網(wǎng)絡(luò)查看相關(guān)結(jié)果。動態(tài)生成且可擴(kuò)展的決策樹，支持構(gòu)建與共享知識庫，以促進(jìn)提高調(diào)試效率。

總結(jié)

驗(yàn)證開發(fā)者都希望能夠高效且快速地完成設(shè)計(jì)調(diào)試。自動化有助于解決調(diào)試過程中的一些痛點(diǎn)，從而節(jié)省時間與精力。通過將AI集成到自動化調(diào)試工具中，效率將得到進(jìn)一步提升。新一代Verdi平臺具有AI驅(qū)動的調(diào)試和驗(yàn)證管理功能，可幫助開發(fā)者提高錯誤檢測和根本原因分析的效率與準(zhǔn)確性。它再次展示了AI與EDA的結(jié)合如何幫助開發(fā)者實(shí)現(xiàn)芯片設(shè)計(jì)一次成功。

審核編輯：劉清