VIP20
本课程属于:015-UVM验证 芯片设计与FPGA · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

UVM覆盖收敛与结果比对方法

📚 共计 30 章节
01
覆盖组基础
UVM覆盖组(covergroup)的定义、实例化与基本结构。
covergroup实例化
02
覆盖点与仓
覆盖点(coverpoint)的声明、仓(bins)的自动与手动定义。
coverpointbins
03
交叉覆盖
交叉覆盖(cross cover)的定义、排除非法组合与权重设置。
cross排除
04
覆盖选项
选项(option)与类型选项(type_option)的区别及应用场景。
optiontype_option
05
覆盖收集控制
覆盖率的开启/关闭、采样事件触发与条件过滤。
采样触发
06
功能覆盖模型
构建层次化功能覆盖模型,覆盖组在组件中的集成。
层次化集成
07
覆盖率数据库
使用UVM的覆盖率数据库(coverage database)进行数据管理。
databaseUVM
08
覆盖率报告
生成HTML/XML格式的覆盖率报告,解读报告关键指标。
HTMLXML
09
覆盖收敛策略
基于随机约束的覆盖收敛方法,定向测试与随机测试结合。
随机约束定向
10
覆盖目标设定
定义覆盖目标(coverage goal),设定收敛阈值与优先级。
goal阈值
11
动态覆盖分析
运行时动态分析覆盖率增长趋势,识别覆盖空洞。
动态空洞
12
覆盖驱动验证
根据覆盖率反馈动态调整随机约束,加速收敛。
反馈约束
13
回归测试管理
回归测试中的覆盖率合并、增量覆盖与回归效率。
合并增量
14
覆盖排除
排除不可达覆盖点、冗余覆盖点与非法状态。
排除冗余
15
断言覆盖
断言(assertion)的覆盖属性,SVA覆盖与功能覆盖结合。
SVA断言
16
代码覆盖与功能覆盖
代码覆盖(line/toggle/FSM)与功能覆盖的协同分析。
lineFSM
17
结果比对基础
仿真结果比对的概念、必要性及常见方法。
比对必要性
18
日志比对
基于仿真日志(log)的关键信息提取与比对。
log提取
19
波形比对
使用VCD/FSDB波形进行信号级比对,自动化波形比对工具。
VCDFSDB
20
数据文件比对
CSV/文本数据文件的逐行比对与容差比对。
CSV容差
21
参考模型比对
DUT输出与参考模型(reference model)的自动比对。
ref model自动
22
比对脚本开发
使用Python/Perl开发自动化比对脚本,处理大规模数据。
PythonPerl
23
比对结果分析
比对失败时的根因分析(RCA),定位设计错误。
RCA调试
24
回归比对框架
构建回归测试中的自动化比对框架,集成到验证流程。
框架自动化
25
覆盖与比对联动
覆盖率驱动测试生成,结合比对结果优化测试序列。
联动优化
26
验证计划管理
将覆盖目标与比对检查点映射到验证计划(vPlan)。
vPlan映射
27
覆盖率驱动的验证流程
从验证计划到覆盖收敛的完整闭环流程。
闭环流程
28
高级覆盖技术
跨模块覆盖、时序覆盖、多维度交叉覆盖。
跨模块时序
29
大规模验证挑战
多核/多芯片系统的覆盖收敛与结果比对策略。
多核多芯片
30
案例实战
一个完整IP验证项目中的覆盖收敛与结果比对实践。
实战IP验证