01
状态机基础
什么是状态机、Moore与Mealy分类、状态转移图基本元素
核心概念入门
02
功能覆盖率的定义
覆盖率概念、功能覆盖率与代码覆盖率区别、为何需要功能覆盖
覆盖率基础
03
状态机覆盖模型
状态覆盖、转移覆盖、路径覆盖的定义与意义
覆盖模型核心
04
SystemVerilog断言基础
立即断言与并发断言、assert/assume/cover用法
断言SV
05
覆盖组（covergroup）入门
covergroup声明、采样事件、coverpoint定义
covergroup入门
06
状态覆盖的实现
用coverpoint枚举状态、bin定义与自动bin
状态覆盖bin
07
转移覆盖的实现
bins for transitions、连续转移与序列转移
转移覆盖序列
08
路径覆盖的实现
多跳路径覆盖、使用cross覆盖组合路径
路径覆盖cross
09
交叉覆盖（cross cover）
cross语法、交叉覆盖的bin过滤与排除
交叉覆盖过滤
10
覆盖选项（covergroup options）
weight、goal、comment、per_instance详解
选项配置
11
覆盖事件触发
@event、sample()、clocking block与采样同步
事件采样
12
覆盖组参数化
带参数的covergroup、复用与封装
参数化复用
13
覆盖收集策略
随机验证中的覆盖收集、定向测试补充
策略随机
14
覆盖分析工具
VCS/Questa覆盖报告、合并多个仿真结果
工具报告
15
覆盖驱动的验证流程
从计划到收敛、覆盖闭环流程
流程方法论
16
状态机验证计划
制定验证计划、优先级划分与风险分析
计划风险
17
黑盒与白盒覆盖
内部信号可观测性、白盒覆盖优缺点
黑盒白盒
18
覆盖收敛技术
快速达到覆盖目标、随机种子优化与定向用例
收敛优化
19
覆盖排除与例外
非法状态、无关转移排除、illegal_bins与ignore_bins
排除例外
20
覆盖组与类的结合
在class中嵌入covergroup、面向对象覆盖收集
OOPclass
21
多状态机交互覆盖
同步、握手、互斥覆盖
交互多FSM
22
时序相关的覆盖
延迟覆盖、序列覆盖、$rose/$fell时序函数
时序序列
23
覆盖驱动的随机约束
通过覆盖反馈调整随机约束、动态更新
约束动态
24
UVM中的覆盖集成
UVM subscriber组件、覆盖收集器标准架构
UVM集成
25
覆盖数据库管理
UCDB数据库、覆盖数据存储与回放
UCDB数据库
26
形式化验证中的覆盖
Formal工具证明状态可达性、死锁检测
形式化可达性
27
低功耗状态机覆盖
电源域切换、休眠/唤醒状态特殊覆盖
低功耗电源
28
状态机验证的常见陷阱
状态爆炸、冗余覆盖、采样时机错误
陷阱经验
29
实战案例1：AHB总线仲裁状态机
AHB总线仲裁状态机的覆盖验证
实战AHB
30
实战案例2：UART协议状态机
UART协议状态机覆盖验证与收敛报告
实战UART