第一部分 异步电路设计教程
第1章 引言
1.1 为什么要考虑异步电路
1.2 目的与背景
1.3 时钟与握手
1.4 第一部分概要
第2章 基础
2.1 握手协议
2.2 MullerC单元和指示原理
2.3 Muller流水线
2.4 电路实现方式
2.5 理论
2.6 测试
2.7 小结
第3章 静态数据流结构
3.1 引言
3.2 流水线和环路
3.3 构造块
3.4 一个简单的例子
3.5 环路的简单应用
3.6 FOR，IF和WHILE结构
3.7 更复杂的例子：最大公约数电路
3.8 补充例子
3.9 小结
第4章 性能
4.1 引言
4.2 电路性能的定性分析
4.3 性能的定量分析
4.4 相关图分析法
4.5 小结
第5章 握手电路实现
5.1 锁存器
5.2 分支、汇合与并入
5.3 功能块——基础
5.4 捆绑数据功能块
5.5 双轨功能块
5.6 混合功能块
5.7 多路选择器和多路分配器
5.8 互斥、仲裁和亚稳定性
5.9 小结
第6章 速度无关控制电路
6.1 引言
6.2 信号转换图
6.3 基本综合过程
6.4 采用状态保持元件实现
6.5 初始化
6.6 综合过程概述
6.7 Petrify：从STG综合sl电路的工具
6.8 用Petrify设计的实例
6.9 小结
第7章 高级4相捆绑数据协议和电路
7.1 通道和协议
7.2 静态类型检查
7.3 更高级的锁存器控制电路
7.4 小结
第8章 高级语言和工具
8.1 引言
8.2 CSP中的并发和信息传送
8.3 rangram：程序实例
8.4 rangram：面向语法编译
8.5 Martin的转换过程
8.6 使用VHDL进行异步设计
8.7 小结
附录AVHDL通道包
A.1 抽象通道包
A.2 实际通道包
第二部分 BaIsa——异步硬件综合系统
第9章 Balsa入门
9.1 概述
9.2 基本概念
9.3 工具集和设计流程
9.4 开始设计
9.5 Balsa辅助工具
第10章 Balsa语言
10.1 数据类型
10.2 数据类型相关问题
10.3 控制流和指令
10.4 二进制／单目运算符
10.5 程序结构
10.6 电路实例
10.7 通道选择
第11章 建立库元件
11.1 参数化描述
11.2 递归定义
第12章 一个简单的DMA控制器
12.1 全局寄存器
12.2 通道寄存器
12.3 DMA控制器结构
12.4 Balsa描述
第三部分 大规模异步电路设计
第13章 DESCALE：应用于低功耗智能卡设计实验
13.1 引言
13.2 VLSI中异步电路的程序设计
13.3 异步电路的机遇
13.4 非接触式智能卡
13.5 数字电路
13.6 结果
13.7 测试
13.8 电源
13.9 小结
第14章 异步维特比(Viterbi)解码器
14.1 引言
14.2 Viterbi解码器
14.3 系统参数
14.4 系统概述
14.5 路径度量单元(PMU)
14.6 历史单元
14.7 结果和设计评估
14.8 小结
第15章 处理器
15.1 Amulet微处理器简介
15.2 其他几种异步微处理器
15.3 处理器作为设计实例的缘由
15.4 处理器实现技术
15.5 存储器——实例研究
15.6 大型异步系统
15.7 小结
参考文献
索引
^ 收 起 
