01
验证环境概述
什么是验证环境 · 芯片开发流程中的位置 · 验证工程师职责
基础概念
02
验证方法论
定向测试与随机测试 · 覆盖率驱动验证 · UVM方法论简介
方法论UVM
03
验证环境搭建基础
目录结构规范 · 文件命名规范 · Git版本管理
工程Git
04
SystemVerilog基础
数据类型 · 接口 · 断言 · 随机化
SV语法
05
UVM核心组件
uvm_component · uvm_object · uvm_agent · uvm_env · uvm_test
UVM组件
06
UVM树形结构
组件创建与连接 · config_db机制 · phase机制
UVM树形
07
验证环境搭建实战
搭建简单UVM环境 · DUT为加法器
实战加法器
08
测试插入规范
测试用例命名 · 结构 · 注释规范
规范命名
09
测试用例编写
基本测试用例 · 配置 · 运行
编写用例
10
测试用例管理
分类 · 优先级 · 回归测试
管理回归
11
覆盖率收集
代码覆盖率 · 功能覆盖率 · 驱动优化
覆盖率优化
12
断言
断言作用 · 断言类型 · 编写规范
断言SVA
13
VIP（验证IP）的使用
什么是VIP · 集成 · 配置
VIPIP
14
寄存器模型
RAL模型简介 · 生成 · 使用
RAL寄存器
15
序列与序列器
uvm_sequence · uvm_sequencer · 启动与执行
序列sequencer
16
事务级建模
TLM通信 · port/export/imp · analysis port
TLM事务
17
验证环境调试
波形调试 · 日志分析 · 断点调试
调试波形
18
性能验证
吞吐量测试 · 延迟测试 · 资源利用率
性能吞吐
19
低功耗验证
低功耗设计简介 · 验证方法 · UPF文件
低功耗UPF
20
形式化验证
形式化简介 · 断言检查 · 属性检查
形式化属性
21
验证计划
制定验证计划 · 评审 · 跟踪
计划管理
22
验证报告
编写验证报告 · 模板 · 评审
报告文档
23
持续集成
CI/CD在验证中的应用 · 自动化回归 · 环境部署
CI/CD自动化
24
验证环境复用
可复用组件 · 参数化 · 配置管理
复用参数化
25
跨时钟域验证
CDC问题简介 · 验证方法 · 工具使用
CDC跨时钟
26
验证环境性能优化
仿真速度优化 · 内存优化 · 并行仿真
性能优化
27
验证环境安全性
访问控制 · 数据加密 · 代码审查
安全审查
28
验证环境文档
技术文档 · 用户手册 · API文档生成
文档手册
29
验证环境维护
版本升级 · bug修复 · 环境重构
维护重构
30
验证环境最佳实践
总结与展望 · 常见问题 · 学习资源推荐
总结资源