CMP系统结构及测试向量生成方法的研究
| 第一章 引言 | 第1-19页 |
| ·课题研究目的及意义 | 第7-8页 |
| ·CMP的研究现状 | 第8-17页 |
| ·Hydra | 第8-11页 |
| ·MPOC | 第11-14页 |
| ·CMP结构的特点和优点 | 第14-15页 |
| ·CMP的分类 | 第15页 |
| ·CMP未来的研究方向 | 第15-17页 |
| ·研究内容 | 第17页 |
| ·论文的组织 | 第17-19页 |
| 第二章 THUMP107CMP的系统设计 | 第19-39页 |
| ·THUMP107CMP总体设计方案 | 第19-22页 |
| ·THUMP107微处理器内核 | 第22-25页 |
| ·CACHE的设计 | 第25-31页 |
| ·L1 CACHE的组织 | 第26-27页 |
| ·L2 CACHE的组织 | 第27-31页 |
| ·基于片内WISHBONE总线存储一致性 | 第31-37页 |
| ·WISHBONE总线简介 | 第31-32页 |
| ·一致性协议 | 第32-35页 |
| ·WISHBONE总线事务时序分析 | 第35-36页 |
| ·总线仲裁 | 第36-37页 |
| ·微处理器间的通信机制 | 第37-39页 |
| 第三章 验证程序的生成 | 第39-50页 |
| ·内核手写验证程序的生成方法 | 第39-46页 |
| ·IU的测试 | 第40-41页 |
| ·MDU的测试 | 第41页 |
| ·MMU的测试 | 第41-43页 |
| ·例外的测试 | 第43-45页 |
| ·联测 | 第45-46页 |
| ·CMP系统验证程序的生成方法 | 第46-50页 |
| ·存储一致性的验证 | 第46-48页 |
| ·通信机制的验证 | 第48-50页 |
| 第四章 结论及进一步工作 | 第50-52页 |
| 参考文献 | 第52-54页 |
| 致 谢 | 第54-55页 |
| 个人简历 | 第55页 |