数字芯片验证工作的基本内容

数字芯片验证工作的基本内容

• Linux环境下设置芯片设计相关的环境变量
  一般进入虚拟机会自动source一个环境变量/etc/bashrc也可以自己设置环境变量

• VCS仿真工具的编译和仿真compile和simv

Mupdate 增量编译 代码量很大的时候，只修改其中的一小部分不用重新编译可以做增量编译，与原来的代码做链接
-R 自行执行simv，自动执行编译后的可执行文件.simv
-gui 启动DVE的gui界面
**-1，编译时候的信息文件可以写到filename中
-sverilog，支持System Verilog语言
+v2k，编译支持Verilog2001的标准
-v lib_file，用到某些厂商的工艺库，到该工艺库中找
-y lib_dir，指定工艺库的目录找
+libext+lib_ext，用到很多工艺库的时候，通过制定的文件后缀lib_ext（指定后缀），找指定目录下的指定后缀的文件
-f filename 将需要编译的文件列表，编译filename中列出的文件

有些设计会用VHDL的设计模块，需要用到vcs-mx的软件，与vcs的区别是支持vcs-mx支持Verilog与VHDL的混合仿真。可以通过修改VCS_HOME的路径来指定，查询的话可以用linux的echo SVCS_HOME ## 设计验证的基本过程

1. 设计文件XXX.v和测试向量文件XXX.tb.v
2. 先进行compile编译VCS -full64 XXX.v XXX tb.v +v2k -