01
验证环境概述
什么是仿真验证 · 验证在芯片设计流程中的位置 · 验证工程师的职责与技能树
基础概念
02
Linux基础与EDA环境
Linux常用命令 · 文件权限管理 · 环境变量设置 · EDA工具链简介
LinuxEDA
03
Verilog基础回顾
模块结构 · 数据类型 · 连续赋值与过程赋值 · 阻塞与非阻塞赋值
VerilogHDL
04
SystemVerilog核心特性（上）
数据类型（logic, bit, int）· 数组与队列 · 结构体与联合体
SV数据类型
05
SystemVerilog核心特性（下）
接口（interface）· 包（package）· 断言（assertion）基础
SVinterface
06
面向对象编程（OOP）基础
类与对象 · 封装 · 继承 · 多态 · 参数化类
OOPUVM基础
07
随机化与约束
随机化方法 · 约束块 · 随机化控制 · 常见随机化场景
随机化约束
08
功能覆盖率
覆盖率类型 · covergroup与coverpoint · 交叉覆盖率 · 覆盖率驱动的验证
覆盖率验证
09
验证方法论（VMM/OVM/UVM）演进
从定向测试到随机测试 · UVM的核心理念
方法论UVM
10
UVM基础架构
uvm_component与uvm_object · UVM树形结构 · phase机制
UVM架构
11
UVM工厂模式与重载
工厂注册 · 类型重载 · 实例重载 · override机制
工厂重载
12
UVM序列与序列器
sequence · sequencer · sequence_item · 启动与仲裁
sequencesequencer
13
UVM驱动器与监视器
driver · monitor · analysis port · TLM通信
drivermonitor
14
UVM代理与环境
agent · env · subscriber · scoreboard的搭建
agentenv
15
UVM测试与顶层
test · testbench顶层 · virtual interface的连接
test顶层
16
UVM配置机制
uvm_config_db · 资源管理 · 配置的传递与覆盖
配置uvm_config_db
17
UVM报告机制
消息宏 · 消息ID · 冗余度控制 · 回调函数
报告消息
18
UVM寄存器模型（RAL）
reg_block · reg_field · adapter · 前门与后门访问
RAL寄存器
19
搭建第一个UVM验证环境（上）
DUT分析 · 接口定义 · transaction设计
实战UVM环境
20
搭建第一个UVM验证环境（下）
agent · env · test · 顶层连接与运行
实战UVM环境
21
验证计划与测试用例编写
验证计划文档 · 测试点分解 · 定向与随机用例
计划用例
22
断言与形式化验证
立即断言 · 并发断言 · SVA语法 · 断言在仿真中的应用
断言SVA
23
覆盖率驱动的验证闭环
收集覆盖率 · 分析未覆盖点 · 补充用例 · 收敛策略
覆盖率闭环
24
调试技巧与波形分析
Verdi/DVE使用 · 波形dump · 信号追踪 · 常见bug模式
调试波形
25
性能优化与仿真加速
编译选项 · 仿真选项 · 多核仿真 · 硬件加速简介
性能加速
26
低功耗验证简介
功耗意图（CPF/UPF）· 低功耗仿真 · 电压域切换验证
低功耗UPF
27
混合信号验证简介
模拟与数字接口 · real数据类型 · 混合信号仿真流程
混合信号AMS
28
验证自动化与脚本
Makefile管理 · 回归测试 · 结果自动比对 · CI/CD集成
自动化脚本
29
项目实战：I2C控制器验证（上）
协议分析 · 验证计划 · 环境搭建
I2C实战
30
项目实战：I2C控制器验证（下）
用例编写 · 覆盖率收集 · 调试与收敛
I2C实战