Synopsys VCS仿真编译选项
程序员文章站
2024-03-21 17:41:10
...
VCS仿真编译选项
1. 扩展选项
2. 自带编译选项
1. 扩展选项
- +vcs+line+wait：一直等待license。
- +maxdelays/+mindelays：使用SDF文件中最大延时/最小延时，maxdelay直接影响建立关系，mindelay直接影响保持关系。
- +nbaopt：删除非阻塞赋值语句中的延时。
- +neg_tchk：使能时序检查中的负延时。
- +nospecify:屏蔽路径延时和时序检查。
- +notimingcheck：不进行时序检查。
- +prof：在vcs仿真过程中生成vcs.prof文件，记录设计中最耗cpu时间的模块。
- +race：在vcs仿真过程中生成race.out文件，记录设计中所有的竞争冒险。
- +sdf_nocheck_celltype：SDF反标时不检查SDF文件中的celltype的一致性。
- +sdfverbose：显示SDF反标时的详细告警和错误信息。
- +vcs+flush+log：加速编译仿真时log文件缓存的刷新频率。
- +vcs+initmem+0/1/x/z：初始化设计中所有存储器的值。
- +vcs+initreg+0/1/x/z：初始化设计中所有寄存器的值。
- +vpi：使能vpi。
- +v2k：支持Verilog-2001标准。
- +vc：支持在源代码中调用外部定义的C/C++函数。
- +vcs+learn+pli：追踪当前仿真的ACC选项，记录在pli_learn.tab文件中，下次仿真时可用+applylearn来重新编译。
- +warn=noRWSI：不显示报警信息。
- +lint：显示lint信息。
- +cli：使能CLI调试功能。
- +incdir+directory+：可在指定的目录下搜索`include的文件，可通过+号来增加目录。
- +error+n：指定编译时的最大报错数目。
- +ntb_random_seed=$(seed)：指定种子号。
- +UVM_VERBOSITY=$(pl)：指定UVM打印等级。
2. 自带编译选项
- -cm line+cond+fsm+tgl：指定覆盖率的类型，行覆盖率+条件覆盖率+状态机覆盖率+翻转覆盖率。
- -cm_hier：将覆盖率统计范围，限定在所指定的module层次。
- -cm_count：在统计是否覆盖的基础上进一步统计覆盖的次数。
- -cm_log：指定仿真中记录覆盖率的log文件名。
- -comp64：在64bit模式下对设计进行编译，并生成32bit格式的可执行文件用于32bit模式仿真。
- -debug：使能UCLI命令行和dve。
- -f ：指定文件列表的文件名，文件中可包括源代码文件的路径和名称，也可以包括编译选项参数。
- -full64：在64bit模式下编译，生成64bit模式仿真的可执行文件。
- -j：设定并行编译的进程数，j后面没有空格。
- -Mdir=指定一个目录让vcs存储编译产生的文件，默认是csrc。
- -ntb：使能ntb（Native TestBench），支持OpenVera的验证平台语言结构。
- -timescale=1ns/100ps：仿真时间单位1ns，精度100ps。
- -q：安静模式，屏蔽vcs的编译信息。
- -R：在编译之后立即执行产生的可执行文件。
- -s：刚开始仿真时即停止，一般与-R和+cli配合使用。
- -V：使能verbose模式。
- -v ：指定verilog库文件。
- -y <dir_path>：指定verilog库路径。
- -vera ：指定标准的Vera PLI表文件和对象库。
- -a ：将仿真显示的log信息附在指定文件尾部。
- -E ：执行指定的程序用来显示生成simv可执行文件时vcs使用的编译选项。
- -sverilog：支持SystemVerilog。
- -ucli：使能UCLI命令。
- -vcd ：指定VCD波形文件名，默认是verilog.dump，会被源代码文件中的$dumpfile覆盖。
- -l ：指定记录VCS编译和运行信息的log文件名。
- -notice：显示详细的诊断信息。
- -o ：指定编译生成的可执行文件的名称，默认是simv。
- -Mupdate：增量编译（只编译在原工程中修改后的代码）。
- -gui：仿真开始后启动DVE图形界面。
- -verdi：使用verdi图形界面。
- -assert dve：将assertion放入vpd文件中，并支持在dve中trace。
- -assert report=DIR_PATH/xxx.report：指明assertion的report文件。
- -assert svaext：根据形参执行不同的sequence时开启此选项
【注】：个人学习笔记，如有错误，望不吝赐教，这厢有礼了~~~