基于动作细化的异步电路自动综合
| 第一章 绪论 | 第1-30页 |
| ·动作细化方法 | 第14-23页 |
| ·原子与非原子动作细化 | 第15-16页 |
| ·语法和语义动作细化 | 第16-18页 |
| ·交织和真并发语义动作细化 | 第18-20页 |
| ·严格和不严格的细化形式 | 第20-22页 |
| ·动作细化将何去何从? | 第22-23页 |
| ·相关工作 | 第23-27页 |
| ·流水线微处理器 | 第24页 |
| ·握手扩展 | 第24-26页 |
| ·重排组 | 第26-27页 |
| ·本文创新 | 第27-28页 |
| ·本文组织 | 第28-30页 |
| 第二章 LOTOS简介 | 第30-40页 |
| ·基本LOTOS | 第31-34页 |
| ·数据类型 | 第34-35页 |
| ·LOTOS的操作语义 | 第35页 |
| ·基本建模方法 | 第35-40页 |
| 第三章 指称语义 | 第40-50页 |
| ·等待事件结构 | 第41-44页 |
| ·可组合的语义 | 第44-46页 |
| ·系统运行描述 | 第46-47页 |
| ·垂直双模拟关系 | 第47-50页 |
| 第四章 垂直与参数动作细化 | 第50-59页 |
| ·垂直实现动作细化 | 第50-54页 |
| ·定义 | 第51-52页 |
| ·垂直实现的证明规则 | 第52-54页 |
| ·参数化动作细化 | 第54-59页 |
| ·定义 | 第55-56页 |
| ·全局性质 | 第56-59页 |
| 第五章 语法动作细化与处理器刻画 | 第59-79页 |
| ·处理器模型 | 第60页 |
| ·形式化刻画 | 第60-79页 |
| ·取指令过程 | 第62-64页 |
| ·执行指令 | 第64-75页 |
| ·总体刻画 | 第75-79页 |
| 第六章 语义动作细化与握手扩展 | 第79-95页 |
| ·等待事件结构中的通信 | 第80-84页 |
| ·通道 | 第81-83页 |
| ·扩展握手协议 | 第83-84页 |
| ·扩展握手协议作为一个动作细化 | 第84-89页 |
| ·实例分析 | 第89-95页 |
| 第七章 重排组(Reshuffling) | 第95-107页 |
| ·状态图和并发性 | 第95-99页 |
| ·状态图 | 第96-97页 |
| ·激发域 | 第97-98页 |
| ·事件之间的并发关系 | 第98-99页 |
| ·并发约减 | 第99-100页 |
| ·基本操作：向前约减 | 第100-102页 |
| ·实现 | 第102-105页 |
| ·并发约减 | 第103-104页 |
| ·代价函数 | 第104-105页 |
| ·实验结果 | 第105-107页 |
| 第八章 结论 | 第107-111页 |
| ·总结 | 第107-108页 |
| ·将来的工作 | 第108-111页 |
| ·刻画 | 第108-109页 |
| ·编译 | 第109页 |
| ·异步数据通道 | 第109-110页 |
| ·与同步设计的接口 | 第110页 |
| ·具有数量约束的电路细化 | 第110-111页 |
| 参考文献 | 第111-123页 |
| 发表的论文 | 第123-125页 |
| 致谢 | 第125页 |
