命令行调用Verdi平台
-
如果没有指定manage.rc资源文件,则库设置从novas.rc资源文件里面load;
-
支持load verilog的压缩文件gzipped(*.gz);
-
如果编译的门级设计因为ECO修改使用了nECO模块,则不能使用-ssy,-ssz和-ssv选项。
命令行使用方法:verdi [General Options] [nTrace Options] [Simulator Options]
[Siloti Options] [Environment Options] [Behavior Analysis Options]
[Power Manager Options]
General/nTrace Options
选项
描述
-2001/+v2k
支持Verilog IEEE 1364-2001命名风格生成块(覆盖语言选项)。不应用IEEE 1364-2005 sec12.4.3 unnamed genblk naming。这个选项只和-sv或-2005使用,它只应用于VCS用户。
-2001genblk
使用Verilog IEEE 1364-2001标准
-2005
支持Verilog IEEE 1364-2005标准。默认应用IEEE 1364-2005 sec12.4.3 unnamed genblk naming
-2009
支持SystemVerilog IEEE 1800-2009标准
-2012
支持SystemVerilog IEEE 1800-2012标准
-h/-hep
打印帮助信息
-nogui
以批量模式运行。要求有效的DISPLAY环境变量。如果没有更多的tcl命令以这种模式执行,Verdi平台自动在三十秒内退出。
-nologo
抑制启动时的欢迎界面,默认到硬件调试界面。欢迎界面通过Help->Welcome命令显示。
-ssc licenseFile
指定license文件的名字
-ssf fastFile(s)/dumpFile(s)/fastFile list(s)
加载FSDB(.fsdb),virtual FSDB(.vf), gzipped FSDB(.fsdb.gz), bzip2 FSDB(.fsdb.bz2), waveform dump(.vcd,.vcd.gz) files 或FSDB file lists(*.flst)。对单一的fsdb文件,一次可以指定1-16个文件。例子:verdi -f run.f -ssf file1.fsdb file2.fsdb…file16.fsdb或verdi -nWave -ssf demo1.fsdb demo2.fsdb demo3.fsdb。对于一个文件清单,必须在这个文件中列出每一个具有绝对路径或相对路径的FSDB或virtual文件在文件中单独的一行。文件数量没有限制。#和;被用来做注释,但是必须将他们放在单独的一行。当使用-ssf指定一个FSDB文件,并且仿真器的类型使在FSDB中指定,仿真器类型是自动设定。
-ssr sessionFile
加载session文件(*.ses)
-ssv
不推荐自动标识在库文件(-v)的库模块作为库cell。注意:在import期间,在Verdi命令行的-ssv