如何debug SV testbech

1.  fsdbLog

 

2. 设立断点，单步调试

    如何设立条件断点？譬如根据仿真我们知道在第578个transaction时出项错误。一般我们可以在连接generator的下层Xactor中在peek后插入setbp函数。

function void setbp(bit cond_valid); static bpcnt=0; if(cond_valid) begin $dispay("BreakPoint --%0d",bpcnt++); end endfunction 在transactor中调用 in_chan.peek(trans); setbp(trans.data_id==578); //当data_id==578时设立断点 ...  

   

3. 死循环时，在Xactor的main各个 while（1）处添加断点。看看哪个while总是不能进去执行。

 

4. 养成良好的习惯，在每个put前（putting xxx）， get后（got xxx） 用`vmm_debug 打印data_id等有用信息。 在每个notification indicate之前（indicating xxx）以及wait之后（caught xxx）