📘 基于仿真的IP功能验证全攻略
🎯 30章 · 从入门到专家
风格 · 明快系统
📁 点击卡片跳转章节
🧪 仿真验证
01
验证概述
IP验证定位
功能验证
仿真区别
02
验证计划制定
目标定义
范围划分
功能点分解
验证矩阵
03
验证环境搭建
UVM基础
组件划分
连接配置
04
SystemVerilog基础
数据类型
接口
断言
随机化
覆盖率
05
UVM核心机制
factory
phase
config_db
sequence
06
激励生成策略
直接测试
随机测试
定向随机
约束求解
07
参考模型设计
事务级建模
黄金模型
DUT对比
08
断言与检查
立即断言
并发断言
属性
SVA
09
覆盖率驱动验证
代码覆盖率
功能覆盖率
收敛策略
10
仿真调试技巧
波形调试
日志分析
断点
TCL
11
回归测试管理
回归流程
自动化脚本
用例管理
结果比对
12
验证IP复用
VIP概念
商用/自研
封装集成
13
接口协议验证
AXI
APB
AHB
协议检查器
14
低功耗验证
功耗意图
低功耗仿真
电源域切换
UPF
15
形式化验证入门
属性检查
等价性检查
互补
16
门级仿真
网表仿真
SDF反标
时序检查
17
软硬件协同验证
虚拟原型
硬件加速
FPGA原型
协同调试
18
验证流程自动化
Makefile
脚本化
CI/CD
报告生成
19
验证度量与质量
完成标准
逃逸率
效果评估
改进
20
验证项目管理
团队分工
进度跟踪
风险管控
文档
21
验证案例实战一
UART IP
计划到收敛
22
验证案例实战二
SPI IP
主从模式
多从机
23
验证案例实战三
I2C IP
多主机仲裁
时钟拉伸
24
验证案例实战四
DMA IP
多通道
描述符链
25
验证案例实战五
Ethernet MAC
数据包
流量控制
26
验证案例实战六
USB 2.0 Device
枚举
批量传输
27
验证案例实战七
DDR Controller
初始化
读写时序
28
验证案例实战八
PCIe EP
配置空间
TLP包
29
验证案例实战九
ISP图像处理
像素流水线
寄存器
30
验证总结与展望
方法论演进
AI辅助
未来趋势