UVM验证计划手册 📘 30章
⚡ 制定 · 执行 · 签收
🎯 风格 🧪 系统级验证 📋 可跳转HTML
📚 30章
01 验证计划概述
什么是验证计划 重要性 生命周期 团队角色与职责
02需求分析与规格提取
阅读设计规格书提取验证需求优先级划分可追溯性矩阵
03验证策略制定
黑盒验证白盒验证灰盒验证覆盖率驱动形式化验证
04验证环境架构设计
UVM组件概览driver/monitorsequencer/agentenv/test原则可重用性
05测试点分解方法
功能覆盖点边界值分析等价类划分状态机覆盖错误注入
06覆盖率模型设计
代码覆盖率功能覆盖率翻转覆盖率交叉覆盖率收集与合并
07验证用例规划
冒烟测试功能测试回归测试随机测试定向测试
08验证进度度量
计划完成度用例通过率覆盖率达标率bug收敛曲线完成准则
09UVM Sequence机制
sequence/item/driver启动方式嵌套virtual sequence库管理
10UVM寄存器模型
reg_model构建前门/后门访问寄存器预测测试序列RAL集成
11UVM TLM通信
port/export/impanalysis port/fifoblocking与非阻塞自定义TLM payload
12UVM phase机制
build/connect/runphase跳转domain配置执行顺序控制
13UVM config机制
config_db使用资源传递类型覆盖配置优先级常见错误
14UVM factory机制
factory注册类型覆盖override方法调试自定义creator
15UVM report机制
report severityreport idactionhook日志分级
16UVM callback机制
callback注册触发应用场景callback vs override
17UVM scoreboard设计
参考模型数据比对策略顺序/乱序比对容忍度设置
18UVM monitor设计
协议监测数据采集事务级建模覆盖率收集断言集成
19UVM driver设计
时序驱动握手协议响应处理错误注入性能优化
20UVM agent设计
active/passiveagent配置复用封装规范
21UVM env设计
环境层次化子环境集成配置复用调试
22UVM test设计
test分类配置执行流程序列控制复用
23UVM验证平台搭建实战
从零搭建组件连接仿真运行波形调试问题排查
24断言与属性检查
SVA基础语法断言绑定覆盖率调试形式化断言
25随机约束与求解
rand/randc约束块编写求解器控制随机稳定性种子管理
26后仿真验证
门级仿真时序反标SDF文件后仿真调试与RTL差异
27低功耗验证
UPF/CPF电源域划分电平转换隔离策略低功耗仿真
28验证自动化与脚本
仿真脚本回归管理覆盖率合并报告生成CI/CD集成
29验证计划评审与迭代
评审流程检查清单问题跟踪计划更新经验教训
30验证完结与签收
完成检查清单验证报告覆盖率签收bug分析总结项目复盘