對于大多數(shù)驗(yàn)證開發(fā)者來說，新一天的工作通常從理解和解決前一天的回歸調(diào)試失敗開始。經(jīng)過一晚的回歸運(yùn)行后，必須進(jìn)行一些常規(guī)步驟。日常任務(wù)包括查詢失敗的測試、重新生成調(diào)試數(shù)據(jù)庫、重新運(yùn)行仿真以獲取更多信息，以及確保不同功能場景和測試模式的正確性等。每個(gè)階段都可能耗費(fèi)大量時(shí)間，有時(shí)需要多次迭代，導(dǎo)致整個(gè)調(diào)試過程不斷延長。

為了應(yīng)對此類挑戰(zhàn)，新一代新思科技Verdi調(diào)試平臺提供了多種功能，有助于避免在不同步驟之間來回切換。不過許多用戶對于重復(fù)仿真的過程仍存在疑問。本文詳細(xì)介紹了驗(yàn)證開發(fā)者在整個(gè)過程中可能要考慮的事項(xiàng)，并解釋了用戶如何在交互模式下利用Verdi功能來減少重復(fù)操作并縮短根本原因分析的時(shí)間。

經(jīng)過一晚的回歸調(diào)試之后，我希望第二天早上調(diào)試文件已準(zhǔn)備就緒

“Verdi Instant Recall”功能對此很有幫助?；貧w運(yùn)行時(shí)，Verdi Instant Recall與新思科技VCS交互，提供調(diào)試信息，以便調(diào)試任何失敗的測試用例。調(diào)試信息包含了所發(fā)生的錯(cuò)誤以及相關(guān)位置，開發(fā)者可借其明確錯(cuò)誤類別和調(diào)試起始位置，而無需手動重新運(yùn)行仿真來生成其他調(diào)試數(shù)據(jù)。

▲ 圖1 新思科技Verdi Instant Recall - 縮短回歸調(diào)試周轉(zhuǎn)時(shí)間（TAT）

在調(diào)試會話期間，我想運(yùn)行“假設(shè)分析”實(shí)驗(yàn)，但又想避免重新編譯和重新運(yùn)行仿真

啟用Verdi交互調(diào)試模式后，用戶可進(jìn)行多項(xiàng)即時(shí)修改，以便在單次仿真中設(shè)置和驗(yàn)證實(shí)驗(yàn)。仿真激勵(lì)、更新隨機(jī)配置和重新隨機(jī)化等調(diào)整需要通過Verdi對單次仿真進(jìn)行假設(shè)分析來完成。此外，Verdi無需依賴于預(yù)先存在的覆蓋率觀察器代碼，便可即時(shí)生成隨機(jī)值的概率分布情況，進(jìn)而直觀地呈現(xiàn)SystemVerilog約束條件解算器求解空間的交互式分析。此功能還支持對激勵(lì)進(jìn)行微調(diào)，以涵蓋一系列需關(guān)注的值，從而加快調(diào)試速度。

在調(diào)試會話期間，我想查看這些值在之前的時(shí)間點(diǎn)是如何變化的，并通過更多的實(shí)驗(yàn)來觀察這些變化

借助Verdi，用戶可通過反向調(diào)試機(jī)制做到這一點(diǎn)。為此，用戶通常要為需關(guān)注的點(diǎn)添加一些調(diào)試仿真斷點(diǎn)并重新啟動仿真，使其及時(shí)在斷點(diǎn)指定的時(shí)間點(diǎn)停下來。在Verdi交互模式下，用戶能夠以超高自由度來控制仿真后退或前進(jìn)到所指定的任何時(shí)間點(diǎn)，比如某個(gè)事件發(fā)生、對象創(chuàng)建或值更改的時(shí)候。

▲ 圖2 新思科技Verdi Instant Recall - 縮短回歸調(diào)試周轉(zhuǎn)時(shí)間（TAT）

此外，這些實(shí)用功能還可以結(jié)合起來，進(jìn)一步加快調(diào)試流程。例如，在使用Instant Recall功能完成回歸分析之后，用戶可以根據(jù)錯(cuò)誤類型選擇失敗的用例，并立即使用所生成的調(diào)試數(shù)據(jù)庫來啟動Verdi進(jìn)行調(diào)試。在調(diào)試過程中，如果需要調(diào)用前一個(gè)時(shí)間點(diǎn)的信號值，可以使用反向調(diào)試功能來找到特定的仿真時(shí)間點(diǎn)。另外，用戶還可以使用不同的配置進(jìn)行重新隨機(jī)化，以此來觀察概率分布。

結(jié)語

正如本文所述，新思科技Verdi調(diào)試平臺的功能非常豐富，有助于提高調(diào)試效率。當(dāng)開發(fā)者早上開始準(zhǔn)備調(diào)試時(shí)，可借助Verdi提供的功能快速投入到工作中。本文分享的所有功能均有助于避免耗時(shí)費(fèi)力的重新編譯和重新仿真工作。充分利用一次仿真，縮短調(diào)試周轉(zhuǎn)時(shí)間！