《计算机组成与体系结构（原书第4版）》 —3 扩展阅读

扩展阅读

大多数计算机组成和体系结构方面的书籍都对数字逻辑和布尔代数进行了简要的讨论。 Stallings（2013）、Tanenbaum（2012）以及Patterson和Hennessy（2011）的书包含了很好的数字逻辑概要。 Mano（1993）对卡诺图（在本章的末尾部分讨论）简化和可编程逻辑器件进行了很好的讨论，其中还包括对各种电路技术的介绍。关于数字逻辑更深入的信息，参见Wakerly（2000）、Katz（1994）或Hayes（1993）的书。

Davis（2000）《通用计算机》这本书，追溯了计算机理论的历史，包括所有精神思想家的传记，读这本书是一种快乐。关于布尔代数的讨论，请看看Gregg（1998）的书。读Maxfield（1995）的书绝对让你感到喜悦，这本书包含布尔逻辑的信息和复杂的概念，以及有趣和有启发性的琐事（包括海鲜浓汤的美妙食谱！）。在门和触发器方面若想阅读一本简单易读的书（以及关于计算机是什么和它们如何工作的），参考Petzold（1989）的书。 Davidson（1979）提出了一种基于与非门电路的分解方法（我们感兴趣的是与非门是通用门）。

Moore（1956）、Mealy（1955）和Clare（1973）首先在论文中提出摩尔机、米莉机和算法状态机。Cohen（1991）的有关计算机理论书是关于这个话题的最容易理解的书籍之一。在这里，你会发现有关摩尔机、米莉机和有限状态机（包括DFA）的很棒的表示。 Forney（1973）在一篇同名论文中出色地介绍了维特比算法，解释了这种卷积译码器背后的概念和数学原理。 Fisher（1996）的文章解释了PRML如何在磁盘驱动器中使用。

如果读者对实际设计一些电路感兴趣，那么这里有几个很好的模拟器可以免费提供。一组工具为Chipmunk系统。它执行各种应用，包括电子电路仿真、图形编辑和曲线绘图。它包含4个主要工具，但是对于电路模拟，Log是你需要的程序。日志的Diglog部分允许你创建并测试实际的数字电路。如果你有兴趣想下载程序并在机器上运行它，Chipmunk系统软件包可以在www.cs.berkeley.edu/~lazzaro/chipmunk/找到。该分发可用于各种平台（包括PC和UNIX机器）。

另一个不错的软件包是Softronix的多媒体逻辑（MMLogic），但它目前仅适用于Windows平台。这个功能齐全的软件包有漂亮的GUI，包括拖放组件和全面的在线帮助。它不仅包括设备的标准组件（如AND、OR、NAND、NOR、加法器和计数器），还有特殊的多媒体设备（包括位图、机器人、网络和蜂鸣器设备）。可以创建逻辑电路并将其连接到真实设备（键盘、屏幕、串行端口等）或其他计算机上。该软件包宣称是为初学者开发的，但允许用户构建相当复杂的应用程序（如通过互联网运行的游戏）。MMLogic可以在www.softronix.com/logic.html找到，这里不仅包括可执行包还包括源代码，以便用户可以修改或扩展其功能。

第三个数字逻辑模拟器是Logisim（一个开源软件包），可从http://ozark.hendrix.edu/~burch/logisim/获得。该软件紧凑、易于安装和使用，只需要安装Java 5或更高版本，因此可用于Windows、Mac和Linux平台。其界面是直观的，与大多数模拟器不同，Logisim允许用户在仿真期间修改电路。该应用程序允许用户构建不同规模的电路，从较小的电路到较大的电路，用鼠标动作拉成一束电线（多位宽度），并使用树视图查看可以组建电路的组件库。如MMLogic，该软件包被设计为一个教育工具，以帮助初学者试验数字逻辑电路，也允许用户构建相当复杂的电路。

任何这些模拟器都可以用来构建接下来在第4章中讨论的MARIE架构。