1 逻辑仿真工具VCS的使用

在书写完成RTL代码之后，确保自己书写的代码和自己想要的逻辑是一致的。
VCS是synopsys公司下的的仿真工具。

1 VCS仿真过程

编译-->仿真-->debug/查看波形

vcs

1.1.1 编译

vcs -sverilog -debug_all full.adder full_adder_tb.v -l com.log

• vcs--是逻辑仿真工具EDA工具的编译源代码命令
• -sverilog--编译命令选项，识别system verilog语法
• -debug_all--编译选项，保存所有的debug信息
• -l com.log--编译选项，将编译过程生成的日志写入com.log文件
• 编译之后会生成simv,simv文件可以进行直接执行

//执行simv文件，生成vpd文件
./simv -l sim.log

//打开vpd文件的图形界面
dve -vpd vcdplus.vpd & 

1.1.2 图形界面仿真

1. 启动图形界面

dve &  

• &--后台使用dve，不占用当前的terminal

2. setup,读入simv文件
3. 输入run执行仿真
   
4. 查看波形
   注意：

• 仿真至少有两层，xxx.v及testbench.v
• Hierachy--显示结构，上层为testbench,下层是源代码

2 Verilog Testbench功能

• 产生激励 Generate stimulus--过多长时间给什么样的值
• 将激励输入到待测设计（DUT,design under verification)
• 获取响应 Capture response
• 检查响应的正确性 Check the response for correctness
• 根据验证目标评估验证进度 Measure the progress against the overall verification goals

3 验证一个模块，比如全加器

1. 真值表
   可以将真值表作为pattern，用于进行验证
2. 验证

• 功能完整性
• 穷举法
• 代码覆盖率--所有的代码都在进行仿真的时候用到
  3 进行仿真
• 编译
• 仿真
• 查看波形

4 一些概念

输入信号是驱动信号，输出信号是被驱动信号

• 在RTL源代码中

1. 如果被驱动信号写到assign语句中，定义为wire型的信号
2. Input信号都是wire型，可以省略掉。
3. 如果被驱动信号写道always语句块中，定义为reg型的信号

• 在Testbench中

1. Testbench中的驱动信号reg
2. 驱动信号的类型是reg信号
3. 被驱动类型的信号wire类型

注意：：进行DUT测试，需要外加Testbench向DUT中灌入一些信号进行测试。所以在DUT中和Testbench中的输入输出信号类型是相反的。