第01章
课程导论与验证方法论
FPGA验证的挑战 · 验证的V模型 · 仿真与测试平台的作用
方法论V模型
第02章
开发环境搭建
Vivado/QuestaSim安装 · License配置 · 工程创建与仿真库编译
环境VivadoQuesta
第03章
Verilog基础回顾（一）
模块结构 · 数据类型 · 连续赋值与过程赋值
Verilog基础
第04章
Verilog基础回顾（二）
阻塞与非阻塞赋值 · 时序逻辑与组合逻辑 · 状态机基础
赋值状态机
第05章
SystemVerilog验证特性（一）
SV数据类型 · logic与wire · 数组与结构体
SV数据类型
第06章
SystemVerilog验证特性（二）
接口(interface) · 程序块(program) · 断言(assertion)基础
interface断言
第07章
面向对象编程基础（一）
类与对象 · 构造函数 · 封装与作用域
OOP类
第08章
面向对象编程基础（二）
继承 · 多态 · 参数化类
继承多态
第09章
随机化与约束
随机化方法 · 约束块 · 随机化稳定性与种子
随机化约束
第10章
功能覆盖率
覆盖率类型 · covergroup与coverpoint · 交叉覆盖率
覆盖率covergroup
第11章
测试平台架构设计
Driver · Monitor · Scoreboard · Agent的结构与职责
架构Agent
第12章
激励生成器（Generator）
事务级建模 · 序列(sequence)与 sequencer
sequencesequencer
第13章
驱动器（Driver）设计
接口驱动 · 时序对齐 · 握手协议驱动
Driver时序
第14章
监视器（Monitor）设计
协议监测 · 数据采集 · 事件触发
Monitor监测
第15章
计分板（Scoreboard）设计
数据比对 · 预测器(predictor) · 错误报告
Scoreboard比对
第16章
环境（Environment）与顶层
环境类的封装 · 测试用例(test)启动 · build_phase与connect_phase
Environmentphase
第17章
UVM基础（一）
UVM是什么 · UVM树形结构 · uvm_component与uvm_object
UVM树形
第18章
UVM基础（二）
factory机制 · override · config_db
factoryconfig_db
第19章
UVM基础（三）
TLM通信 · port/export/imp · analysis port
TLManalysis
第20章
UVM基础（四）
phase机制 · objection机制 · sequence机制
phaseobjection
第21章
搭建第一个UVM测试平台
DUT接口封装 · agent搭建 · env搭建 · test编写
实战UVM平台
第22章
寄存器模型（RAL）
RAL生成 · 前门访问与后门访问 · 镜像与预测
RAL寄存器
第23章
断言与形式验证
立即断言与并发断言 · SVA语法 · 断言覆盖率
断言SVA
第24章
仿真调试技巧
波形查看 · 日志分析 · $display与$monitor · Tcl脚本自动化
调试Tcl
第25章
回归测试与自动化
回归脚本编写 · Makefile管理 · 仿真结果自动比对
回归Makefile
第26章
覆盖率驱动的验证
收集覆盖率 · 分析覆盖率空洞 · 定向测试补充
覆盖率驱动空洞
第27章
低功耗验证
UPF基础 · 功耗意图检查 · 低功耗仿真
低功耗UPF
第28章
接口协议验证实战（一）
AXI4-Stream协议验证 · 激励生成与比对
AXI4-Stream协议
第29章
接口协议验证实战（二）
APB协议验证 · 寄存器读写测试
APB寄存器
第30章
项目实战与总结
完整IP验证流程 · 验证计划文档 · 验证报告输出
项目总结