📘 接口协议验证实战
30章 · 仿真验证
🧪
UVM / SystemVerilog
01
协议验证基础
接口协议定义 · 仿真验证必要性 · V模型与UVM框架
02
仿真环境搭建
EDA工具(VCS/Questa) · 编译流程 · Makefile自动化
03
SystemVerilog基础
数据类型 · interface · clocking · assertion入门
04
驱动与监测
Driver/Monitor · Sequence与Sequencer机制
05
覆盖率驱动验证
功能覆盖率定义 · 收集 · 收敛策略
06
断言与属性检查
立即/并发断言 · SVA序列 · 协议验证应用
07
AHB协议验证实战
AHB信号时序 · Master/Slave · 协议检查器
08
APB协议验证实战
APB状态机 · Slave响应 · 覆盖率模型
09
AXI协议验证实战
通道握手 · 乱序ID · 完整性检查
10
AXI-Lite协议验证
AXI-Lite vs Full · 寄存器读写 · 地址对齐
11
AXI-Stream协议验证
TREADY/TVALID · KEEP/STRB · 包完整性
12
OOP在验证中的应用
类与对象 · 继承多态 · 工厂模式(UVM)
13
UVM核心组件
uvm_component/object · agent · env · test
14
UVM序列机制
uvm_sequence/sequencer · 启动仲裁 · 库管理
15
UVM配置机制
uvm_config_db · 资源分层 · 覆盖重载
16
UVM寄存器模型
reg_model · 前/后门访问 · 预测与镜像
17
UVM TLM通信
TLM端口/导出 · Analysis Port · FIFO
18
UVM Phase机制
build/connect/run/report phase
19
UVM序列库与虚拟序列
virtual sequence · sequence library · 多接口协同
20
UVM覆盖率收集
covergroup集成 · 跨模块覆盖率 · 报告生成
21
UVM验证环境集成
验证计划 · 组件连接 · 测试用例编写
22
UVM调试技巧
波形调试 · 日志分析 · UVM打印 · 回调
23
UVM性能优化
仿真加速 · 内存管理 · 并行序列优化
24
UVM可重用性设计
参数化组件 · 配置数据库 · 回调重载
25
UVM与形式化验证
静态/动态互补 · 断言形式化证明
26
UVM与低功耗验证
电源域管理 · 低功耗序列 · UPF集成
27
UVM与混合信号验证
模拟信号建模 · 数模接口 · real类型
28
UVM与软硬件协同
虚拟原型 · TLM-2.0 · 硬件加速器
29
UVM验证管理
版本控制 · 回归测试 · 覆盖率合并 · 进度度量
30
综合项目实战 (I2C)
从零搭建UVM环境 · 组件/用例/覆盖率分析