封面
声明
中文摘要
英文摘要
目录
缩略词表
第一章 绪论
1.1 引言
1.2 课题的选题依据与意义
1.3 国内外研究现状
1.4 论文的研究内容
1.5 论文的组织结构
第二章 SoC验证的相关技术
2.1 SoC验证技术简介
2.2 静态时序分析
2.3 系统级验证
2.4 FPGA原型验证
2.5 评价指标
第三章 基于PowerPC e200内核的SoC结构
3.1 计算机架构简介
3.2 PowerPC e200内核结构
3.3 基于PowerPC e200内核的SoC结构
第四章 SoC系统级验证方案的设计
4.1 内核功能验证
4.2 SoC功能验证
4.3 内核的工作状态
4.4 验证程序的结构
第五章 SoC系统级验证测试用例的设计
5.1 内核功能的测试用例
5.2 SoC的测试用例
第六章 SoC系统级验证结果分析
6.1 仿真验证结果分析
6.2 快速原型验证结果分析
6.3 总结
第七章 结论与展望
7.1 论文研究工作总结
7.2 今后的工作展望和思考
致谢
参考文献
个人简历及攻读硕士期间取得的研究成果