調試(Debug),是個非常廣泛的話題,讓我先嘗試給它下個定義:
調試指的是在遇到工程問題的時候,通過一些手段來進一步診斷問題原因,探索解決方法,最終使得系統功能正常運行的必要過程。
調試應該說是任何一個工程師解決問題的必備技能,對于芯片驗證工程師來說更是如此。調試通常沒有固定的章法,不可能按照某一個流程步驟就可以解決所有的工程問題,畢竟在實際環境中遇到的問題千差萬別,可能只是你的某一個命令參數敲錯了,可能是RTL邏輯設計上存在bug,也可能是設計規格(Specification)本身就存在紕漏,等等等等。
盡管調試方法不固定,但調試思想還是很一致的,那就是:盡可能的獲取更多的有效信息,并對這些信息做綜合分析。你細品,比如最常用的導出仿真日志(log)或者波形文件,這些方法本身就是為了獲取更多的有效信息,這些信息能夠幫助我們更好地去了解現在RTL的功能行為,幫助我們進一步對問題進行定位。
回到本文主題,本文要介紹的內容就是調試過程中常用的方法和技巧,這些方法的合理應用可以獲得上面說的有效信息,從而提高我們解決問題的效率。而至于如何做信息的綜合分析,需要根據具體場景和經驗才能完成。
方法1:文件和參數索引的建立
之所以把建立文件和參數的索引也說成是調試方法,是因為在面對一個組件繁雜的驗證環境,或者規模龐大的設計的時候,能夠快速地檢查相對應特性的規格文件、配置文件、宏定義、類型定義、參數配置、類原型、函數原型等信息,極有可能就可以解決掉一些低級的錯誤了。
要快速地找到這些有效信息,一方面依賴于工程師對當前驗證環境和設計配置文件的熟悉程度,另一方面可以借助一些工具來找到它們。后者就是本節所要介紹的內容,下面就直接羅列我工作中最常用的一些工具和命令。
- 使用ctags掃描工作目錄,建立基于語法元素的索引,配合Vim可以實現語法元素的快速跳轉。
- 使用meld工具比對目錄或者文件在不同版本之間的差異,功能比gvimdiff強那么一些。
- Windows下使用Listary或者Everything軟件來快速查找本地文件,可以參考《芯片工程師必備軟件神器》。
- Linux下使用grep命令來篩查文件內容,配合管道符“|”可以實現更多級的篩查。
- 掌握一兩門腳本,Python、Perl、Shell等都可以,掌握正則表達式,隨手就可以實現一些小功能。
以上提到的工具和命令,都可以在網上找到大量的教程。如果有時間,我再寫一些小的使用Tip放到公眾號上。
方法2:波形的導出和使用
通過波形可以很直觀地看到RTL隨時間變化的所有行為細節,盡管拉波形看信號變化看多了容易眼睛瞎掉,但不得不承認大多數情況下沒有波形的話問題定位會變得寸步難行。波形文件是仿真過程的副產物,它按照一定的格式將每個仿真事件發生時刻的信號和變量狀態記錄下來,并最終以圖形化的方式呈現出來。
波形文件的格式很多,比如VCD、FSDB、VPD、WLF等等。
- VCD格式應該說是最通用的波形格式,它是SV標準中定義的一種ASCII文件格式,其全稱是Value Change Dump。VCD包含了所有信號的變化信息,它可以被任何EDA調試工具打開。VCD文件可以在testbench中使用SV的內建任務
$dumpfile("name.vcd")
和$dumpvar()
來導出。 - FSDB的全稱是Fast Signal Database,它是原來Novas公司(先被Synopsys收購)的工具Verdi專用的波形格式。在testbench中,可以使用Verilog PLI接口(可以像調用內建函數那樣去調用C/C++函數)調用
$fsdbDumpfile("name.fsdb")
和$fsdbDumpvars(0, top)
去導出。注意,要用著兩個函數需要將Verdi安裝目錄中share/PLI下的相關庫添加到動態鏈接庫路徑($LD_LIBRARY_PATH)中,或者有參數(比如Mentor工具用的-pli)去指定PLI庫的路徑。 - VPD是Synopsys自家定義的波形壓縮格式,叫VCD Plus(這個plus是不是有點似曾相識的感覺),在使用Synopsys VCS工具仿真時可以導出VPD波形,同時也可以使用使用配套的波形瀏覽器DVE(Discovery Visual Environment)去打開波形。VPD波形可以在testbench中使用
$vcdpluson
去導出,在VCS做編譯和仿真的時候需要指定debug能力,比如加參數-debug_all。 - WLF的名字就比較單純,叫Wave Log Format,一看就知道是干啥的。WLF格式是Mentor家(現在屬于SIEMENS)定義的,可以由QuestaSim或者ModelSim仿真工具可以生成和加載。如果你用ModelSim做過實驗,當你打開波形界面,它會在工作目錄下自動生成一個WLF文件。另外Mentor的工具還可以使用命令選項-qwavedb并附加一串選項,可以在仿真過程中生成仿真數據庫文件(simulation database),該文件以.db為后綴,可以當成仿真波形被Visualizer調試工具打開。
以上提到的函數調用在參數上具有很大靈活性,可以指定具體要dump波形的RTL層級、scope范圍甚至指定哪些信號。此外還有其他函數可以用來限制波形文件大小、波形dump開關、導出Memory數據等等。
盡管不同格式的波形文件有以上差異,但在應用的時候大部分情況下取決于你有什么EDA工具可以用,另一方面這些波形格式也有工具可以相互轉化。
仿真波形在使用的時候通常有一些技巧,方便問題的定位和重現,下面列舉幾個常用的:
- 將功能相關的信號分組(group)放在一起,方便做邏輯或協議檢查;
- 可以將多個信號組合成總線信號,或者進行自定義的邏輯運算;
- 為被關注的仿真時刻添加標簽(Mark),方便來回觀看;
- 通過添加標尺可以查看信號事件間距、周期信號頻率、統計信號事件等功能;
- 將常用的狀態信號、總線信號、某個用例調試用的信號等保存成do文件,即將當前波形界面的元素保存下來,方便波形重現;
- 每個人看波形的習慣和方式會有不同,找到自己習慣的方式就可以了;
方法3:仿真日志的導出和使用
仿真日志(常說的log文件)通常是我們查看仿真結果會首先打開的文件。該文件中可以包含整個仿真過程中由編譯器和仿真器打印輸出的各種文本信息,比如當前導入了哪些文件、本次編譯和仿真分別用到了哪些參數、當前DUT的頂層是哪一層、仿真過程中不同時刻的關鍵動作和信息、本次仿真的結果和資源開銷等等。
基于文本的仿真日志記錄和對仿真日志的手動分析看起來是比較低級和低效的,特別是當我們看著仿真日志并順著時間軸試圖去將打印數據和RTL行為關聯起來的時候,簡直苦不堪言。盡管如此,仿真日志的導出和使用仍然在某些時刻起到了基礎性的作用,特別是在UVM將report機制構造健全之后,其作用不可忽視。
SystemVerilog本身在打印信息上有好幾個任務可以用:**display, **write, **strobe, **monitor, 這幾個任務的使用上不完全相同。
- 最常用的是**display,**display可以用來做格式化輸出,格式化方法跟C語言幾乎一致,并且打印完成之后會自動換行。
- write則用的不多,它的功能跟display很接近,區別在于在打印完成之后不會添加換行符,所以適用于想要在一行里輸出多個信息的場景。
- strobe的打印就比較講究了,通過strobe打印的變量值是當前仿真時間槽(time slot)中該變量最后的值,比如對變量A做非阻塞賦值(<=)之后跟著用strobe打印變量值,打印出來的是該變量完成賦值之后的值,而如果用display則是打印出來該變量賦值完全之前的值。
- monitor的功能就跟它的名字一樣,它相當于是在主線程之外開了一個監控線程。當通過monitor打印的變量或者表達式發生改變時,打印的功能就會被觸發,看起來就像是一個有了外部中斷能力的$display。
在UVM的框架里,打印信息被賦予了嚴重性等級(severity)和冗雜等級(verbosity),這在信息控制上提供可很大的便利。
Severity分成了INFO、WARNING、ERROR和FATAL,分別使用宏uvm_info、uvm_warning、uvm_error和uvm_fatal來進行信息打印。
Verbosity等級共分為UVM_NONE、UVM_LOW、UVM_MEDIUM、UVM_HIGH、UVM_FULL、UVM_DEBUG六級,表示信息的冗雜程度由低到高。
- INFO顧名思義就是簡單的狀態信息打印,這些信息并不是必須的,它的verbosity屬性可以通過uvm_info宏的參數來指定。比如當仿真的verbosity設為UVM_DEBUG時,所有uvm_info信息都會被打印出來,仿真日志會顯得非常冗雜;當仿真的verbosity設為UVM_NONE的時候,只有UVM_NONE屬性的uvm_info信息才會被打印出來,仿真日志就看起來簡潔很多。
- WARNING指的是一些警告信息,提示潛在的問題,比如你顯式地調用了某個phase,可能不會影響仿真的繼續,但可能會讓仿真場景不符合預期。WARNING的verbosity默認都是UVM_NONE,因此始終會被打印出來。
- ERROR就是一些錯誤信息,錯誤信息的出現不會使得仿真馬上停止,UVM給我們提供了閾值設置,當錯誤信息的數量達到某個值只有仿真就會自己退出。通常UVM_ERROR的信息被打印出來,我們都需要去把它們都解決掉。ERROR的verbosity等級默認都是UVM_NONE,所以也不要想著用verbosity來屏蔽它。
- FATAL就是一些致命的錯誤,只要一出現仿真就會馬上退出,這種問題同樣必須解決,不解決你連仿真都跑不完。可想而知,這類信息同樣verbosity默認是UVM_NONE,始終會被打印出來。
Verbosity的設置出了直接用仿真參數+UVM_VERBOSITY=UVM_DEBUG來配置,UVM還提供了+uvm_set_verbosity這一非常靈活的參數,具體使用方法這里就不做介紹了。UVM出了這套完備的打印信息控制機制之外,還提供了很多調試宏,比如+UVM_CONFIG_DB_TRACE、+UVM_PHASE_TRACE、+UVM_OBJECTION_TRACE等,用來方便用戶從仿真日志中觀測配置數據庫(configuration database)狀態、phase執行狀態和objection狀態等。
總而言之,信息的打印方法有很多,UVM在report機制上也給到了足夠的控制手段,利用好這些方法,仿真日志將是我們調試用例的利器!關于UVM的議題可以介紹的實在太多,有時間再開這一系列的文章。
-
仿真
+關注
關注
50文章
4048瀏覽量
133431 -
調試
+關注
關注
7文章
574瀏覽量
33900 -
BUG
+關注
關注
0文章
155瀏覽量
15653
發布評論請先 登錄
相關推薦
評論