最近遇到一個(gè)棘手的問題，用VCS跑simulation hang住了。

遇到此類問題，我第一個(gè)想到的是去打印一些log看看，比如設(shè)置定時(shí)打印，調(diào)高UVM打印級(jí)別等。我在仿真環(huán)境里面設(shè)置定時(shí)打印log的信息，發(fā)現(xiàn)hang住之后不會(huì)打印了。由此猜測(cè)是環(huán)境里面存在0延時(shí)的死循環(huán)，導(dǎo)致仿真無法繼續(xù)推前。

VCS提供了ucli可以進(jìn)行單步調(diào)試，如果遇到0延時(shí)的死循環(huán)，理論上進(jìn)行單步調(diào)試的時(shí)候，會(huì)循環(huán)的執(zhí)行某一段代碼。但是考慮到可能涉及到的循環(huán)邏輯比較多，單純用手工單步調(diào)試會(huì)非常困難。如果用腳本自動(dòng)運(yùn)行幾千行，然后將單步調(diào)試的結(jié)果保存在log文件中，將非常有助于分析出死循環(huán)的代碼。對(duì)于這種想法網(wǎng)友已經(jīng)用tcl腳本實(shí)現(xiàn)。讓我們看看網(wǎng)友怎么用loop detect的方式尋找0延時(shí)的死循環(huán)。

第一步用vcs -debug_all 編譯文件。

第二步用simv -ucli 執(zhí)行文件

第三步在ucli界面里面source loop_detect.tcl 這個(gè) tcl文件

Loop_detect.tcl 的文件內(nèi)容如下

#！/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 "

}

}

proc run_step{} {

redirect -floop.txt -a {set x [step]};

redirect -floop.txt -a {set y [scope]};

puts $x;

puts $y;

}

第四步在ucli 里面用run {time} 執(zhí)行到hang住的地方，比如simulation 是在1000ns的地方hang住了，可以用run1000ns 執(zhí)行到此處。

第五步在ucli里面用loop_detect {number of steps} 檢查hang住的原因，比如我用loop_detect 1000 則表示單步執(zhí)行了1000次，并將每步的結(jié)果存在loop.txt 中。然后從loop.txt 中查看是否有0延時(shí)的死循環(huán)。

我的問題用這種方法尋找到了0延時(shí)的死循環(huán)邏輯。如果通過上面五步，在loop detect中沒有看到死循環(huán)怎么辦，還有其他辦法嗎？這可能需要借助 Verdi和VCS進(jìn)行聯(lián)合仿真了。怎么用Verdi和VCS進(jìn)行單步調(diào)試呢？

第一步用vcs -debug_access+all -kdb -lca進(jìn)行編譯

第二步用 simv -gui=verdi啟動(dòng)聯(lián)合單步調(diào)試

通過verdi進(jìn)行單步調(diào)試，讓debug變比較容易。

如果通過Verdi和VCS聯(lián)合單步調(diào)試還沒發(fā)現(xiàn)問題呢？各位同行們還有什么手段,歡迎各位留言討論。

審核編輯：劉清