一、Verdi 功能

• 查看設計
• debug
• Verdi不能自己產生波形

二、Verdi使用流程

1、Verdi環境配置

.bashrc中配置

export Verdi_HOME=$Synopsys_Dir/Verdi2015
#export NOVAS_HOME=$Synopsys_Dir/Verdi2015
export PATH=$Verdi_HOME/bin:$PATH
export LD_LIBRARY_PATH="/opt/Synopsys/Verdi2015/share/PLI/lib/linux64"$PATH
export LD_LIBRARY_PATH="/opt/Synopsys/Verdi2015/share/PLI/VCS/linux64"$PATH
//設置為verdi的安裝目錄

2、VCS產生Verdi波形

·tb文件中加入相應的系統函數

initial begin
$fsdbDumpfile("fifo.fsdb");
$fsdbDumpvars(0);
end

·makefile中加入相應的選項

#************parameter input*************#※prepare the source list file and then make add the soucefile name#for example ,the Verilog source file's name is vlog_list.f then :make norsim src_list=file_list src_list = simsimv_name = simv vpdpluse_name = vcdpluse cov_file_name = coverage vdb_name = $(simv_name)#************constant command************ #compile
NOR_VCS = vcs -full64 -sverilog +v2k -timescale=1ns/1ns??????????? \
-debug_all                                        ?????????????????\?????????????  
+notimingcheck???????????????????????????????????                  \
+nospecify???????????????????????????????????????                  \
+vcs+flush+all???????????????????????????????????                  \
-o $(simv_name)??                                                  \ 
-l compile.log?                                                    \
-f $(src_list).f#coverage compile switch
COV_SW = -cm line+cond+fsm+branch+tgl#verdi dump wave compile option
VERDI_SW = -P /opt/Synopsys/Verdi2015/share/PLI/VCS/linux64/novas.tab \
/opt/Synopsys/Verdi2015/share/PLI/VCS/linux64/pli.a#run option
RUN_GUI = -R -gui -l run.log
RUN_VPD = -R +vpdfile+$(vpdpluse_name).vpd -l run.logRUN_COV = -R $(COV_SW) -cm_name $(vdb_name) -cm_dir ./$(cov_file_name) -l run.log RUN_VER = -R +fsdb+autoflush -l run.log#************command***********************
#normally sim
norsim:
$(NOR_VCS) $(RUN_GUI)#post-process
postsim:
$(NOR_VCS) $(RUN_VPD) dve -vpd $(vpdpluse_name).vpd#coverage
covsim:
$(NOR_VCS) $(COV_SW) $(RUN_COV) dve -covdir $(cov_file_name).vdb#verdi
versim:
$(NOR_VCS) $(VERDI_SW) $(RUN_VER) verdi -sv -f $(src_list).f -ssf *.fsdb -nologo#rm
clr:
rm -rf *csrc ./*.daidir $(simv_name) *simv* DVE* ucli* *.vpd *.vdb *.log *.fsdb *novas* *.dat *Log *rc *conf

3、Verdi使用

1.打開Verdi

1. verdi -nologo
2. makefile 命令

2.nTrace使用

• 查看包含的設計架構

• 查尋模塊實例化的位置

①在設計結構中雙擊實例化模塊的名字->源代碼窗口高亮了模塊名
②再雙擊高亮的模塊名->看到在上層模塊中的哪一行被調用了

• 在nTrace中查找模塊和信號
• 
• 查尋字符串

• 查看驅動信號相關

? ??? ? ?

3.nSchema使用

• 查看原理圖

• 顯示原理圖各信號名

RTL級

• 在當前的層次中查找某個信號

• 使用Fan-In Cone追蹤某個信號的驅動邏輯

①首先要用上面的辦法來查找信號
②調用該工具：

• 產生partial hierarchy schematic

用來查看與選擇特定信號有關的邏輯/模塊
①選擇需要查看的信號（可以通過shift鍵來選擇多個信號）

4.nState使用

• 查看狀態機視圖？

• 查看狀態的執行語句和轉移條件

• 查看某個狀態的執行次數

5.nWare使用

• 添加波形到nWave

①我們要打開.v文件
②打開nWave然后打開.fsdb波形文件

③正式添加波形：
-快捷鍵G或者：

-在nTrace中選中信號后，鼠標中鍵拖拽，或者ctrl+w進行添加