kdb选项是vcs选项,在进行vcs仿真时可以加入kdb选项;加入kdb选项后,vcs仿真会生成verdi的库文件,通常库文件为sim.daidir,库文件里面包含相应代码信息;利用库文件verdi可以快捷打开rtl代码而不需要重新编译; verdi利用daidir打开代码办法 verdi -dbdir simv.daidir & verdi -simflow -simBin simv & verdi可以直接通过以...
-override timescale=xx/xx 让源文件统一使用指定的timescale -kdb vcs仿真会生成verdi的库文件,通常库文件为sim.daidir,库文件里面包含相应代码信息;利用库文件verdi可以快捷打开rtl代码而不需要重新编译 -cm line+tgl+cond+fsm+branch 指定收集覆盖率的类型 -cm_dir 指定放的路径 -cm_hier 保存模块的层次信息 ...
vlogan -kdb -work DEFAULT [rtl.defs] -f filelistname -l logfilename +incdir+include_dir_name top.v //对verilog file 进行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...
编译选项 要实现这个功能,依赖于VCS和VERDI的联合调试,所以在编译的时候需要使用下面的指令 vcs-full64-sverilog-ntb_optsuvm-1.2-lca-kdb-debug_access+reverse 除了常规的选项以外,-kdb选项是用于生成kdb数据库,支持verdi的联合调试,而lca是kdb的依赖选项。 最后的-debug_access+reverse则是最关键的开关,需要加上...
vcs-full64-sverilog-ntb_opts uvm-1.2-lca-kdb-debug_access+reverse 除了常规的选项以外,-kdb选项是用于生成kdb数据库,支持verdi的联合调试,而lca是kdb的依赖选项。 最后的-debug_access+reverse则是最关键的开关,需要加上这个选项才是实现反向运行。
这里使用了-sverilog选项开启SystemVerilog支持。添加-kdb选项支持输出KDB格式的数据,用于与Verdi在交互模式交换数据,而KDB格式属于"Limited Customer Availability"特性,必须通过-lca选项开启。 第二步,执行simv,启动Verdi调用VCS仿真器。 ./simv -gui=verdi
但由于其原来是Synopsys第三方产品,所以VCS对其支持并不是很友好。如果要支持Verdi,需要设置好NOVAS_LIB_PATH的环境变量,并且在命令行中添加-kdb的option,knowledge database(kdb)是VCS支持Verdi时的重要概念。另外,VCS支持vpd和fsdb两个格式的dump wave。fsdb的文件相对比较小。
即vcs -debug_access+all -kdb -lca makefile的vcs目标,对代码进行编译,生成simv。 生成simv后,要增加一个选项,-gui=verdi,表示使用verdi这个工具进行单步调试。 makefile的sim目标,代码仿真,进行单步调试。 执行make vcs; make run 后,会弹出verdi界面,并且停在0时刻。
-kdb \ -timescale=1ns/1ps \ -l com.log #修改vcs -full64 \,添加-cpp g++-4.8 -cc gcc-4.8 -LDFLAGS -Wl,--no-as-needed \ 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 如果操作系统没有安装gcc 4.8,会报错: make[1]: Entering directory '/home/alanwu/Documents/RISCV-SIM/csrc' ...
1.1 VCS常⽤的编译选项 选项说明 -assert dumpoff | enable_diag | filter_past 定义SystemVerilog断⾔(SVA)dumpoff:禁⽌将SVA信息DUMP到VPD中 enable_diag:使能SVA结果报告由运⾏选项进⼀步控制filter_past:忽略$past中的⼦序列 -cm <options>指定覆盖率的类型,包括:line(⾏覆盖)、cond(...