01
AXI互连概述
AXI总线协议基础回顾 · 互连架构介绍 · 为什么需要功能覆盖与验证
基础架构
02
AXI通道信号详解
读地址/读数据 · 写地址/写数据/写响应 · 信号定义与时序
时序协议
03
AXI传输机制
握手协议 · 突发传输 · 乱序传输 · 交织传输
握手突发
04
AXI互连拓扑结构
共享总线 · 交叉开关 · NoC 对比与选择
拓扑架构
05
功能覆盖基础
覆盖率类型 · 功能覆盖点定义方法
覆盖率方法学
06
SystemVerilog断言基础
立即断言 · 并发断言 · 蕴含操作符 · 序列与属性
断言SV
07
AXI协议断言库
标准AXI断言 · 常见协议违规检查
断言库检查
08
功能覆盖组构建
covergroup · coverpoint · bins · 交叉覆盖率
覆盖组交叉
09
AXI写通道覆盖模型
写地址/数据/响应覆盖点 · 边界与异常场景
写通道边界
10
AXI读通道覆盖模型
读地址/数据覆盖点 · 读响应与数据交织
读通道交织
11
AXI互连仲裁覆盖
固定优先级 · 轮询 · 加权轮询 · 延迟与公平性
仲裁公平
12
AXI互连地址映射覆盖
地址解码 · 重叠 · 对齐覆盖验证策略
地址映射
13
AXI互连数据宽度转换覆盖
窄带/宽带传输 · 数据打包与拆包覆盖模型
宽度转换打包
14
AXI互连时钟域交叉覆盖
异步桥接 · 同步器 · CDC验证覆盖点
CDC异步
15
AXI互连低功耗接口覆盖
电源域切换 · 时钟门控 · 唤醒序列覆盖
低功耗门控
16
AXI互连QoS覆盖
服务质量标识符 · 优先级映射 · 带宽保证
QoS带宽
17
AXI互连错误处理覆盖
SLVERR · DECERR · 超时 · 错误传播
错误响应
18
AXI互连性能覆盖
吞吐量 · 延迟 · 带宽利用率覆盖度量
性能度量
19
UVM验证环境搭建
UVM基础组件 · agent/monitor/scoreboard · 验证平台架构
UVM环境
20
AXI互连序列器与驱动器
sequence · sequencer · driver · 事务级建模
序列驱动
21
AXI互连监视器与记分板
monitor数据采集 · scoreboard比对与错误报告
监视记分板
22
AXI互连参考模型
黄金参考模型构建 · 事务级比对策略
参考模型比对
23
随机化验证策略
约束随机测试 · 权重分配 · 定向与随机结合
随机约束
24
覆盖率驱动的验证流程
覆盖率闭环 · 收敛 · 逃逸分析
闭环收敛
25
AXI互连形式化验证
形式化基础 · 属性检查 · 边界条件证明
形式化证明
26
AXI互连回归测试
回归集管理 · 自动化运行 · 结果分析报告
回归自动化
27
AXI互连验证计划
验证计划文档 · 任务分解 · 里程碑与交付物
计划管理
28
AXI互连调试技巧
波形分析 · 日志分析 · 断点调试 · 问题定位
调试波形
29
AXI互连验证案例实战
多主多从 · 高带宽 · 异常场景验证
实战案例
30
AXI互连验证总结与展望
验证经验总结 · 行业趋势 · 未来方向
总结趋势