01
覆盖率基础
什么是覆盖率 · 功能覆盖率与代码覆盖率的区别 · 覆盖率在验证流程中的位置
基础概念
02
覆盖率驱动的验证方法论
CDV流程概述 · 从计划到收敛的闭环 · 激励设计与覆盖率的关系
方法论CDV
03
覆盖率报告解读
报告结构 · 常见指标（行、条件、翻转、状态机）· 如何定位未覆盖点
报告分析
04
反推激励设计核心思路
从“缺什么”到“补什么” · 基于覆盖点的激励生成策略 · 优先级排序
策略核心
05
功能覆盖率的建模
covergroup与coverpoint · bin的划分技巧 · cross coverage的使用
建模SystemVerilog
06
从覆盖率空洞反推激励
识别未覆盖bin · 分析未覆盖原因 · 设计针对性激励序列
空洞序列
07
代码覆盖率分析
行覆盖与条件覆盖的差异 · 如何通过激励提高分支覆盖 · 翻转覆盖的补充
代码分支
08
状态机覆盖率
状态与状态转移的覆盖 · 如何设计激励遍历所有状态 · 死锁状态的检测
FSM状态机
09
断言覆盖率
assertion的覆盖属性 · 从断言失败反推激励 · SVA与覆盖率的结合
断言SVA
10
随机激励与定向激励的平衡
随机测试的优缺点 · 定向激励的适用场景 · 混合策略
随机定向
11
约束求解器与覆盖率
约束的编写技巧 · 如何通过约束引导随机 · 解决约束冲突
约束求解器
12
覆盖率驱动的测试用例生成
自动生成与手动编写 · 基于覆盖反馈的迭代优化 · 工具支持
生成迭代
13
覆盖率合并与回归管理
多轮仿真的覆盖率合并 · 回归测试的覆盖率分析 · 增量覆盖
回归合并
14
覆盖率收敛策略
收敛标准定义 · 加速收敛的方法 · 何时停止仿真
收敛策略
15
实战案例一：总线协议验证
AHB/AXI 覆盖率反推 · 总线协议激励设计
AHBAXI
16
实战案例二：低功耗验证
UPF/CPF 覆盖率反推 · 低功耗序列
低功耗UPF
17
实战案例三：中断与异常处理
中断覆盖率反推 · 异常处理激励
中断异常
18
实战案例四：FIFO与存储控制器
FIFO 满空覆盖 · 存储控制器反推
FIFO存储
19
实战案例五：DMA控制器
DMA 传输覆盖 · 通道与仲裁反推
DMA控制器
20
实战案例六：加密模块
加解密覆盖率 · 算法激励反推
加密算法
21
实战案例七：复位与初始化序列
复位状态覆盖 · 初始化序列反推
复位初始化
22
实战案例八：多核一致性协议
cache一致性 · 协议覆盖率反推
多核一致性
23
覆盖率反推中的常见陷阱
过度覆盖 · 无效覆盖 · 误报覆盖
陷阱误区
24
覆盖率数据的可视化
报告生成工具 · 图表解读 · 团队沟通
可视化报告
25
覆盖率驱动的验证计划管理
从计划到追踪 · 覆盖率与验证进度的关联
管理计划
26
高级话题：机器学习在覆盖率反推中的应用
覆盖率预测 · 智能激励生成
ML高级
27
工具链介绍
VCS/IES/Xcelium · Verilator · vPlan
工具EDA
28
覆盖率与形式化验证的结合
形式化方法补充覆盖 · 边界情况覆盖
形式化边界
29
覆盖率反推的团队协作
代码评审中的覆盖率检查 · 跨团队覆盖目标对齐
协作评审
30
课程总结与未来趋势
最佳实践 · 行业趋势与新技术
总结趋势