本文档介绍了如何结合verdi和vcs进行编译验证。首先，创建makefile，配置vcs编译选项和verdi参数。接着，创建工程目录proj4，收集所有.v文件，并复制makefile到该目录。在proj4下建立testbench，编写mc1_manage_tb测试 bench，包括端口映射、时钟和复位初始化、fsdb设置以及测试程序的信号变化。最后，确保makefile中的.fsdb与testbench中的tb匹配。
(1)首先编写makefile文件
run:
vcs -f ./filelist.f -R -fsdb -full64 -l analyze.log
verdi:
verdi -f ./filelist.f -ssf ./mc1_manage_tb.fsdb -top mc1_manage_tb
clean:
rm -rf csrc novas* sim* ucli.key verilog
(2)新建文件夹，mkdir proj4
(3)find ../MCManagement/*.v >filelist.f (找出MCManagement中的所有的.v文件)
(4)cp ../proj1/makefile .(将建好的makefile复制到当前目录下.)
(5)在proj4新建testbench文件(mkdir testbench)
(6)在testbench中编写mc1_manage_tb
module mc1_manage_tb();
6.1 //将工程文件中对应的.v文件，input->reg,output->wire，以分号进行分割
最低0.47元/天 解锁文章
扫一扫
1102
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
