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页 |