最近bug獵人遇到一個棘手的問題，用VCS跑simulation hang住了。
遇到此類問題，我第一個想到的是去打印一些log看看，比如設置定時打印，調高UVM打印級別等。我在仿真環境里面設置定時打印log的信息，發現hang住之后不會打印了。由此猜測是環境里面存在0延時的死循環，導致仿真無法繼續推前。
VCS提供了ucli可以進行單步調試，如果遇到0延時的死循環，理論上進行單步調試的時候，會循環的執行某一段代碼。但是考慮到可能涉及到的循環邏輯比較多，單純用手工單步調試會非常困難。如果用腳本自動運行幾千行，然后將單步調試的結果保存在log文件中，將非常有助于分析出死循環的代碼。對于這種想法網友已經用tcl腳本實現。讓我們看看網友怎么用loop detect的方式尋找0延時的死循環。- 第三步在ucli界面里面source loop_detect.tcl 這個 tcl文件
Loop_detect.tcl 的文件內容如下
#！/usr/bin/tclsh
proc loop_detect(args) {
set help"-help"
if{[stringequal $args $help] != 1} {
configfollowactivescope on
set i 0;
while {$i< $args} {
run_step
incr i
}
}
else {
puts"Usage: loop_detect <no. of iteration>"
}
}
proc run_step{} {
redirect -floop.txt -a {set x [step]};
redirect -floop.txt -a {set y [scope]};
puts $x;
puts $y;
}
- 第四步在ucli 里面用run {time} 執行到hang住的地方，比如simulation 是在1000ns的地方hang住了，可以用run1000ns 執行到此處。
- 第五步在ucli里面用loop_detect {number of steps} 檢查hang住的原因，比如我用loop_detect 1000 則表示單步執行了1000次，并將每步的結果存在loop.txt 中。然后從loop.txt 中查看是否有0延時的死循環。
我的問題用這種方法尋找到了0延時的死循環邏輯。如果通過上面五步，在loop detect中沒有看到死循環怎么辦，還有其他辦法嗎？這可能需要借助 Verdi和VCS進行聯合仿真了。怎么用Verdi和VCS進行單步調試呢？第一步用 vcs -debug_access+all -kdb -lca進行編譯第二步用 simv -gui=verdi啟動聯合單步調試
通過verdi進行單步調試，讓debug變比較容易。
如果通過Verdi和VCS聯合單步調試還沒發現問題呢？各位同行們還有什么手段,歡迎各位留言討論。
