第7单元_状态机设计.pptVIP

1、有限状态机的模型 3、有限状态机的描述方法（ASM图） 7.4 状态编码 7.4 状态编码 7.4 状态编码 * * 第7章 有限状态机设计 7.1 一般有限状态机的设计 7.1.1 用户自定义数据类型定义语句 TYPE语句用法如下： TYPE 数据类型名 IS 数据类型定义 OF 基本数据类型 ; 或 TYPE 数据类型名 IS 数据类型定义 ; 以下列出了两种不同的定义方式： TYPE st1 IS ARRAY ( 0 TO 15 ) OF STD_LOGIC ; TYPE week IS (sun，mon，tue，wed，thu，fri，sat) ; 7.1 一般有限状态机的设计 7.1.1 用户自定义数据类型定义语句 TYPE m_state IS ( st0，st1，st2，st3，st4，st5 ) ; SIGNAL present_state，next_state : m_state ; 布尔数据类型的定义语句是： TYPE BOOLEAN IS （FALSE，TRUE） ； TYPE my_logic IS ( 1 ，Z ，U ，0 ) ; SIGNAL s1 : my_logic ; s1 = Z ; 7.1 一般有限状态机的设计 7.1.1 用户自定义数据类型定义语句 子类型SUBTYPE的语句格式如下： SUBTYPE 子类型名 IS 基本数据类型 RANGE 约束范围; SUBTYPE digits IS INTEGER RANGE 0 to 9 ; 7.1.2 一般有限状态机的设计 什么是有限状态机? 将对象（电路）的工作过程表达为：各种不同状态在事件控制下的变迁过程,这种描述方法称为有限状态机（FSM）。 按输出信号的特点有限状态机分为：米里（Mealy）型和摩尔（Moore）型。 Mealy型：Mealy型电路的输出不仅与当前的状态有关，还与输入有关。 Moore型：Moore型电路的输出仅仅取决于当前的状态。 （1） Mealy机模型 （2）Moore机模型 2、MOORE机和MEALY机的区别: MOORE机由于输入对输出的影响要到下一个时钟周期才能反映出来,把输入与输出隔离。 MEALY状态机由于输出值受输入的影响,且输入的变化可能出现在时钟周期的任何时刻,因而使得MEALY状态机对输入的响应比MOORE状态机早一个时钟周期。输入信号的噪声也就可能出现在输出端。 （1）时序电路的常用描述方法 状态机（state machine diagram) 算法状态图(ASM图:Algorithmic state machine) （2）算法状态机(ASM)的介绍 注意：因为ASM图类似算法流程图，相比状态机隐含了时序关系，并 且与硬件实现有很好的对应关系，因此我们采用ASM图来描述时序电路。 ASM本质上是一个有限状态机，主要用于同步系统。 ASM精确地表示出状态转换的时间关系。 从形式上看，这种流程图类似于描述软件程序的流程图，但它能和实现它的硬件很好的对应起来。 （3）ASM图的组成 ? 状态框 用一个矩形框来表示一个状态。状态的名称写在左上角；状态的二进制编码写在右上角；操作内容写在矩形框内。在同步系统中，状态经历的时间至少是一个时钟周期，也可以是几个周期。 （3）ASM图的组成 ? 判断框 用单入口双出口的菱形或单入口多出口的多边形符号表示。在菱形和多边形框内写检测条件，在分支出口处注明各分支所满足的条件。 判断框必须跟着状态框。判断框的执行与状态框在同一时钟周期内。 （3）ASM图的组成 ? 条件框 用椭圆框表示。条件框一定是与判断框的一个转移分支相连接，仅当判断框中判断变量满足相应的转移条件时，才进行条件框中表明的操作和信号输出。 虽然条件框和状态框都能执行操作和输出信号，但二者有很大区别。 （3）ASM图的组成 ? 条件框（举例） 当系统处于S1状态下，并且变量A满足A＝1时，立刻执行寄存器R清零操作，然后进入S3状态。如果变量A＝0时，将进入S2状态执行计数器F的加1操作，然后在下一个时钟达到时才进入S3状态。 状态框和条件框的操作，是在一个共同的时钟周期内一起完成的。 （3）ASM图的组成 ? 状态单元 状态单元由一个状态框和若干判断框或条件框组成。状态单元的入口必须是状态框的入口，出口可以有几个，但必须指向状态框。 仅包含一个状态框，无判断框和条件框的ASM块是一个简单块。 每个状态单元表示一个时钟周期内系统所处的状态，在该状态下完成块内的若干操作。 4、简单的交通灯例子