01
验证平台概述
什么是控制器验证平台 · 核心目标 · 芯片开发流程中的位置
基础概念
02
验证方法论基础
基于断言的验证 · 覆盖率驱动 · 随机化验证策略
方法论核心
03
SystemVerilog基础回顾
数据类型 · 接口 · 模块 · 进程与同步
SV语言
04
UVM基础入门
UVM是什么 · 核心类 · 树形结构
UVM框架
05
搭建第一个UVM环境
组件创建 · 连接 · 启动
实战入门
06
事务级建模
Transaction定义 · sequence与sequencer
TLM序列
07
Driver与Monitor设计
驱动协议 · 监测总线 · 数据采集
驱动监测
08
Agent封装
Agent组成 · 配置 · 复用
封装组件
09
Env与Test
环境搭建 · 测试用例 · 流程控制
环境测试
10
Scoreboard与Reference Model
数据比对 · 预测模型 · 错误报告
比对计分板
11
覆盖率收集
功能覆盖率 · 代码覆盖率 · 合并与分析
覆盖率度量
12
寄存器模型
RAL模型 · 前门/后门访问 · 寄存器预测
RAL寄存器
13
验证计划与用例管理
验证计划 · 用例分类 · 回归测试
管理流程
14
断言与形式化验证
SVA基础 · 断言应用 · 形式化验证简介
断言形式化
15
接口协议验证
APB · AXI · I2C 协议验证
协议总线
16
低功耗验证
电源域管理 · 低功耗序列 · UPF集成
低功耗UPF
17
性能验证
吞吐量测试 · 延迟分析 · 带宽评估
性能分析
18
错误注入与鲁棒性测试
错误场景构造 · 异常处理 · 边界测试
鲁棒性错误
19
验证平台调试技巧
波形分析 · 日志管理 · 断点调试
调试技巧
20
验证自动化
脚本化编译 · 自动化运行 · 结果解析
自动化脚本
21
多核与SoC验证
多核同步 · 互联验证 · 系统级场景
SoC多核
22
验证平台复用
IP复用 · 平台迁移 · 跨项目适配
复用IP
23
验证度量与质量评估
验证完成度 · 逃逸率 · 质量门禁
度量质量
24
验证流程管理
版本控制 · 持续集成 · 看板管理
流程CI
25
验证工具链
仿真器 · 波形工具 · 覆盖率工具 · 调试工具
工具生态
26
验证平台性能优化
仿真加速 · 内存优化 · 并行仿真
优化加速
27
后仿真验证
门级仿真 · 时序反标 · SDF反标
后仿时序
28
软硬件协同验证
虚拟原型 · FPGA原型 · 仿真桥接
协同软硬件
29
验证平台文档化
架构文档 · 用户指南 · API文档
文档规范
30
实战项目
从零搭建一个完整的控制器验证平台
实战综合