基于SPARC的嵌入式系统仿真平台研究

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-23页
·研究背景与意义	第8-10页
·处理器仿真技术及其研究现状	第10-13页
·处理器仿真技术	第10-12页
·仿真器研究现状	第12-13页
·SPARC体系介绍	第13-20页
·SPARC处理器概述	第14页
·寄存器	第14-16页
·指令集	第16-18页
·存储模型	第18-19页
·陷阱	第19-20页
·研究目标与内容	第20-21页
·论文结构	第21-23页
2 仿真平台设计	第23-36页
·仿真平台结构设计	第23-24页
·IU设计	第24-25页
·中断系统	第25-28页
·中断响应流程	第26-28页
·中断模拟	第28页
·Cache设计	第28-32页
·基于SystemC的总线模块设计	第32-35页
·辅助调试功能设计	第35-36页
3 系统验证方法研究	第36-50页
·随机测试	第36-37页
·Mibench基准测试功能验证	第37-38页
·软硬件协同验证方法研究	第38-40页
·软硬件协同验证方法设计	第38-39页
·基于FPGA的软硬件协同验证平台	第39-40页
·基于马尔可夫使用模型的软件可靠性测试方法研究	第40-45页
·马尔可夫使用模型	第41-42页
·基于马尔可夫使用模型的测试用例生成方法	第42-45页
·基于排队论模型的性能评估研究	第45-50页
·嵌入式软件的排队论模型	第46-47页
·基于排队论模型的性能评估方法	第47-50页
4 系统验证实验	第50-56页
·系统软硬件平台	第50-51页
·实验流程	第51-56页
·仿真平台运行实验	第52-54页
·软硬件协同验证平台配置	第54-56页
结论	第56-57页
参考文献	第57-59页
攻读硕士学位期间发表学术论文情况	第59-60页
致谢	第60-61页