01
随机激励基础
什么是随机激励 · 为什么需要随机激励 · 在验证中的角色
概念动机
02
SystemVerilog随机化机制
rand与randc · 随机变量声明 · randomize()
SV关键字
03
约束块入门
constraint语法 · 简单示例 · 作用域
约束基础
04
约束表达式
关系/范围/集合约束 · 条件约束if-else
表达式条件
05
权重分布约束
dist操作符 · :=与:/ · 权重应用场景
权重分布
06
内嵌约束
randomize() with {} · 临时约束 · 优先级
内嵌临时
07
随机化控制
rand_mode · constraint_mode · 开关实战
控制开关
08
随机化稳定性
种子seed · $urandom · 复现影响
种子复现
09
数组随机化
动态/定长/队列 · 数组约束技巧
数组队列
10
随机化类与对象
类随机化 · 嵌套对象 · 句柄控制
OOP句柄
11
覆盖率基础
什么是覆盖率 · 代码/功能/断言 · 驱动流程
概念类型
12
功能覆盖率概念
covergroup · coverpoint · bin定义
covergroupbin
13
仓的进阶定义
自动/自定义仓 · ignore_bins · illegal_bins
仓忽略/非法
14
交叉覆盖率
cross定义 · 自动生成 · 排除无效组合
交叉组合
15
覆盖率选项
at_least · auto_bin_max · weight · comment
选项配置
16
覆盖率收集策略
单/多实例 · 类中位置 · 采样时机
策略实例
17
覆盖率的采样控制
sample() · 触发事件 · interface联动
采样事件
18
断言覆盖率
SVA基础 · cover property · 收集与合并
断言SVA
19
覆盖率数据库
UCDB · 数据导出与合并 · urg命令
UCDBurg
20
覆盖率分析
未覆盖区域 · 空洞分析 · 定位盲区
分析盲区
21
收敛策略总览
随机到收敛流程 · 度量标准
策略流程
22
定向测试补充
随机瓶颈 · 定向用例设计 · 平衡
定向平衡
23
约束调整技巧
放松/收紧约束 · 动态调整实战
调整动态
24
种子扫描法
多种子回归 · 筛选策略 · 快速收敛
种子回归
25
覆盖率驱动的约束反馈
自动调整约束 · 反馈环路设计
反馈自动
26
场景与序列随机化
sequence随机 · 层次化场景 · 协议序列
序列场景
27
随机化与参考模型
参考模型随机化 · 预测器与覆盖率联动
参考模型预测器
28
大型项目收敛实战
多模块协调 · 回归管理 · 合并报告
实战大型
29
调试与复现
随机失败复现 · 种子保留 · 波形日志
调试复现
30
课程总结与进阶
全流程回顾 · 常见陷阱 · UVM扩展 · 学习路径
总结进阶