学习笔记 -1 IC设计 验证 -UVM学习总结

————Meiger

1,验证的本质:
尽可能的找出设计的bug;

2,测试向量文件
测试文件(testbench)以模拟的方式来验证逻辑时序的正确性,
以源的方式来激励用户编写的逻辑功能模块。
学习笔记 -1 IC设计 验证 -UVM学习总结_第1张图片
3,验证的3要素;
(1)灌激励:输入信号
(2)集响应:输出信号
(3)作比较:比较

4,验证平台的发展
(1)1, Verilog Testbanch
(2)语言发送 Verilog -> C/C++ -> System C -> System Verilog( 有高级语音的兼容性,时序的兼容)
5,验证方法学(UVM)
(1)制定了一种标准的规范
(2)提供底层库
这些方法 :
1,通用 -> 可重用性
2,高效 -> 随机性 解决 :Regression (回归) 、 coverage(覆盖率)

6,验证平台的发展
学习笔记 -1 IC设计 验证 -UVM学习总结_第2张图片
7,简单的UVM平台
学习笔记 -1 IC设计 验证 -UVM学习总结_第3张图片
8,完整UVM的验证平台
学习笔记 -1 IC设计 验证 -UVM学习总结_第4张图片

学习笔记 -1 IC设计 验证 -UVM学习总结_第5张图片
1,DUT 和UVM直接的通信需要interface
2,UVM和Component(组件) 基于TLM的发送通过数据包的方式通信(模块直接有port来获取、或发送数据)
3,Seq 包括:自启动和手动启动设置
9,UVM树
学习笔记 -1 IC设计 验证 -UVM学习总结_第6张图片
10,UVM运行的机制
Phase机制:(阶段)
学习笔记 -1 IC设计 验证 -UVM学习总结_第7张图片

1,模块直接是并行的
2,模块内是串行的的

你可能感兴趣的:(IC)