📘 SystemVerilog 验证方法学
入门 · 30章完整目录
🧪 UVM
📊 覆盖率
⚡ 断言
🎯 随机化
01
验证方法学概述
验证重要性 · 方法学演进 · UVM简介
02
SystemVerilog基础回顾
数据类型 · 数组 · 结构体 · 枚举 · 字符串
03
面向对象编程基础
类与对象 · 构造函数 · 封装 · 继承 · 多态
04
随机化与约束
随机化概念 · rand/randc · 约束块 · 内嵌约束
05
功能覆盖率
覆盖率类型 · covergroup · coverpoint · cross · bin
06
断言基础
立即断言 · 并发断言 · assert/assume/cover · SVA
07
接口与modport
interface · modport方向 · clocking block
08
验证环境组件
Driver · Monitor · Agent · Scoreboard · Environment
09
事务级建模
transaction · TLM通信 · put/get/port/export
10
UVM核心概念
UVM树 · uvm_component · uvm_object · phase
11
UVM序列与序列器
uvm_sequence · uvm_sequencer · 启动方式
12
UVM驱动与监视器
uvm_driver · uvm_monitor · item驱动与收集
13
UVM代理与环境
uvm_agent · uvm_env · 连接与配置
14
UVM测试与测试用例
uvm_test · testcase编写 · factory机制
15
UVM配置机制
uvm_config_db · set/get · 资源管理
16
UVM消息报告
uvm_report_handler · verbosity · 消息ID/严重性
17
UVM寄存器模型
reg_model · reg_block · reg_field · 前/后门访问
18
UVM序列库
sequence library · virtual sequence · layering
19
UVM TLM通信
TLM1.0 vs TLM2.0 · analysis port · fifo
20
UVM回调机制
uvm_callback · 注册与调用 · 应用场景
21
UVM覆盖率收集
覆盖率集成 · covergroup在UVM · 数据采样
22
UVM断言集成
断言嵌入 · 断言与scoreboard联动
23
UVM调试技巧
phase调试 · 波形分析 · 打印控制 · 断点
24
UVM性能优化
仿真速度 · 内存管理 · 并行执行
25
UVM高级序列
序列仲裁 · 嵌套 · 同步
26
UVM寄存器测试
寄存器读写测试 · 依赖测试 · 覆盖率
27
UVM验证计划
验证计划制定 · 验证点分解 · 进度跟踪
28
UVM可重用性设计
参数化组件 · 宏定义 · 配置数据库 · 代码复用
29
UVM与形式化验证
形式化基础 · UVM结合 · 断言证明
30
UVM项目实战
完整环境搭建 · 测试用例 · 回归测试 · 结果分析