timing check相关的,
+notimingcheck命令,可以用在compile时,也可以用在run time的时候,
都是将检查timing的系统函数,都disable掉了,
加在compile的时候,不会编译到worklib中,速度可快,可以测试gate env;
setuphold,recrem指定的delay signal只有在run time时加这个option,才会被产生;
build的时候加,delay信号不会被产生;
该命令相比较与ucli中的tcheck命令有最高的优先级;
vcs中license相关的run cmd:+vcs+lic+wait,无限的等待下去;
+licwait timeout,最多等待指定的时间;
compile_option:
1)+no_notifier,寄存器中的notifier不会toggle,不会产生x,先利用该option解决violation,
防止x的传递,导致很难debug;
2)+no_tchk_msg,不显示timing violation的log信息,
3)+neg_tchk,是能negative的timing check,如果不加该option,所有的nagative time被约束为0;
4)+lca,使用一些vcs提供的最新的feature。
5)-fsdb -kdb,可以直接从fsdb中打开work,当前工程,不需要verdi重新编译。
6)+define+macros=value,定义一个macros,它的值为value。
相比较与不需要加define的情况,多是uvm,testplusargs,等参数,可以直接+value,传递值。
run_option:
1)+ntb_random_seed = value,将simv的随机seed设定为某个值,srandom(seed)有更高的优先级;
2)+ntb_random_seed_automatic,每次仿真随机产生seed,不会存在两次simv相同seed的情况;
3)-ucli -do file,直接执行ucli的脚本文件
4)-gui=verdi -verdi_opts "rcFile /my.rc/" 在simv的仿真中,指定verdi的opt。
-force_list,可以放在elaborate和simulation过程中,指定force信息的输出。
VCS动态加载DPI shared lib,在vcs compile之后,调用GCC执行C的编译,产生so文件。
在vcs run的时候,手动加载so。加载的命令包括:
1) -sv_liblist,指定一个so的list文件,其中的so不需要加后缀名。
2) -sv_root,加lib so的hier。之后再加-sv_lib。
3) -sv_lib,加lib名,不需要加后缀。
VCS动态加载PLI shared lib,
1)在VCS编译时,加入-P pli.tab等指定。
2)在runtime时,每个lib加load选项,simv -load ./pli1.so -load ./pli2.so
unified simulation profile可以报告CPU time和machine memory的使用情况,
profrpt是一个基于python的脚本,来产生text或者html的report。
需要在compile和simulation的时候,都加入-simprofile选项。
profrpt time,或者profrpt mem
system task:
severity类型的报告:
1) $fatal,$error,$warning,$info;
assert control类型:
1) $assertoff,$asserton,$assertkill;参数(depth,hier_path)
数值计算类型:
1) $onehot,$onehot0,$isunknown,$countx,$countz,$countunknown;
ASCII文件VCD file;
1) $dumpall,$dumpoff,$dumpon,$dumpfile,$dumpflush,$dumpvars;
VPD文件,直接用DVE打开;
1) $vcdplus...
assertion monitor类型:
只能在initial的block中使用,显示每一个clock assertion的动作:
1) $assert_monitor([0|1],assertion_identifier) assertion_identifier可以是一个hier name;
2) $assert_monitor_off,$assert_monitor_on,控制$assert_monitor task。
system task类型:
1) $system(cmd), 2) $systemf(cmd);
log file类型:
1) $log("filename"),写入log,优先级高于-l指定的logfile,
2) $nolog(“filename”),
File IO操作:
1) $fclose,$fopen,$fread,$fwrite,
Loading memory:
1) $readmemb/h/o, 2) $writememb/h/o
指定timescale:
1) $timeformar;
2) 显示时间,$time,$stime,
simulation control:
1) $stop,$finish;
Timing check类型的:
1) $disable_warnings,$enable_warnings,
2) $hold,$nochange等。
random类型:
1)返回某个分布的随机值,$dist_exponential,$dist_normal,
$random,
2)$get_initial_random_seed,拿到当前seed的值;
控制VCS:
1)$reset,将simulation time reset到零,
SDF file:
1) $sdf_annotate()
X和Z的conditional的检查:
1)$xzcheckon(level_number, hier_name),每次hier下有一个warning,便报出来;
2)$xzcheckoff(level_number, hier_name),
VCS对uvm有一个内嵌式的支持,uvm的库被放在$VCS_HOME/etc/uvm-1.2中,可以在VCS编译过程中,显示指明-ntb_opts uvm-1.2 options来使用uvm。
vcs -sverilog -ntb_opts uvm-1.2 (vlogan不支持直接ntb_opts)
-top 指定snapshot的顶层
-kdb 可以整合vcs的DB到verdi的db,直接通过verdi -ssf novas.fsdb打开verdi的工程
-lca 表示使用vcs的用户限制的功能
VCS中dump fsdb的波形,之前需要添加novas.tab和pli.a的文件路径,-P $VERDI_LIB/novas.tab $VERDI_LIB/pli.a
现在
1)设置$NOVAS_HOME的值,
2)在code中调用$fsdbDumpvars的task,
3)vcs编译中增加-debug_access+r的权限
4)编译中加入-fsdb
使用verdi进行gui调试,-verdi或者-gui=verdi选项
后启动verdi命令:
verdi -ssf <fsdb_file> verdi -simflow -dbdir <path> -top <top_name>
VCS提供的dpi,getenv,拿到当前terminal下的环境变量;
force,release与assign类似,是verilog中支持的结构。
$deposit(hier, value),是VCS中提供的task,