指令分析的一般性总结（二）

指令有限状态机

在CPU设计当中，我们要通过节拍的变动，将每条指令随着节拍的变化一一进行描述。指令的每一个顺序步都是一种状态，任何一条指令的顺序步都是有限的。因此人们将对指令顺序步的描述工程称为有限状态机设计。有限状态机设计最常用的有两种基本形式，一是摩尔型，另一种叫米利型。摩尔型状态机的输出只依赖于当前状态；米利型状态机的输出既依赖于当前的状态，也依赖于输入。我们设计CPU不必非要区别是哪一种有限状态机，根据设计的需要，状态怎么描述要依需要而定。CPU的描述一般都是摩尔型和米利型混合，我们就以加法指令的描述来说明一般描述方法。

加法指令Add用图方法来描绘，就是图 3-3的有限状态机。