航空高可靠处理器容错设计与实现
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-16页 |
| ·课题研究背景 | 第12-13页 |
| ·课题研究现状 | 第13-15页 |
| ·国外研究现状 | 第13-14页 |
| ·国内研究现状 | 第14-15页 |
| ·课题研究内容 | 第15页 |
| ·论文结构 | 第15-16页 |
| 第二章 高可靠微处理器设计 | 第16-33页 |
| ·空间辐射环境及对微处理器的影响 | 第16-23页 |
| ·空间辐射环境 | 第16-17页 |
| ·空间辐射的影响 | 第17-23页 |
| ·SPARC V8系统结构 | 第23-26页 |
| ·SPARC V8的特点和组成 | 第23-25页 |
| ·SPARC V8的实现—Leon3 | 第25-26页 |
| ·高可靠处理器设计 | 第26-32页 |
| ·普通处理器的单粒子翻转概率 | 第26-28页 |
| ·高可靠处理器的单粒子翻转概率 | 第28-31页 |
| ·高可靠处理器抗单粒子性能 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 高可靠处理器整数部件设计与实现 | 第33-49页 |
| ·整数处理单元 | 第33-37页 |
| ·七级流水线 | 第33-35页 |
| ·寄存器文件 | 第35-37页 |
| ·高可靠整数处理单元 | 第37-48页 |
| ·汉明码技术研究 | 第37-39页 |
| ·高可靠整数部件设计 | 第39-42页 |
| ·高可靠整数部件实现和验证 | 第42-48页 |
| ·本章小结 | 第48-49页 |
| 第四章 高可靠处理器Cache系统设计与实现 | 第49-63页 |
| ·Leon3 Cache系统 | 第49-54页 |
| ·微处理器的存储系统结构 | 第49-51页 |
| ·指令Cache设计 | 第51-52页 |
| ·数据Cache设计 | 第52-54页 |
| ·高可靠Cache系统 | 第54-62页 |
| ·循环校验码技术研究 | 第54-56页 |
| ·高可靠Cache系统设计 | 第56-58页 |
| ·高可靠Cache系统实现和验证 | 第58-62页 |
| ·本章小结 | 第62-63页 |
| 第五章 高可靠处理器FPGA验证 | 第63-69页 |
| ·FPGA验证平台 | 第63-65页 |
| ·FPGA验证硬件平台 | 第63-65页 |
| ·FPGA验证软件平台 | 第65页 |
| ·高可靠处理器验证 | 第65-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 结束语 | 第69-70页 |
| ·全文工作总结 | 第69页 |
| ·进一步工作展望 | 第69-70页 |
| 致谢 | 第70-71页 |
| 参考文献 | 第71-74页 |
| 作者在学期间取得的学术成果 | 第74页 |
