Vivado調用Questa Sim或ModelSim仿真中存在的一些自動化問題的解決方案。

Vivado調用Questa Sim仿真中存在的一些問題

首先說明一下Modelsim與Questa Sim都可以與Vivado聯調，也比較相似，但是Questa Sim比Modelsim功能更加廣泛，對于System Verilog的語法支持更加完善，本文以Questa Sim為例說明一下Vivado調用第三方仿真軟件查看波形的過程中存在的一些問題。

1、添加新的觀測信號需要重新仿真

Vivado直接調用Modelsim/QuestaSim進行仿真時，波形文件里默認只會出現仿真最頂層中包含的信號，若此時將仿真運行一段時間后，想要查看其他模塊信號波形時，需要重新仿真或者運行do XXX_simulate.do方可。

在這個工程中，我們調用Questa Sim進行仿真，可以看到頂層模塊會自動跑100ns。

此時，我們若想查看l_ethernet_0_pkt_gen_mon這個模塊的波形時，直接進入波形界面進行添加，結果如圖3所示。

圖3 QuestaSim仿真波形

從圖3中可以看到，當模塊的信號被添加進來后，已經運行過的仿真時間內，新加入的信號沒有仿真結果。

2、修改邏輯代碼后，需要重新調用仿真器

在代碼調試過程中，修改部分邏輯代碼后（不包括IP核），如果想要查看修改后工程的仿真結果，需要關閉當前的仿真器，從vivado中重新調用方可。其原因是vivado在生成XXX_compile.do文件時，會在其末尾自動添加“quit -force”語句，而更改了相應的代碼文件后，我們需要執行“do XXX_compile.do”命令重新編碼整個庫，然而在運行此文件時，當前的仿真器會被強制退出。

解決方案

為了解決上述問題，同時更加方便使用，本文使用TCL語言，編寫了一個較為方便的do文件，其可以實現如下功能：

1、對XXX_compile.do自動修改

對XXX_compile.do自動修改，去除其末尾的“quit -force”，并生成新的compile.do文件，其對應的源代碼如下：

set filename ［glob *_compile.do］

set content ［open $filename r+］

set row 0while {?。踖of $content］} {

incr row

gets $content line

set list（$row） $line

}

close $contentset filename2 “compile.do”;

set content ［open $filename2 w+］

for {set i 1} {$i 《= $row} {incr i} {

if {?。踫tring match “quit -force” $list（$i）］} {

puts $content $list（$i）

}

};

close $content

2、使用“log -r /*”命令

該命令可以讓modelsim/Questa Sim在進行仿真中，對所有信號同步進行仿真，從而解決新加入的觀測信號沒有仿真結果的問題；

3、保證仿真器不退出

當修改工程中的邏輯代碼（不含IP核）后，只需要運行該do文件，其自動進行編譯和仿真，且使用修改后的compile.do文件，保證仿真器不退出，其對應的源代碼如下：

set filename compile.do

do $filenameset filename ［glob *_simulate.do］

do $filenamelog -r /*

restart -force

run 1ms

例程

在使用該do文件之前，需要首先通過vivado調用modelsim/ questasim，然后將do文件拷貝到工程對應的behave文件夾下。仍以工程為例，當修改了代碼內部分邏輯后，在QuestaSim的transcrip界面，輸入命令do auto_update_sim.do即可自動重新編譯、仿真，結果如圖4所示（默認仿真時間設置為1ms）

圖4 QuestaSim仿真波形

添加了l_ethernet_0_pkt_gen_mon這個模塊，可以發現仿真過的時間內同樣有仿真結果，如圖5所示。

圖5 QuestaSim仿真波形

完整源碼

set filename ［glob *_compile.do］

set content ［open $filename r+］

set row 0while {！［eof $content］} {

incr row

gets $content line

set list（$row） $line

}

close $contentset filename2 “compile.do”;

set content ［open $filename2 w+］

for {set i 1} {$i 《= $row} {incr i} {

if {?。踫tring match “quit -force” $list（$i）］} {

puts $content $list（$i）

}

};

close $content

set filename compile.do

do $filename

set filename ［glob *_simulate.do］

do $filename

log -r /*

restart –force

run 1ms

編輯：jq