01
验证方法论概述
什么是功能覆盖点 · 为什么需要检查方法 · 验证的完备性概念
基础概念
02
测试激励基础
激励的类型（定向、随机、约束随机） · 激励与覆盖率的关系
激励随机
03
功能覆盖点定义
覆盖点的分类（交叉、转换、状态） · covergroup 的概念
覆盖组分类
04
SystemVerilog 覆盖点语法
coverpoint · bins · iff条件 · auto_bin_max
语法SV
05
交叉覆盖（Cross Coverage）
cross 语法 · binsof 与 intersect · 排除非法组合
交叉binsof
06
覆盖点采样控制
触发事件 @event · clocking block · new() 与 sample()
采样时序
07
覆盖点选项
weight · goal · comment · type_option · per_instance
选项配置
08
覆盖点收集策略
单实例 vs 多实例 · 全局与局部 · 覆盖率合并
策略合并
09
功能覆盖点与断言结合
assert 与 cover 区别 · cover property · 时序检查
断言cover
10
覆盖率驱动的验证流程
从计划到收敛 · 导向测试生成 · 覆盖率闭环
流程闭环
11
测试计划编写
从规格提取功能点 · 优先级划分 · 覆盖点与用例映射
计划映射
12
定向测试激励
手动编写用例 · 边界条件 · 优缺点
定向边界
13
随机测试激励
rand/randc · randomize() · 约束块 constraint
随机约束
14
约束随机激励
solve…before · 权重分布 dist · 条件约束 if-else
权重dist
15
后随机化处理
post_randomize() · 数据修正 · 失败处理
回调修正
16
激励生成器架构
Builder Pattern · TLM · 激励序列 sequence
架构TLM
17
UVM 中的激励生成
uvm_sequence_item · uvm_sequence · sequencer · 启动与仲裁
UVMsequence
18
覆盖点与计分板联动
覆盖点触发检查 · 数据比对 · 覆盖率驱动错误定位
计分板联动
19
覆盖率分析工具
VCS/Questa 报告 · .ucdb · 合并与比较覆盖率
工具ucdb
20
覆盖率收敛技术
定向边界用例 · 调整随机权重 · 反馈自动生成
收敛反馈
21
功能覆盖点调试
覆盖空洞分析 · 命中率低原因 · 调试技巧与工具
调试空洞
22
覆盖点与形式化验证
形式化工具利用覆盖点 · 作为属性 · 动态与形式化互补
形式化属性
23
跨模块覆盖点收集
层次化覆盖 · 接口覆盖点 · 子模块汇总
层次接口
24
覆盖点重用策略
覆盖点库 · 参数化覆盖组 · 项目间移植
重用参数化
25
低功耗验证中的覆盖点
电源域切换 · 电压/频率变化 · 低功耗状态机覆盖
低功耗电源域
26
协议验证中的覆盖点
AXI/APB/AHB · 协议时序覆盖 · 错误注入覆盖
协议AXI
27
覆盖点与回归测试
回归覆盖率增量 · 失败回溯 · 自动化脚本
回归自动化
28
覆盖率驱动的测试用例评审
评审覆盖点完整性 · 与计划对齐 · checklist
评审checklist
29
高级覆盖点技术
动态覆盖点 · 覆盖点表达式 · 与UVM寄存器模型结合
高级寄存器
30
课程总结与实战案例
完整IP覆盖点规划 · 激励生成与收敛全过程 · 最佳实践
实战总结