| 摘要 | 第1页 |
| ABSTRACT | 第3-6页 |
| 第一章 引言 | 第6-13页 |
| ·课题背景及意义 | 第6-8页 |
| ·课题的研究现状 | 第8-11页 |
| ·系统级设计语言和设计方法学的发展 | 第9-10页 |
| ·存储系统的研究动态 | 第10-11页 |
| ·课题的研究目的和意义 | 第11页 |
| ·本文的研究内容与组织结构 | 第11-13页 |
| 第二章 ARM32位处理器存储器管理单元系统级模型设计 | 第13-30页 |
| ·MMU工作原理分析 | 第13-18页 |
| ·虚存工作原理 | 第13-14页 |
| ·ARM MMU介绍 | 第14-16页 |
| ·页表 | 第16页 |
| ·一级页表项 | 第16-17页 |
| ·二级页表项 | 第17页 |
| ·地址变换过程 | 第17-18页 |
| ·MMU模型的设计 | 第18-29页 |
| ·数据结构 | 第19-20页 |
| ·FCSE | 第20-21页 |
| ·TLB的查找过程 | 第21-23页 |
| ·MMU的查找过程 | 第23页 |
| ·查页表过程 | 第23-24页 |
| ·基于段的地址转换过程 | 第24-25页 |
| ·段访问命中过程 | 第25-26页 |
| ·检查段的访问权限过程 | 第26-27页 |
| ·由粗粒度页表描述符获取二级描述符的过程 | 第27-28页 |
| ·由细粒度页表描述符获取二级描述符的过程 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 ARM32位处理器存储器管理单元模型实现 | 第30-40页 |
| ·MMU模型的实现 | 第30-39页 |
| ·初始化 | 第30页 |
| ·与MMU有关的函数 | 第30-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 ARM32位处理器存储器管理单元系统级模型验证 | 第40-45页 |
| ·S3C2410A简介 | 第40-41页 |
| ·嵌入式硬件仿真测试平台的设计和实现 | 第41-43页 |
| ·本章小结 | 第43-45页 |
| 总结和展望 | 第45-46页 |
| 参考文献 | 第46-48页 |
| 致谢 | 第48-49页 |
| 在校期间发表论文和参加科研情况 | 第49页 |