术语——中文术语
大陆与台湾的一些术语存在差别：
验证常用的英语术语：
验证：尽量模拟实际应用场景，比对芯片的所需要的目标功能和实现的功能
影响验证的要素：应用场景、目标功能、比对应用场景、目标功能：来源于产品需求、系统方案、设计实现；准确、完备、清晰、异常。
比对：设计与验证的隔离、独立性；比对效率
验证与测试：关注点的区别
验证类型：EDA验证、FPGA验证、芯片验证、软硬件结合验证
验证流程
测试点：
例如：芯片可以处理包长为64Bytes~1500Bytes的数据包，则验证时则可以划分成哪几个测试区间呢？（假设包长为16Bit位宽）。
测试点——分解测试点的方法
1，SPEC
文档上所有明确写出的SPEC
2，输入、配置、输出
所有合理的输入
所有合理的配置
所有合理的输出
所有合理的输入、配置的不同组合
3，场景
多个功能在同一时间段内的不同组合
多个功能在前后顺序之间的不同组合
4，异常
验证用例——定向验证
验证用例——随机验证
rand bit [15:0] pkt_len;
constraint c_pkt_len {
pkt_len dist {
[1:61] :/ 10,
[62:63] :/ 10,
[64:，65] :/ 10,
[66:1498] :/ 10,
[1499:1500] :/ 10,
[1501:1502] :/ 10,
[1502:65535] :/ 10,
};
}
利用System Verilog的比例约束，可以灵活地设置每个区间的概率。
通过上述方法，发送同样的包个数，就能覆盖到所有的测试点。
覆盖率——Code Coverage
发送三个数据包，包长分别为10、100、2000字节，就可以达到100%的
Code Coverage（如：Line Coverage、Conditon Coverage）
如果RTL不小心写成上面这样，而没有验证到，我们能发现吗?
覆盖率——Function Coverage
通过定义功能覆盖率，就可以发现上述的问题。
从需求，到测试点，到用例：总->分->总
测试点要求细而不漏。
测试点的交叉。例如不同类型包文有不同的长度范围和处理。变量越多组合
越多，测试向量就越多。
测试用例：随机为主定向为辅，还是随机为主定向为辅
验证用例——脚本化
传统的用例设计方法：
根据测试点编写大量的TestCase来覆盖所列的测试点
用例脚本化：
设计一个通用用例模版，通过脚本，传递不同的参数配置。
一个TestCase生出大量TestCase，减少大量用例的编写、维护工作。
验证平台——架构
验证平台——集成
验证的模块化、完整性思维
模块化与完整性
结构上的模块化
数据类型上的模块化：配置、数据
流程上的模块化：
验证自动化——工具
1，Makefile
（1）支持批量仿真；
（2）每个TC单独生成一个LOG，一个波形，一组对应图像信息
（3）自动检查所有TC的LOG，生成所有TC的Pass or Fail的记录
（4）自动本地化
（5）在当前目录下，编辑打开其他目录的文件
…
2，Excell提取脚本
（1）寄存器信息列表
（2）数模接口连线复位值
（3）数模混仿Vector信息
3，自动连线脚本
（1） 连接各个module的verilog
4，其他Tcl、Perl脚本
验证自动化
1，Regression自动化
2，寄存器测试自动化
3，Log检查自动化
4，数据比对自动化
5，时序比对自动化
6，Co-SIM的Vector自动化
7，数字模拟接口连线检查自动化
服务自己的人机交互：
表格与仿真环境之间自动化
EXCEL+VBA
XML PARSER
验证语言——System Verilog
HDVL：Hardware Description And Verification Language
完全兼容Verilog语言
支持Behaviour Level建模
支持面向对象编程，容易扩展、移植
支持各种随机方式：权重比例等
支持功能覆盖率
验证语言——SVA
System Verilog Assertions：简称SVA
用途：用来检查Timing的正确性。（区别：Reference Model用来检查Data的正确性）。如果Timing不正确会输出Fail信息。
SVA代码示例：
以上代码是检测check_en有效的时候， 每次lcd_busy_bfm 的上升沿之后
两个clk，必须有gate_lcd_busy 的上升沿。
UVM
UVM：Universal Verification Methodology
来源：兼容VMM和OVM的优点
内容：验证方法学+验证平台模版+验证代码库
举例：盖房子
很早很早以前没有建筑学，大家的房子也是千奇百怪，各不相同，有在树上，有在地下，也有在树上。后来，慢慢开始有人归纳这些房子的特点，发现：大部分都有“门”、“窗户”，“房间”，“屋顶”等。所以，慢慢开始把房子分成这几个部分来研究，逐渐就形成一套房子的方法学。后来再总结各个部分优秀的建造方法，提供给大家做参考，或者直接做好各个部分，给大家用，就形成组件、模版。
