Makefile在数字IC的验证阶段特别常用,下面通过编译一个简单的实例说明。
第一步:把要编译的文件(包括但不限于.v和.sv)放在一个filelist。
注意:路径为相对tb.f的相对路径。
第二步:在sim路径下创建波形下载文件ucli.txt。
注释:
1:波形名字为:test.fsdb。
2:保存层级为tb_tslp, 0代表全部保存。
第三步:在sim路径下创建makefile。
解释说明:
5:吃的filelist的路径,相对于case仿真路径run_dir的相对路径。
6:提交到autoq的集群。
19:依次执行comp_opts的选项,并把log输出到comp.lpg。
22:运行simv,并吃ucli的文件,文件位置在…/ucli.txt,并把log输出到sim.lpg。
25:利用verdi打开test.fsdb的波形。
Terminal 敲击命令后的反馈:
make comp
make sim
make verdi
注意下面Makefile与第一个Makefile的不同:
注意:上面这个makefile与第一个makefile的不同是,这个make sim只会运行仿真,第一个会编译并运行仿真。
仿真可能遇到的问题总结:
1.运行的tab界面没有仿真工具,通过module avail, module load解决,报错信息如下:
2. 运行的tab界面没有仿真license,通过module load lic_snps/all_lic解决,报错信息如下: