第8章_状态机1.pptVIP

8.3 有限状态机常用的描述、开发方法 状态转移图（State Transition Graph，STG）是一种有向图，图中带有标记的节点或顶点与时序状态机的状态一一对应。当系统处于弧线起点的状态时，用有向边或弧线表示在输入信号的作用下可能发生的状态转移。米利机STG的顶点用状态进行标记，状态转移图的有向边有下面两种标记方法： （1）用能够导致状态向指定的下一状态转移的输入信号来标记。 （2）在当前状态下，用由输入信号确定的输出来进行标记。 有限状态机可以借助时序图、状态表、状态图以及ASM图进行系统的描述与设计。时序图可用于说明系统中及系统与周围环境的接口中信号的有效输入与状态转移之间的关系。例如，静态随机访问内存的写周期可以用一个时序图加以说明，该时序图表明存储单元的地址必须在写使能信号有效之前就已经被确定。在面向综合的设计方法中，设计的时序指标构成了对必须由设计工具实现的电路的限制。 状态表或状态转移表以表格的形式表示在当前状态和输入的各种组合下状态机的下一状态和输出。 摩尔机的状态转移图与米利机相类似，但它的输出是由各状态的顶点来表示的，而不是在弧线上表示。算法状态机（ASM）图是时序状态机功能的一种抽象，是模拟其行为特性的关键工具。它类似于软件流程图，但显示的是计算动作（如寄存器操作）的时间顺序，以及在状态机输入影响下发生的时序步骤。ASM图描述的是状态机的行为动作，而不是存储组件所存储的内容。有时候用机器工作期间的行为动作来描述状态机的状态，比起用状态机产生的数据进行描述更为方便也更重要。例如，我们可以用16位的计数器内容来描述计数器本身，我们也可以将它视为一个数据信道单元来描述它的动作（如计数、等待等）。在描述时序状态机的行为方面，以及设计状态机来控制数据信道方面，ASM图是非常有帮助的。 ASMD图是ASM图的扩展。状态机的一个重要应用就是控制时序状态机数据信道上的寄存器操作，而该时序状态机已被划分为控制器和数据信道。控制器可以用ASM图来描述，我们修改ASM图的目的是把它连接到状态机所控制的数据信道上。当控制器的状态沿着通道发生转移时，通过标注每个数据信道来指出那些在相关数据信道单元中所发生的寄存器操作。以这种方式连接到数据信道的ASM图被称为算法状态机和数据信道（ASMD）图。在把时序状态机数据信道的设计从控制器的设计中分离出来，并在两个单元之间保持清晰联系的情况下，ASMD图有助于阐明这样的时序状态机设计方法。与状态转移并行发生的寄存器操作是在图的通道上标注的，而不是在通道上的条件框或状态框中标注的，因为这些寄存器不是控制器的一部分。由控制器产生的输出是那些控制数据信道寄存器的信号，以及引发 ASM图上标注的寄存器操作的信号。 8.4基于状态转移图（STG）的设计1. 设计要点 对于一个同步时序状态机的给定STG，设计的任务就是确定下一状态和输出逻辑。如果用一个二进制代码来表示时序状态机的状态，那么其值可以存储在触发器中。在时钟的各个有效沿处，状态保持触发器的输入变成下一个时钟周期的状态。同步时序状态机的设计就是要根据机器的状态和外部输入来确定能形成触发器输入的逻辑，该逻辑为组合逻辑，并且应该是最简逻辑。对于有效的STG而言，其每个顶点必须表示一个唯一的状态；每个弧线则表示在指定输入信号的作用下，从给定状态到下一个状态的转移，并且从一个节点出发的各弧线必须对应一个唯一的输入。通常，与从一个节点出发的一组弧线有关的布尔条件必须满足和为1（即状态转移图必须考虑到从一个节点出发的所有可能的状态转移），并且在给定状态下与输入变量判定有关的每个分支条件必须对应于一条唯一的弧线（实时序状态机仅可以由一个节点经过一条弧线转移到下一个状态）。根据时钟到来之前的状态值和当前输入值，由同步时序状态机的STG所表示的状态转移将在时钟信号的有效沿处发生。 有限状态机的系统设计方法通常包括以下几个步骤 （1）构建状态机的STG。 （2）消去等价状态。 （3）选取状态码（如二进制代码）。 （4）编写状态表。 （5）推出描述保持状态位的D触发器的输入布尔方程。 （6）利用卡诺图优化布尔方程。 程序 2. 建模实例 利用STG构建一个BCD码到余3码的转换器 一个串行发送的BCD码Bin被转换成为一个余3码串行比特流Bout是这样得到的：给BCD码对应的十进制数加上310，并将其转换为等价的二进制数就得到了该十进制数的余3码，表11-1给出了十进制数及其相应的4位BCD码和余3码。余3码是自补码，即余3码的9补，在硬件上可以通过对码字逐位取反得到（即取码字的二进制反码）。例如610的余3码为10012，逐位取反后为01102，这就是310的余3码。余3码的这一特性使得计算以BCD形式编码的基数减1的反