覆盖率

• 随机测试比定向测试多了很多的可能性，但是需要考虑，什么时候结束验证呢？涉及到覆盖率指标的问题。
  • 是否所有设计的功能在验证计划中都已经验证了？
  • 是否代码中的某些部分从未执行过？

MCDT测试结构

线程控制

什么是线程

随机变量

• 随着设计越来越大，要产生完整的激励来测试设计的功能变得越来越困难；
• 定向激励的测试方法已经无法满足检查功能完整性的要求；
• Soc集成度提高带来的模块之间交互的复杂性也指数提高，验证工程师无法预测用户使用过程中发生什么样的情况；

数组操作

• 对于Verilog，数组用来做数据存储，比如 reg [15:0] RAM [0:4095]; //存储数组
• 数组的索引名在数组右侧，左侧是每个数据的大小

验证环境结构

SV以及UVM概述

什么是验证

什么是验证?

Bilibili

几个必备技术要求：

• 动态验证技术
  • 代码覆盖率
  • 功能覆盖率
  • 断言
  • 随机约束
• 静态验证技术
  • 人工的形式验证（属性检查）
  • 自动的形式验证
• 硬件加速技术
  • Emulation以及FPGA原型开发

背景要求：

• 课程：
  • 数字电路
  • Verilog
  • C/C++