| 目录 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 第一章 前言 | 第10-12页 |
| 1．1 课题背景及来源 | 第10-11页 |
| 1．2 本项研究的主要内容及关键技术 | 第11页 |
| 1．3 论文的内容安排 | 第11-12页 |
| 第二章 RISC及其指令系统 | 第12-18页 |
| 2．1 使用MIP532指令系统的RISC CPU | 第12-16页 |
| 2．1．1 流水结构 | 第12-13页 |
| 2．1．2 指令系统 | 第13-16页 |
| 2．2 流水线相关问题处理 | 第16-18页 |
| 2．2．1 结构相关的处理 | 第16-17页 |
| 2．2．2 控制相关的处理 | 第17页 |
| 2．2．3 数据相关的问题 | 第17-18页 |
| 第三章 代码实现和VCS验证 | 第18-23页 |
| 3．1 乘法器的仿真验证波形 | 第18-19页 |
| 3．2 运算器ALU的仿真验证波形 | 第19页 |
| 3．3 地址储存器的仿真验证波形 | 第19-20页 |
| 3．4 时钟发生器的部分仿真验证波形图 | 第20页 |
| 3．5 控制器的仿真验证波形图 | 第20-21页 |
| 3．6 数据控制器的仿真验证波形 | 第21页 |
| 3．7 寄存器的部分仿真验证波形 | 第21-22页 |
| 3．8 集成顶层模块的仿真验证波形 | 第22-23页 |
| 第四章 逻辑综合 | 第23-30页 |
| 4．1 逻辑综合流程 | 第23-24页 |
| 4．2 逻辑综合的具体步骤 | 第24-30页 |
| 4．2．1 数据路径的逻辑综合 | 第24-26页 |
| 4．2．2 各个模块的逻辑综合 | 第26-30页 |
| 第五章 形式验证 | 第30-42页 |
| 5．1 验证概述 | 第30-31页 |
| 5．2 验证的分类 | 第31-32页 |
| 5．3 形式验证 | 第32-33页 |
| 5．3．1 形式理论的算法层面 | 第33页 |
| 5．3．2 算法介绍 | 第33页 |
| 5．4 形式验证工具中的Formality | 第33-41页 |
| 5．4．1 Formality对参考设计和实现设计的要求 | 第33-34页 |
| 5．4．2 Formailty对传统的测试方法的改进及其特点 | 第34-35页 |
| 5．4．3 Formality基本概念 | 第35-41页 |
| 5．5 对设计进行形式验证的步骤 | 第41-42页 |
| 第六章 物理设计 | 第42-69页 |
| 6．1 物理设计流程 | 第42-44页 |
| 6．2 物理分层设计 | 第44-48页 |
| 6．2．1 物理设计中的问题 | 第44-45页 |
| 6．2．2 分层设计的优缺点 | 第45页 |
| 6．2．3 分层设计的实施 | 第45-47页 |
| 6．2．4 分层设计的时序收敛 | 第47-48页 |
| 6．3 RISC的物理设计分步实现 | 第48-61页 |
| 6．3．1 在FPC中初始化CHIP | 第48-49页 |
| 6．3．2 IO单元布局 | 第49页 |
| 6．3．3 顶层电源网络的布局 | 第49-50页 |
| 6．3．4 单元的移动板和聚集 | 第50-51页 |
| 6．3．5 精确聚集布局 | 第51-52页 |
| 6．3．6 电源布线 | 第52-53页 |
| 6．3．7 布图规划 | 第53-54页 |
| 6．3．8 物理设计执行 | 第54-61页 |
| 6．4 在物理设计中信号完整性问题的解决 | 第61-64页 |
| 6．5 设计中对功耗和面积的优化 | 第64-69页 |
| 6．5．1 静态单元库的局限性及动态生成库 | 第64-65页 |
| 6．5．2 降低功耗的方法 | 第65-69页 |
| 第七章 总结 | 第69-71页 |
| 参考文献 | 第71-74页 |
| 致谢 | 第74-75页 |
| 攻读硕士研究生期间所发表的学术论文 | 第75-76页 |
