verdi工具的使用

debussy（verdi之前的Debug工具）
verdi：若想用Verdi观察波形，需要在仿真时生成fsdb文件，而fsdb在vcs或者modelsim中的生成是通过两个系统调用$fsdbDumpfile $fsdbDumpvars来实现的。而这两个系统调用并不是Verilog中规定的，是Verdi以pli(Programming Language Interface)的方式实现的。这就需要让vcs编译时能找到相应的库。
例如：

其中波形文件有以下种类：

生成FSDB波形
使用verdi之前，应配置哪些环境变量（bash使用export，cshell使用setenv）

• $VERDI_HOME/NOVAS_HOME(为设置PATH做准备）
• $PATH（让系统能够找到verdi）
• $LD_LIBRARY_PATH(让系统linux能够找到verdi需要的库文件）

$LD_LIBRARY_PATH目录库文件类似于Windows的dll，包括*.so(共享对象），*.a（静态库）等，库文件还需要*.tab（表格文件）来获取对应的信息。

linux命令

• echo（sed):查询环境变量，如PATH
• which：查询当前软件是否配置成功
• uname:查询当前系统信息，如硬件平台

echo $PATH | sed ‘s/\:/\n/g’//全局使用\:替代\n
echo $LD_LIBRARY_PATH | sed ‘s/\:/\n/g’
which verdi
uname -i 获取硬件平台信息:如硬件平台64bit为x86_64/amd64,32bit平台为i386

两种方法：
（1）使用verilog系统函数

initial begin
    $fsdbDumpfile("top_tb.fsdb");
    $fsdbDumpvars(0,"tob_tb");
end

（2）使用Ucli/Tcl接口（生成fsdb波形）

global env
fsdbDumpfile "$env(demo_fifo).fsdb"
fsdbDumpvars 0 "top_tb"
run

• Synopsys：VCS + Verdi
• Cadence ：irun + Verdi
• Mentor ：Questa + Verdi

com:
    vcs -full64 \
    -sverilog \
    -debug_pp \                                             # 使能UCLI命令
    -LDFLAGS \                                              # 传递参数给VCS的linker，与以下三行配合使用
    -rdynamic \                                             # 指示需加载的动态库，如libsscore_vcs201209.so
    -P ${VERDI_HOME}/share/PLI/VCS/${PLATFORM}/novas.tab \  # 加载表格文件
    ${VERDI_HOME}/share/PLI/VCS/${PLANTFORM}/pli.a \        # 加载静态库
    -f ../${demo_name}/tb_top.f \
    +vcs+lic+wait \
    -l compile.log

sim:
    ./simv \
    -ucli -i ../scripts/dump_fsdb_vcs.tcl \                 # ucli的输入文件（-i）为tcl脚本
    +fsdb+autoflush \                                       # 命令行参数autoflush，一边仿真一边dump波形，如果没有该参数，那么不会dump波形，需要在ucli命令run 100ns后键入fsdbDumpflush才会dump波形
    -l sim.log

debug:
    verdi \
    -sv \                            # 支持sv
    -f ../${demo_name}/tb_top.f \    # 加载设计文件列表
    -top tb_top \                    # 指定设计顶层
    -nologo                          # 关掉欢迎界面
//支持+incdir+xx 设置include文件目录
//+libext+.v 设置库文件后缀
//-v 设置可搜索设计的文件
//-y 设置可搜索设计的目录

 global env                             # tcl脚本引用环境变量，Makefile中通过export定义   
    fsdbDumpfile "$env(demo_name).fsdb"    # 设置波形文件名，受环境变量env(demo_name)控制   # demo_name在makefile中使用export demo_name=demo_fifo  
    fsdbDumpvars 0 "tb_top"                # 设置波形的顶层和层次，表示将tb_top作为顶层，Dump所有层次
    run                                    # 设置完dump信息，启动仿真（此时仿真器被ucli控制） 可以run 100ns会在仿真100ns的时候停下来下来