| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 致谢 | 第7-10页 |
| 图目录 | 第10-12页 |
| 表目录 | 第12-13页 |
| 第一章 绪论 | 第13-19页 |
| ·国内外研究概况 | 第13-16页 |
| ·研究与实现的意义 | 第16-17页 |
| ·论文内容及目标 | 第17-18页 |
| ·论文的贡献 | 第18-19页 |
| 第二章 Leon微处理器的介绍 | 第19-36页 |
| ·Leon3微处理器的主要特点 | 第19-22页 |
| ·寄存器窗口 | 第22-26页 |
| ·工作寄存器 | 第22-23页 |
| ·控制/状态寄存器 | 第23-26页 |
| ·指令集 | 第26-30页 |
| ·指令集结构的分类 | 第26-29页 |
| ·指令格式 | 第29-30页 |
| ·指令类型 | 第30页 |
| ·流水线结构 | 第30-32页 |
| ·AMBA总线 | 第32-36页 |
| ·AHB总线主要组成部分 | 第33-34页 |
| ·主单元状态表示 | 第34-35页 |
| ·从单元状态表示 | 第35-36页 |
| 第三章 SPARC V8 Reference MMU | 第36-43页 |
| ·虚拟内存技术的基本原理 | 第36-37页 |
| ·虚拟存储器的特点 | 第37-39页 |
| ·内存管理单元 MMU | 第39-41页 |
| ·SPARC SRMM地址转换 | 第41-43页 |
| 第四章 双tag数据 Cache控制器的设计 | 第43-58页 |
| ·Cache控制器的工作原理 | 第43-46页 |
| ·映像规则 | 第43-44页 |
| ·搜索方法 | 第44-45页 |
| ·替换算法和写策略 | 第45-46页 |
| ·数据 Cache一致性问题 | 第46-48页 |
| ·现有的解决方法 | 第48-53页 |
| ·基于总线监听的 MESI方案 | 第48-51页 |
| ·目录表法方案 | 第51-52页 |
| ·解决方案实例 | 第52-53页 |
| ·双tag的数据cache | 第53-58页 |
| ·数据 Cache的监听 | 第54-55页 |
| ·Cache行的更新 | 第55-58页 |
| 第五章 设计验证 | 第58-77页 |
| ·验证概念与研究内容 | 第58-59页 |
| ·验证流程与计划 | 第59-65页 |
| ·功能验证 | 第61-63页 |
| ·功能验证方法 | 第63-65页 |
| ·静态时序分析和形式验证 | 第65-73页 |
| ·用 PrimeTime做静态时序分析 | 第65-69页 |
| ·用 Formality做形式验证 | 第69-73页 |
| ·FPGA验证 | 第73-77页 |
| ·开发板介绍 | 第73-74页 |
| ·仿真和综合 | 第74-75页 |
| ·下载调试 | 第75-77页 |
| 第六章 结束语 | 第77-80页 |
| ·总结 | 第77-78页 |
| ·展望 | 第78-80页 |
| 参考文献 | 第80-83页 |
| 作者在学期间取得的学术成果 | 第83-84页 |
| 附录A:双cpu同步测试结果 | 第84-88页 |
| 附录B:linux-smp测试结果 | 第88-92页 |