01
验证概述
什么是仿真验证 · 验证在芯片开发流程中的位置 · 挑战与目标
基础概念
02
验证语言基础
SystemVerilog简介 · 数据类型 · 操作符 · 过程语句与任务函数
SV语法
03
验证环境结构
Testbench组成 · DUT交互 · 层次化设计
架构TB
04
接口与驱动
Interface定义 · Driver设计模式 · 时序控制与同步
接口驱动
05
Monitor与Checker
Monitor作用 · 数据捕获 · Scoreboard设计
监测比对
06
Sequence与Sequencer
Sequence概念 · 调度机制 · 启动与同步
序列调度
07
Agent与Environment
Agent封装 · Environment构建 · 配置数据库
组件环境
08
UVM基础
UVM框架 · 树形结构 · 核心类与宏
UVM框架
09
UVM组件
uvm_component/object · driver · monitor · agent
组件UVM
10
UVM序列
uvm_sequence · sequencer · item生成与启动
序列UVM
11
UVM配置
uvm_config_db · 覆盖与优先级 · 资源管理
配置数据库
12
UVM工厂
工厂模式 · 类型覆盖与重载 · 注册与创建
工厂重载
13
UVM事务级建模
TLM通信 · put/get/export · Analysis port
TLM通信
14
UVM寄存器模型
reg_model构建 · 前门/后门访问 · 寄存器预测
寄存器UVM
15
UVM测试用例
test编写 · virtual sequence · 调度与执行
测试用例
16
覆盖率驱动验证
覆盖率类型 · 功能覆盖率收集 · 驱动流程
覆盖率CDV
17
断言验证
SVA基础 · 断言类型 · 验证应用
断言SVA
18
验证计划与策略
计划制定 · 策略选择 · 进度跟踪
管理策略
19
验证环境调试
调试方法 · 波形分析 · 日志与技巧
调试波形
20
验证环境重用
垂直/水平重用 · VIP封装 · 配置驱动重用
重用VIP
21
低功耗验证
低功耗设计 · UPF/CPF基础 · 验证策略
低功耗UPF
22
形式化验证
形式化简介 · 属性检查 · 等价性检查
形式化属性
23
验证自动化
脚本自动化 · 回归测试 · 环境部署
自动化脚本
24
验证方法论
OVM/VMM/UVM对比 · 最佳实践 · 常见陷阱
方法论对比
25
实战：搭建UVM环境
完整UVM验证环境 · 从零构建Testbench
实战UVM
26
实战：测试用例与调试
第一个测试用例 · 波形分析 · 覆盖率收集
实战调试
27
实战：寄存器模型集成
reg_model集成 · 后门访问 · 寄存器测试
寄存器后门
28
实战：断言与覆盖率
断言集成 · 功能覆盖率 · 验证报告生成
断言覆盖率
29
实战：回归与持续集成
回归测试 · 版本管理 · 持续集成
CI回归
30
实战：总结与趋势
项目总结 · 经验分享 · 未来趋势
总结趋势