声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1背景介绍
1.2国内外发展现状
1.3本文主要内容
1.4本文组织结构
第二章 验证方法学简介
2.1 System Verilog简介
2.2 UVM验证环境的组成结构
2.3 UVM基本类
2.4 UVM的phase机制
2.5 UVM的config_db机制
2.6 UVM的Sequence机制
2.7 UVM的寄存器模型
2.8本章小结
第三章 AXI互联接口
3.1 AXI协议简介
3.2 AXI互联接口
3.3验证需求及策略
3.4本章小结
第四章 基于UVM的AXI验证环境搭建
4.1统一AXI模块和后续模块的验证环境结构
4.2 AXI Interconnector验证环境中各个组件的实现
4.3本章小结
第五章 仿真结果分析
5.1 Questasim简介
5.2仿真验证
5.3仿真log输出
5.4仿真输出波形分析
5.5 AXI功能覆盖率
5.6本章小结
第六章 总结与展望
6.1总结
6.2展望
附录A
参考文献
致谢
作者简介