《异步电路设计》是尤他大学迈尔斯教授所写的异步集成电路教材。他领导着全球唯一的专门研究定时电路的实验室，是此方面的权威。本书覆盖了异步电路的各个方面，涉及信道模型、通信协议、异步自动机、延迟不敏感电路、定时电路，以及异步验证方面的内容。其中定时电路是所有异步电路中速度最快，最节省器件的一类，也是最难设计的。定时电路较少有人系统研究，一些信息仅零散出现于论文中。

当异步电路在功耗和速度方面的优势得到重视后，其在商业上的重要性正在迅速增长。现有书籍的主题往往集中于建模，《异步电路设计》是尤他大学迈尔斯教授所写的异步集成电路教材。全面覆盖了现代异步设计的方法，为学生和从业者提供了异步电路设计方面的专业信息。

首先简单概述了主题，引入异步通信的概念并描述用VHDL规范异步设计的方法，然后具体展开信道模型、通信协议、异步自动机、延迟不敏感电路、定时电路以及异步验证等方面的内容。

《异步电路设计》包括供进一步自学所需的参考资料和测试的练习，附录涵盖基本集合理论和逻辑，并提供用于标准模拟器VHDL包。

《异步电路设计》对电子信息类专业的离年级本科生和研究生、工业界的从业设计师和开发人员来说是较重要的资源。

原著者犹他州立大学电机工程学系Myers教授领导着全球唯一的专门研究定时电路的实验室，是此方面的权威；该实验室应用定时电路设计技术开发的RAPPID电路达到了很高的性能。

1 绪论

1.1 问题说明

1.2 通信通道

1.3 通信协议

1.4 图形表示

1.5 延迟不敏感电路

1.6 霍夫曼电路

1.7 马勒电路

1.8 定时电路

1.9 验证

1.10 应用

1.11 让我们开始

1.12 原始文献

习题

2 通信通道

2.1 基本结构

2.2 VHDL中的结构建模

2.3 控制结构

2.3.1 选择

2.3.2 循环

2.4 死锁

2.5 探查

2.6 并行通信

2.7 例子：MiniMIPS

2.7.1 VHDL规范

2.7.2 优化的MiniMIPS

2.8 原始文献

习题

3 通信协议

3.1 基本结构

3.2 主动和被动端口

3.3 握手展开

3.4 调序

3.5 状态变量插入

3.6 数据编码

3.7 例子：两个酒铺

3.8 语法制导的翻译

3.9 原始文献

习题

4 图形表示

4.1 图的基础

4.2 异步有限状态机

4.2.1 有限状态机和流程表

4.2.2 猝发模式状态机

4.2.3 扩展猝发模式状态机

4.3 Petri网

4.3.1 普通Petri网

4.3.2 信号转换图

4.4 定时事件／电平结构

4.5 原始文献

习题

5 霍夫曼电路

5.1 求解覆盖问题

5.1.1 矩阵简化技术

5.1.2 定界

5.1.3 终止

5.1.4 分支

5.2 状态化简

5.2.1 寻找相容状态对

5.2.2 寻找最大相容类

5.2.3 寻找质相容类

5.2.4 建立覆盖问题

5.2.5 构成简化的流程表

5.3 状态赋值

5.3.1 划分理论和状态赋值

5.3.2 矩阵简化方法

5.3.3 寻找最大相交类

5.3.4 建立覆盖问题

5.3.5 用反馈的输出作状态变量

5.4 无冒险两级逻辑综合

……

6 马勒电路

7 定时电路

8 验证

9 应用

附录A VHDL包

附录B 集合与关系

索引

参考文献