转自:https://blog.csdn.net/bcs_01/article/details/79803304
转自:https://blog.csdn.net/wonder_coole/article/details/79618696
1.VCS的仿真选项分编译(compile-time)选项和运行(run-time)选项,同时本文增加了调试选项。
1.1 VCS常用的编译选项
选项 |
说明 |
-assert dumpoff | enable_diag | filter_past |
定义SystemVerilog断言(SVA) dumpoff:禁止将SVA信息DUMP到VPD中 enable_diag:使能SVA结果报告由运行选项进一步控制 filter_past:忽略$past中的子序列 |
-cm |
指定覆盖率的类型,包括:line(行覆盖)、cond(条件覆盖)、fsm(状态机覆盖)、tgl(翻转率覆盖)、path(路径覆盖)、branch(分支覆盖)和assert(断言覆盖)。 如果包括两种或以上的覆盖率类型,可用“+”,如-cm line+cond+fsm+tgl |
-cm_assert_hier |
将SVA覆盖率统计限定在文件列表中指定的module层次。 |
-cm_cond |
进一步细化条件覆盖率的统计方式,包括:basic,std,full,allops,event,anywidth,for,tf,sop等选项。 |
-cm_count |
在统计是否覆盖的基础上,进一步统计覆盖的次数 |
-cm_dir |
指定覆盖率统计结果的存放路径,默认是simv.cm |
-cm_hier |
指定覆盖率统计的范围,范围在文件中定义,可以指定module名、层次名和源文件等。 |
-cm_log |
指定仿真过程中记录覆盖率的log文件名 |
-cm_name |
指定保存覆盖率结果的文本文件的名称 |
-cm obc |
使能可观察(observed)覆盖率的编译。传统的覆盖率跟功能的正确性毫无关联,可观察覆盖率通过设置观察点,一定程度上将代码行覆盖率与功能正确性关联起来。 |
-comp64 |
在64-bit模式下对设计进行编译,并生成32-bit格式的可执行文件用于32-bit模式仿真 |
-debug 或 -debug_all |
使能UCLI命令行 |
-e |
指定PLI应用时main()程序的名称 |
-f |
指定文件列表的文件名,文件中可包括源代码文件的路径和名称,也可以包括编译选项参数 |
-file filename |
类似于-f,但文件内容更灵活,可以包含PLI选项和对象文件,可以使用转义字符等 |
-full64 |
在64-bit模式下编译,生成64-bit模式仿真的可执行文件 |
-h or -help |
列举常用的编译选项和运行选项的参数 |
-I |
交互模式的编译,让VCS自动包括+cli,-P virsims.tab选项,并支持VirSim后处理模式下生成VCD+文件。 |
-ID |
显示及其的hostid或dongle ID |
-ignore |
屏蔽SV中unique/priority型的if或case语句的告警信息,参数包括:unique_checks、priority_checks、all。 |
-j |
设定并行编译的进程数,“j”后面没有空格 |
-l |
指定记录VCS编译和运行信息的log文件名 |
-line |
使能VriSim中的单步运行 |
-lmc-swift |
使能LMC SWIFT接口 |
-Mdir= |
指定一个目录让VCS存储编译产生的文件,默认是csrc |
-Mlib= |
指定一个目录让VCS搜索某个模块是否需要重新编译。 与-Mdir配合,可以实现不同模块的增量编译。 |
-Mmakeprogram= |
指定用于make对象的程序,默认是make |
-Mupdate[=0] |
默认情况下,VCS编译时会覆盖上次编译生成的makefile。如果想保留上次的makefile,使用-Mupdate=0;如果不带=0,则进行增量编译,并覆盖上次的makefile。 |
-noIncrComp |
关闭增量编译 |
-notice |
显示详细的诊断信息 |
-ntb |
使能ntb(Native TestBench),支持OpenVera验证平台语言结构。 |
-o |
指定编译生成的可执行文件的名称,默认是simv |
-timescale= |
源代码文件中有的包括`timescale编译指令,有的不包括,如果在VCS命令行中,不包括`timescale的源代码文件在最前面,VCS会停止编译。使用-timescale选项为这些在前面且又没有`timescale的源文件指定timescale |
-override_timescale= |
让源文件统一使用指定的timescale |
-P |
指定PLI表文件 |
-pvalues+ |
改变指定参数的值 |
-parameters |
通过文件的方式改变参数的值,参数的路径和改变的值均在文件中定义 |
-q |
安静模式,屏蔽VCS的编译信息 |
-R |
在编译之后立即执行产生的可执行文件 |
-s |
刚开始仿真时即停止,一般与-R和+cli配合使用 |
-V |
使能verbose模式 |
-v |
指定verilog库文件 |
-y |
指定verilog库路径 |
+libext+ |
让VCS在verilog库路径下搜索指定的扩展名文件,与-y配合 |
-vera |
指定标准的Vera PLI表文件和对象库 |
+acc+1|2|3|4 |
使能PLI中的ACC(PLI 1.0的一种方式) |
+cli+[ |
使能CLI调试功能 |
+autoprotect[ |
生成一个加密的源文件 |
+protect[ |
生成一个加密的源文件,只加密`protect/`endprotect部分 |
+putprotect+ |
指定加密文件存放的目录 |
+csdf+precompile |
在VCS编译源代码时预先SDF文件 |
+define+ |
定义一个文本宏,与源文件中的`ifdef配合 |
+error+ |
将编译时运行的NTB错误增加到N |
+incdir+ |
指定VCS搜索`include指令使用的包含文件的目录,可以用“+”定义多个目录。 |
+maxdelays |
使用SDF文件中的max值 |
+mindelays |
使用SDF文件中的min值 |
+typdelays |
使用SDF文件中的typ值 |
+nbaopt |
删除非阻塞赋值语句中的延时 |
+neg_tchk |
使能时序检查中的负延时 |
+nospecify |
屏蔽specify块中的路径延时和时序检查 |
+notimingcheck |
屏蔽specify块中的时序检查 |
+nowarnTFMPC |
屏蔽编译时的“Too few module port connections”告警信息 |
+no_notifier |
屏蔽一些时序检查系统任务中定义的notifier寄存器的翻转(toggling),但不影响时序violation的报告 |
+no_tchk_msg |
屏蔽时序检查的告警信息,但不关闭时序检查时notifier寄存器的翻转(toggling) |
+optconfigfile+ |
指定Radiant技术和二态仿真用到的配置文件名 |
+prof |
让VCS在仿真过程中生成一个vcs.prof文件,记录设计中最耗CPU时间的module、层次和verilog结构 |
+race |
让VCS在仿真过程中生成一个race.out文件,记录设计中所有的竞争冒险 |
+radincr |
增量编译时使能Radiant技术 |
+sdf_nocheck_celltype |
SDF反标时不检查SDF文件中的CELLTYPE的一致性 |
+sdfverbose |
显示SDF反标时的详细告警和错误信息 |
+v2k |
支持Verilog-2001标准 |
+vc[+abstract][+allhdrs][+list] |
使用DirectC接口时,使能verilog直接调用C/C++函数 |
+vcs+flush+log |
加速编译仿真时log文件缓存的刷新频率 |
+vcs+flush+all |
+vcs+flush+log,+vcs+flush+dump和+vcs+flush+fopen的集合 |
+vcs+initmem+0|1|x|z |
初始化设计中所有存储器的值 |
+vcs+initreg+0|1|x|z |
初始化设计中所有寄存器的值 |
+vcs+lic+wait |
一直等待license |
+vpi |
使能VPI |
+warn=[no]ID|none|all,... |
使能或关闭告警信息 |
1.2 VCS常用的运行选项
选项 |
说明 |
-a |
将仿真显示的log信息附件在指定文件尾部 |
-E |
执行指定的程序用来显示生成simv可执行文件时VCS使用的编译选项 |
-i |
指定一个VCS执行仿真时包含CLI命令的文件,一般与-ucli配合 |
-k |
指定一个文件,用来记录VCS仿真过程中的CLI和VirSim交互命令,默认是vcs.key,off选项是关闭记录。 |
-sverilog |
支持SystemVerilog |
-ucli |
使能UCLI命令 |
-vcd |
指定VCD波形文件名,默认是verilog.dump,会被源代码文件中的$dumpfile覆盖 |
+vcs+learn+pli |
追踪当前仿真的ACC选项,记录在pli_learn.tab文件中,下次仿真时可以用+applylearn来重新编译。 |
+vcs+nostdout |
关闭所有$monitor和$display的文本输出,但依然会记录在-l的log文件中。 |
+vera_load= |
定义Vera对象文件 |
+vera_mload= |
定义一个包括多个Vera对象文件的文本文件 |
1.3 VCS调试模式常用选项
选项 |
说明 |
-RI |
编译完成之后马上启动VirSim,进入交互模式 |
-RIG |
不编译,启动VirSim使用已有的可执行文件,进入交互调试模式。 |
+sim+ |
指定使用的可执行文件名,与-RIG配合 |
-RPP |
运行后处理(Post-Processing)模式:启动VirSim,使用VCD+文件 |
-PP |
支持在源代码文件中调用$vcdpluson生成VPD文件 |
+cfgfile+ |
定义一个VCS使用的已建好的场景配置文件 |
+vslogfile[+ |
保存一个VirSim命令的log文件,默认是VirSim.log |
2.VCS/VCSMX 一般仿真步骤
VCS仿真可以分成两步法或三步法, 对Mix language, 必须用三步法。仿真前要配置好synopsys_sim.setup文件,里边有lib mapping等信息。设置环境变量'setenv SYNOPSYS_SIM_SETUP /xxx/xxx/synopsys_sim.setup'. VCS对应的waveform工具有DVE和Verdi, DVE因为是原生的,所以VCS对DVE非常友好。但DVE已经过时了,其对uvm等新feature支持的不好。Verdi是Debussy公司的产品,现在已被Synopsys收购并着力发展,说以Verdi是未来的潮流。但由于其原来是Synopsys第三方产品,所以VCS对其支持并不是很友好。 如果要支持Verdi,需要设置好NOVAS_LIB_PATH的环境变量,并且在命令行中添加-kdb的option,knowledge database(kdb)是VCS支持Verdi时的重要概念。另外,VCS支持vpd和fsdb两个格式的dump wave。 fsdb的文件相对比较小。
Step 1: analysis verilog/system verilog/VHDL;
命令例子:
vlogan -kdb -work DEFAULT [rtl.defs] -f filelistname -l logfilename +incdir+include_dir_name top.v //对verilog file 进行analysis
vlogan -kdb -sverilog +define+SVA_OFF -work DEFAULT -f vlog.flist -l logfilename.log //对systemverilog进行analysis
vhdlan -kdb -vhdl87 -full64 -work $VCS_LIB -f VHDL87_FILELIST -l vhdl87.log //对VHDL87进行analysis
vhdlan -kdb -93 -full64 -work $VCS_LIB -f VHDL93_FILELIST -l vhdl93.log //对VHDL93进行analysis
Step 2: Elaboration
命令例子:
vcs -kdb -lca -noIncrComp +lint=TFIPC-L +lint=PCWM -debug_all -P /xxx/synopsys/verdi/xxxxxx/novas_new_dumper.tab /xxx/synopsys/verdi/xxx/pli.a top_module_name -l elab.log -Mdir=/xxx/incr_compile -o /xxx/simv
Step 3: Run simulation
命令例子:
simv +FSDBDUMP +FSDBFILE=xxx.rtl.fsdb +PLUSSEED +seed=146123456 -l /xxx/xxx.sim.log
simv +VPDDUMP +VPDFILE=xxx.rtl.fsdb +PLUSSEED +seed=146123456 -l /xxx/xxx.sim.log
在仿真中产生coverage database
1. 在analysis step不需要做特殊处理(vlogan/vhdlan)
2. 在elaboration step需要添加这些option:
“-cm line+cond+fsm+tgl+branch -cm_linecontassign -cm_cond allops+anywidth+event -cm_noseqconst -debug_all”
3. 在simulation step添加这些option:“-cm line+cond+fsm+tgl+branch”
仿真产生的coverage data会放在simv.vdb目录下,用“dve -covdir *.vdb”会以GUI形式打开
coverage 相关命令
产生coverage report的命令
urg -lca -dir -format -log -report
例如:
urg -lca -dir simv.vdb -format text -log urg.log 在默认的report目录urgReport产生各个metrics(line/fsm/branch/condition)的报告
urg -lca -dir simv.vdb -metric line+fsm -format text -log urg.log 只产生line和fsm的报告
urg -lca -dir simv.vdb -format text -log urg.log –show summary
coverage merge的命令
urg -lca -f -map -format text -log -dbname -report
例如:
urg -lca -f urgfile -map dut_name -format text -log coverage.log -dbname merged_simv -report merged_coverage
urg -lca -dir simv1.vdb simv2.vdb -map dut_name -format text -log coverage.log -dbname merged_simv -report merged_coverage