芯片验证方法论：UVM框架与随机测试

📚 共计 30 章节

验证的挑战

芯片复杂度提升 · 验证成为瓶颈 · 验证方法学的演进

方法论瓶颈分析

UVM是什么 · 核心思想 · 架构概览

UVM基础世界观

搭建第一个UVM环境

DUT简介 · Transaction/Sequence · Driver/Monitor · Agent/Env · Test/TB

UVM树形结构

uvm_component与uvm_object · 组件创建与连接 · phase机制概览

UVM Phase机制

build_phase · connect_phase · run_phase · 执行顺序与同步

UVM Objection机制

objection工作原理 · raise/drop_objection · 防止仿真提前结束

objection仿真控制

UVM Factory与重载

factory注册 · 类型/实例重载 · override使用场景

UVM Config机制

set/get · config_db · 层次化配置传递

配置config_db

UVM Sequence机制

sequence与sequencer · 启动与执行 · 嵌套与同步

sequencesequencer

UVM Driver与Monitor

Driver行为建模 · Monitor采样策略 · TLM端口通信

drivermonitorTLM

UVM Agent与Env

Agent封装 · Env构建 · 组件层次化组织

UVM Test与Testbench

Test启动流程 · Testbench顶层连接 · 仿真脚本与Makefile

UVM Report机制

消息严重级别 · ID与verbosity · 自定义report_server

report消息管理

TLM端口类型(put/get/analysis) · TLM FIFO · 连接与同步

UVM寄存器模型 (RAL)

RAL架构 · 寄存器/域建模 · 前门/后门访问

UVM寄存器模型 (进阶)

RAL sequence · 预测机制 · 集成与测试

RAL进阶预测

随机测试基础

SystemVerilog随机化 · rand/randc · 约束编写与解约束

随机化约束

随机约束进阶

内嵌/外部约束 · 权重与分布 · solve...before

约束进阶权重

随机化与功能覆盖

覆盖率类型 · covergroup/coverpoint · 交叉覆盖与覆盖仓

覆盖率covergroup

随机测试策略

定向vs随机 · 随机种子管理 · 回归测试与覆盖率收敛

UVM Sequence进阶

virtual sequence · 层次化调度 · 同步与互斥

sequence进阶virtual

Scoreboard设计模式 · 数据比对策略 · 预测器实现

scoreboard比对

UVM Coverage Collector

覆盖率收集组件 · 数据合并 · 覆盖率驱动验证

覆盖率收集CDV

UVM断言 (Assertion)

SVA基础 · 断言在UVM中集成 · 断言覆盖率

UVM调试技巧

波形调试 · 打印控制 · debug特性 · 常见问题排查

UVM性能优化

仿真速度优化 · 内存管理 · TLM通信优化 · 随机化调优

UVM与形式化验证

形式化验证简介 · UVM与形式化结合 · 断言检查与属性验证

形式化属性

UVM与低功耗验证

低功耗设计简介 · UPF与UVM集成 · 功耗状态随机测试

UVM项目实战 (一)

需求分析 · 验证计划 · 环境搭建 · 随机用例开发

UVM项目实战 (二)

回归测试 · 覆盖率分析 · Bug修复 · 验证收敛与文档