對于大多數(shù)驗(yàn)證開發(fā)者來說,新一天的工作通常從理解和解決前一天的回歸調(diào)試失敗開始。經(jīng)過一晚的回歸運(yùn)行后,必須進(jìn)行一些常規(guī)步驟。日常任務(wù)包括查詢失敗的測試、重新生成調(diào)試數(shù)據(jù)庫、重新運(yùn)行仿真以獲取更多信息,以及確保不同功能場景和測試模式的正確性等。每個階段都可能耗費(fèi)大量時間,有時需要多次迭代,導(dǎo)致整個調(diào)試過程不斷延長。
為了應(yīng)對此類挑戰(zhàn),新一代新思科技Verdi調(diào)試平臺提供了多種功能,有助于避免在不同步驟之間來回切換。不過許多用戶對于重復(fù)仿真的過程仍存在疑問。本文詳細(xì)介紹了驗(yàn)證開發(fā)者在整個過程中可能要考慮的事項(xiàng),并解釋了用戶如何在交互模式下利用Verdi功能來減少重復(fù)操作并縮短根本原因分析的時間。
經(jīng)過一晚的回歸調(diào)試之后,我希望第二天早上調(diào)試文件已準(zhǔn)備就緒
“Verdi Instant Recall”功能對此很有幫助?;貧w運(yùn)行時,Verdi Instant Recall與新思科技VCS交互,提供調(diào)試信息,以便調(diào)試任何失敗的測試用例。調(diào)試信息包含了所發(fā)生的錯誤以及相關(guān)位置,開發(fā)者可借其明確錯誤類別和調(diào)試起始位置,而無需手動重新運(yùn)行仿真來生成其他調(diào)試數(shù)據(jù)。
▲ 圖1 新思科技Verdi Instant Recall - 縮短回歸調(diào)試周轉(zhuǎn)時間(TAT)
在調(diào)試會話期間,我想運(yùn)行“假設(shè)分析”實(shí)驗(yàn),但又想避免重新編譯和重新運(yùn)行仿真
啟用Verdi交互調(diào)試模式后,用戶可進(jìn)行多項(xiàng)即時修改,以便在單次仿真中設(shè)置和驗(yàn)證實(shí)驗(yàn)。仿真激勵、更新隨機(jī)配置和重新隨機(jī)化等調(diào)整需要通過Verdi對單次仿真進(jìn)行假設(shè)分析來完成。此外,Verdi無需依賴于預(yù)先存在的覆蓋率觀察器代碼,便可即時生成隨機(jī)值的概率分布情況,進(jìn)而直觀地呈現(xiàn)SystemVerilog約束條件解算器求解空間的交互式分析。此功能還支持對激勵進(jìn)行微調(diào),以涵蓋一系列需關(guān)注的值,從而加快調(diào)試速度。
在調(diào)試會話期間,我想查看這些值在之前的時間點(diǎn)是如何變化的,并通過更多的實(shí)驗(yàn)來觀察這些變化
借助Verdi,用戶可通過反向調(diào)試機(jī)制做到這一點(diǎn)。為此,用戶通常要為需關(guān)注的點(diǎn)添加一些調(diào)試仿真斷點(diǎn)并重新啟動仿真,使其及時在斷點(diǎn)指定的時間點(diǎn)停下來。在Verdi交互模式下,用戶能夠以超高自由度來控制仿真后退或前進(jìn)到所指定的任何時間點(diǎn),比如某個事件發(fā)生、對象創(chuàng)建或值更改的時候。
▲ 圖2 新思科技Verdi Instant Recall - 縮短回歸調(diào)試周轉(zhuǎn)時間(TAT)
此外,這些實(shí)用功能還可以結(jié)合起來,進(jìn)一步加快調(diào)試流程。例如,在使用Instant Recall功能完成回歸分析之后,用戶可以根據(jù)錯誤類型選擇失敗的用例,并立即使用所生成的調(diào)試數(shù)據(jù)庫來啟動Verdi進(jìn)行調(diào)試。在調(diào)試過程中,如果需要調(diào)用前一個時間點(diǎn)的信號值,可以使用反向調(diào)試功能來找到特定的仿真時間點(diǎn)。另外,用戶還可以使用不同的配置進(jìn)行重新隨機(jī)化,以此來觀察概率分布。
結(jié)語
正如本文所述,新思科技Verdi調(diào)試平臺的功能非常豐富,有助于提高調(diào)試效率。當(dāng)開發(fā)者早上開始準(zhǔn)備調(diào)試時,可借助Verdi提供的功能快速投入到工作中。本文分享的所有功能均有助于避免耗時費(fèi)力的重新編譯和重新仿真工作。充分利用一次仿真,縮短調(diào)試周轉(zhuǎn)時間!
-
仿真
+關(guān)注
關(guān)注
50文章
3972瀏覽量
132965 -
調(diào)試
+關(guān)注
關(guān)注
7文章
551瀏覽量
33763 -
新思科技
+關(guān)注
關(guān)注
5文章
775瀏覽量
50191 -
Verdi
+關(guān)注
關(guān)注
0文章
22瀏覽量
8741
原文標(biāo)題:仿真一次就夠了!如何避免耗時又費(fèi)力的重新編譯和重新仿真?
文章出處:【微信號:Synopsys_CN,微信公眾號:新思科技】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
評論