X微处理器FPU异常处理设计与FPU验证
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 引言 | 第12-16页 |
| ·课题的研究背景 | 第12页 |
| ·浮点部件的相关研究概述 | 第12-14页 |
| ·课题研究的主要内容 | 第14-15页 |
| ·论文的结构 | 第15页 |
| ·本文的研究成果 | 第15-16页 |
| 第二章 X微处理器的FPU部件 | 第16-35页 |
| ·X微处理器简介 | 第16-17页 |
| ·X微处理器的浮点指令及浮点流水线 | 第17-21页 |
| ·X微处理器浮点指令 | 第18-19页 |
| ·浮点流水线 | 第19-21页 |
| ·X微处理器FPU内部结构 | 第21-34页 |
| ·FPU数据通路 | 第21-23页 |
| ·FPU控制单元 | 第23-26页 |
| ·FPU指数部件 | 第26-27页 |
| ·FPU尾数部件 | 第27-34页 |
| ·小结 | 第34-35页 |
| 第三章 FPU异常检测电路的设计与实现 | 第35-52页 |
| ·FPU异常处理介绍 | 第35页 |
| ·FPU异常的生成条件和异常屏蔽时的响应 | 第35-40页 |
| ·FPU异常检测电路的设计与实现 | 第40-51页 |
| ·浮点安全指令确认电路的实现 | 第42-45页 |
| ·栈出错检测电路的实现 | 第45-46页 |
| ·运算前数据检测电路的实现 | 第46-49页 |
| ·运算后数据检测电路的实现 | 第49-51页 |
| ·小结 | 第51-52页 |
| 第四章 FPU的验证 | 第52-83页 |
| ·功能验证的基本方法及FPU的验证规划 | 第52-58页 |
| ·模拟验证 | 第52-53页 |
| ·FPGA仿真验证 | 第53-54页 |
| ·X微处理器单芯片系统级验证 | 第54-57页 |
| ·X微处理器FPU的功能验证规划 | 第57-58页 |
| ·FPU的模块级验证 | 第58-63页 |
| ·系统级验证 | 第63-82页 |
| ·FPU指令级验证 | 第64-66页 |
| ·FPU的功能级验证 | 第66-69页 |
| ·FPU结构级验证 | 第69-78页 |
| ·特殊数据处理和异常的验证 | 第78-82页 |
| ·小结 | 第82-83页 |
| 第五章 工作总结与展望 | 第83-85页 |
| ·X微处理器FPU的浮点部件结构设计的优缺点总结 | 第83页 |
| ·X微处理器的浮点部件的验证问题的总结 | 第83-85页 |
| 致谢 | 第85-86页 |
| 附录A 浮点部件FPU支持的数据类型及处理 | 第86-95页 |
| 附录B 浮点指令总结 | 第95-97页 |
| 作者在学期间取得的学术成果 | 第97-98页 |
| 参考文献 | 第98-100页 |