封面
声明
中文摘要
英文摘要
英语缩略语表
目录
第一章 绪论
1.1 论文研究背景
1.2 目前研究现状
1.3 论文的主要内容与章节安排
第二章 嵌入式处理器结构
2.1 嵌入式处理器结构分析
2.2 嵌入式处理器总线分析
2.3 验证对象结构
2.4 本章小结
第三章 验证技术研究
3.1 芯片设计流程
3.2 功能验证方法
3.3 FPGA验证流程
3.4 代码优化
3.5 代码移植
3.6 代码分割
3.7 硬件调试方法
3.8 本章小结
第四章 FPGA验证资源
4.1 FPGA芯片结构
4.2 IP资源
4.3 FPGA验证板
4.4 本章小结
第五章 验证平台设计
5.1 验证平台需求分析
5.2 代码移植具体实施
5.3 基本系统搭建过程
5.4 本章小结
第六章 验证结果分析
6.1 验证目标
6.2 验证环境和软件工具
6.3 模块级验证
6.4 系统级验证
6.5 应用验证
6.6 本章小结
第七章 总结和展望
7.1 全文总结
7.2 研究展望
参考文献
致谢
攻读硕士学位期间已发表或录用的论文