📘 接口IP验证实战
30章 · 从入门到项目
🎯 友好色系
01
接口IP验证概述
什么是接口IP
验证位置
验证工程师职责
02
验证环境架构
UVM基础
driver/monitor
scoreboard
环境搭建流程
03
SystemVerilog基础
数据类型
interface
clocking block
断言基础
04
UVM核心机制
factory
phase
config_db
sequence
05
验证计划制定
阅读协议文档
提取验证点
功能覆盖计划
06
搭建最小验证环境
testbench顶层
连接DUT
driver/monitor
07
Sequence与Sequencer
启动方式
仲裁
嵌套与分层
08
Scoreboard与参考模型
数据比对
预测逻辑
延时匹配
09
覆盖率驱动验证
代码/功能/断言
覆盖组
收集与分析
10
寄存器模型 (RAL)
RAL生成
前门/后门
预测与镜像
11
接口协议分析 (APB)
APB时序
VIP搭建
验证实战
12
接口协议分析 (AXI)
通道与握手
乱序传输
验证组件
13
接口协议分析 (I2C)
时序状态机
agent开发
多主从验证
14
接口协议分析 (SPI)
模式配置
master/slave
DMA交互
15
接口协议分析 (UART)
帧格式
波特率生成
中断处理
16
验证环境调试技巧
波形查看
日志分级
断点单步
17
断言 (SVA) 实战
立即/并发断言
断言覆盖率
IP验证应用
18
随机化策略
SV随机化
约束写法
结合功能覆盖
19
低功耗验证
电源域划分
UPF基础
低功耗接口验证
20
形式化验证入门
对比动态仿真
属性检查
应用场景
21
验证环境复用
参数化agent
VIP封装
跨项目复用
22
性能验证
带宽计算
延迟测量
吞吐量验证
23
错误注入与异常测试
协议错误注入
数据破坏
恢复机制
24
回归测试管理
回归脚本
用例分级
结果自动比对
25
验证环境性能优化
仿真速度
内存优化
多线程仿真
26
门级仿真 (GLS)
SDF反标
GLS环境搭建
X态传播
27
验证文档与报告
验证计划文档
验证报告
bug追踪
28
验证环境调试进阶
死锁分析
竞争条件
随机种子复现
29
验证自动化
脚本自动化
Makefile
CI/CD集成
30
综合实战项目
UART IP验证
核心组件
从零搭建