流体系结构模拟器及模拟验证技术研究
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-20页 |
| ·当代微处理器设计所面临的挑战 | 第12-14页 |
| ·科学计算和流计算 | 第14-15页 |
| ·流体系结构 | 第15-16页 |
| ·流编程模型 | 第15页 |
| ·并行性和局部性 | 第15-16页 |
| ·与向量结构的对比 | 第16页 |
| ·模拟器及模拟验证 | 第16-18页 |
| ·本文的主要工作与成果 | 第18-19页 |
| ·论文结构 | 第19-20页 |
| 第二章 X 处理器的体系结构简介 | 第20-29页 |
| ·总体结构 | 第20页 |
| ·流级体系结构 | 第20-21页 |
| ·流级指令格式 | 第21-22页 |
| ·核级体系结构 | 第22-24页 |
| ·核级指令格式 | 第24-25页 |
| ·核级流水线 | 第25页 |
| ·X 处理器的存储层次 | 第25-26页 |
| ·X 处理器的软件流水支持 | 第26-27页 |
| ·工作模式 | 第27-28页 |
| ·小结 | 第28-29页 |
| 第三章 X 处理器的模拟器设计 | 第29-45页 |
| ·设计目标 | 第29-30页 |
| ·总体结构 | 第30-31页 |
| ·模拟算法 | 第31-35页 |
| ·离散事件系统的模拟算法 | 第31-32页 |
| ·数字电路系统的模拟算法 | 第32页 |
| ·体系结构模拟器的模拟算法 | 第32-35页 |
| ·硬件模块的模拟 | 第35-38页 |
| ·类关系图 | 第38-39页 |
| ·芯片间互连的模拟 | 第39-41页 |
| ·核级子系统的模拟 | 第41-44页 |
| ·核级接口函数 | 第41页 |
| ·功能单元流水线的模拟 | 第41-42页 |
| ·浮点运算单元的模拟 | 第42-44页 |
| ·小结 | 第44-45页 |
| 第四章 基于模拟器的功能验证平台 | 第45-50页 |
| ·基于软件模拟的验证方法 | 第45-46页 |
| ·Verilog 语言的PLI 接口 | 第46-47页 |
| ·模块级验证 | 第47-48页 |
| ·离线验证方法 | 第47-48页 |
| ·在线验证方法 | 第48页 |
| ·系统级验证平台 | 第48-49页 |
| ·小结 | 第49-50页 |
| 第五章 模拟器实现及实验结果 | 第50-58页 |
| ·模拟器功能特性 | 第50页 |
| ·模拟器用户接口 | 第50-52页 |
| ·模拟环境及模拟结果 | 第52-53页 |
| ·模拟加速方法 | 第53-56页 |
| ·译码结果缓冲 | 第54-55页 |
| ·功能单元流水线级数优化 | 第55-56页 |
| ·小结 | 第56-58页 |
| 第六章 结束语 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 作者在学期间取得的学术成果 | 第65页 |
