封面
声明
中文摘要
英文摘要
插图索引
表格索引
缩略语对照表
目录
第一章 绪论
1.1研究的背景和意义
1.2国内外研究现状
1.3论文主要工作与内容安排
第二章 理论基础与验证需求分析
2.1 高级验证语言与验证方法学
2.2 AMBA总线规范
2.3 SoC结构与验证需求分析
2.4 本章小结
第三章 基于UVM可重用验证平台的建立与应用
3.1 验证任务分析
3.2 验证平台结构设计
3.3 低层次验证组件设计
3.4验证实施
3.5 本章小结
第四章 基于UVM验证平台可重用性应用
4.1 验证任务分析
4.2 验证平台可重用性应用
4.3 验证的实施
4.4 系统级可重用性探究
4.5 本章小结
第五章 总结与展望
5.1 总结
5.2 展望
致谢
参考文献
附录A 覆盖组收集
附录B 部分记录报告