VCS

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，