| 摘要 | 第1-14页 |
| Abstract | 第14-16页 |
| 第一章 绪论 | 第16-28页 |
| ·研究背景 | 第16-20页 |
| ·异步电路设计vs.同步电路设计 | 第16-18页 |
| ·异步电路设计技术对微处理器发展的影响 | 第18-19页 |
| ·异步微处理器设计面临的挑战 | 第19-20页 |
| ·相关工作研究现状分析 | 第20-23页 |
| ·异步电路设计方法 | 第20-21页 |
| ·异步微处理器 | 第21-23页 |
| ·课题来源 | 第23页 |
| ·本文的主要内容及创新点 | 第23-25页 |
| ·研究内容 | 第23-24页 |
| ·本文工作及创新点 | 第24-25页 |
| ·本文的结构安排 | 第25-28页 |
| 第二章 异步电路设计方法综述 | 第28-50页 |
| ·引言 | 第28-29页 |
| ·异步电路设计基础 | 第29-31页 |
| ·握手协议 | 第29页 |
| ·编码方式 | 第29-30页 |
| ·延迟模型 | 第30-31页 |
| ·异步电路设计发展历程 | 第31-34页 |
| ·语法指导的异步电路设计方法 | 第34-40页 |
| ·前端编译 | 第35-37页 |
| ·后端映射 | 第37-38页 |
| ·数据驱动异步电路设计工具—Teak | 第38-40页 |
| ·基于同步电路的异步电路设计流程 | 第40-46页 |
| ·基于延迟匹配的同步-异步转换方法 | 第40-43页 |
| ·基于准延迟无关的同步-异步转换方法 | 第43-46页 |
| ·基于定制的高性能异步电路设计方法 | 第46-48页 |
| ·异步电路设计方法分析比较 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第三章 数据驱动异步电路中的关键路径分析与优化 | 第50-72页 |
| ·引言 | 第50-51页 |
| ·数据驱动异步流水线 | 第51-53页 |
| ·数据驱动异步电路中的关键路径分析方法 | 第53-61页 |
| ·定义 | 第53-55页 |
| ·部件级分析方法 | 第55-56页 |
| ·门级分析方法 | 第56-59页 |
| ·两个层次分析的合并 | 第59-61页 |
| ·算法复杂度分析 | 第61页 |
| ·关键路径分析在Teak中的实现 | 第61-71页 |
| ·基于关键路径的锁存器插入 | 第61-64页 |
| ·设计实例 | 第64-65页 |
| ·实验 | 第65-71页 |
| ·本章小结 | 第71-72页 |
| 第四章 数据驱动异步电路中基于结构的死锁检测技术 | 第72-92页 |
| ·引言 | 第72-73页 |
| ·数据驱动异步电路基本部件建模 | 第73-77页 |
| ·数据驱动异步部件网络 | 第75-76页 |
| ·良定义的数据驱动异步部件网络 | 第76-77页 |
| ·无死锁SMFJ异步部件网络的充要条件分析 | 第77-80页 |
| ·无死锁SMFJ部件网络中的Slack弹性分析 | 第80-83页 |
| ·基于结构的死锁检测技术在Teak中的实现 | 第83-89页 |
| ·基于Petri网的死锁检测技术 | 第84-87页 |
| ·基于结构的死锁检测技术 | 第87-88页 |
| ·实验结果比较 | 第88-89页 |
| ·本章小结 | 第89-92页 |
| 第五章 基于事件行为模型的数据驱动异步电路高速模拟评估及优化技术 | 第92-106页 |
| ·引言 | 第92页 |
| ·异步流水线性能评估概述 | 第92-96页 |
| ·线性无环异步流水线 | 第93页 |
| ·线性异步流水线环 | 第93-94页 |
| ·无条件分支异步流水线 | 第94-95页 |
| ·非线性条件分支异步流水线 | 第95-96页 |
| ·事件行为模型 | 第96-98页 |
| ·定义 | 第96-97页 |
| ·行为延迟分析 | 第97-98页 |
| ·数据相关操作建模 | 第98页 |
| ·基于事件行为模型的模拟器设计 | 第98-100页 |
| ·模拟器算法实现 | 第98-99页 |
| ·基于Esim的吞吐率分析方法 | 第99-100页 |
| ·基于模拟Trace的吞吐率优化技术 | 第100-102页 |
| ·Teak中的性能模拟评估与优化实现 | 第102-104页 |
| ·本章小结 | 第104-106页 |
| 第六章 粗粒度数据驱动异步电路设计流程及微处理器原型 | 第106-124页 |
| ·引言 | 第106-107页 |
| ·基于宏单元的异步电路设计流程 | 第107-115页 |
| ·数据通路设计方法 | 第108-109页 |
| ·控制通路设计方法 | 第109-112页 |
| ·宏单元全定制流程 | 第112-113页 |
| ·基于宏单元的异步电路设计自动化流程 | 第113-115页 |
| ·粗粒度的数据驱动异步电路设计流程 | 第115-117页 |
| ·数据驱动异步微处理器原型实现 | 第117-121页 |
| ·NanoSpa | 第117-119页 |
| ·NanoSpa基于粗粒度的数据驱动异步电路设计流程的实现 | 第119-121页 |
| ·实验结果 | 第121-123页 |
| ·延迟分布情况分析 | 第121-122页 |
| ·死锁检测 | 第122页 |
| ·性能功耗模拟结果 | 第122-123页 |
| ·本章小结 | 第123-124页 |
| 第七章 结束语 | 第124-128页 |
| ·工作总结 | 第124-125页 |
| ·工作展望 | 第125-128页 |
| 致谢 | 第128-130页 |
| 参考文献 | 第130-146页 |
| 作者在学期间取得的学术成果 | 第146-150页 |
| 学术论文 | 第146-148页 |
| 专著 | 第148页 |
| 作者在学期间参加的主要研究与获奖情况 | 第148-150页 |
| 附录 A Teak部件网络示例代码 | 第150-153页 |
| A.1 Add_8的原始部件网络代码 | 第150-152页 |
| A.2 优化后的粗粒度ADD_8部件网络代码 | 第152-153页 |
