第7章 有限状态机设计.pptVIP

7.4 设计实例--十字路口交通灯控制器 状态 State 状态模式 正常 测试 紧急 RG（东西红南北绿） 30s 2s -- RY（东西红南北黄） 5s 2s -- GR（东西绿南北红） 45s 2s -- YR（东西黄南北红） 5s 2s -- YY（东西黄南北黄） -- -- 未定 7.4 设计实例--十字路口交通灯控制器 7.5 Quartus软件状态图输入法 1．创建原状态图模块文件 新建文件对话框 7.5 Quartus软件状态图输入法 2．设置状态机输出文件格式 状态机输出文件 7.5 Quartus软件状态图输入法 3．利用状态机编辑向导，建立状态机 创建一个新的状态机设计 7.5 Quartus软件状态图输入法 4．设置复位reset属性 复位reset属性 7.5 Quartus软件状态图输入法 5．状态设置对话框 状态设置对话框 7.5 Quartus软件状态图输入法 6．输出设置对话框 输出设置对话框 7.5 Quartus软件状态图输入法 7．状态机情况统计 设置情况统计 7.5 Quartus软件状态图输入法 状态转换图 第七章 有限状态机设计 教学目标：通过本章知识的学习，掌握状态机的基础知识；掌握有限状态机的设计流程；掌握mealy型和moore型状态机的VHDL语言设计方法；掌握Quartus软件状态图输入法。 7.1 有限状态机概述 7.1.1 有限状态机的概念和分类 状态机是一种广义的时序电路，它不同于一般的时序逻辑电路。状态机内部状态的变化规律不再像计数器、移位寄存器那么简单，而是需要精心设计和规划。 状态机一般包含组合逻辑和寄存器逻辑两部分。寄存器逻辑用于存储状态，组合逻辑用于状态译码和产生输出信号。实际中状态机的状态数是有限的，因此，又称为有限状态机，本章将讲解有限状态机。 状态机的输出不仅与当前输入信号有关，还与当前的状态有关，因此状态机有4个基本要素：现态、条件、动作、次态。 7.1 有限状态机概述 7.1.1 有限状态机的概念和分类 现态：是指状态机当前所处的状态。 条件：又称为事件。即状态机状态转移条件，即状态机根据输入信号和当前状态决定下一个转移的状态。 动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。 次态：条件满足后要迁往的新状态。“次态”相对于“现态”而言，“次态”一旦被激活，就转变为新的“现态”了。 7.1 有限状态机概述 7.1.1 有限状态机的概念和分类 输出信号可以由当前状态和当前输入信号决定，也可以只由当前状态决定。按照输出信号是否与输入信号有关，可将有限状态机分为Moore型（摩尔型）和Mealy型（米里型）。Moore型状态机的输出只与当前状态有关，Mealy型状态机的输出不仅与当前状态有关，还与当前输入有关。 7.1 有限状态机概述 7.1.1 有限状态机的概念和分类 Moore型状态机 Mealy型状态机 7.1 有限状态机概述 7.1.2 有限状态机的状态转换图 序列检测器状态转换图 7.1 有限状态机概述 7.1.3 有限状态机的设计流程 1．理解问题背景 2．逻辑抽象，得出状态转换图 3．状态化简 4．状态编码 5．形成状态转换图 6．用VHDL语言实现有限状态机 7.1 有限状态机概述 7.1.4 有限状态机的VHDL描述 1．数据类型定义语句 VHDL数据类型有标准预定义数据类型和用户自定义数据类型，标准预定义数据类型有整数类型、STD_LOGIC、BIT等常用数据类型，用户自定义数据类型有枚举类型、数据类型和记录类型等。 自定义数据类型主要是用类型定义语句TYPE来实现，其基本语法格式如下： TYPE 数据类型名 IS 数据类型定义 [OF 基本数据类型] （1）数据类型名部分由设计者自定，要符合标识符的规定。 （2）数据类型定义部分用来描述所定义的数据类型的表达方式和表达内容。 （3）OF后的基本数据类型，一般为已有的标准预定义数据类型，该部分不是必须的。 （4）数据类型定义语句一般放在结构体中的说明部分。 7.1 有限状态机概述 7.1.4 有限状态机的VHDL描述 2．状态机的结构 1）状态机的说明部分 状态机的说明部分一般放在结构体ARCHITECTURE和BEGIN之间，首先使用TYPE语句定义新的数据类型，并且一般将该数据类型定义为枚举型，其元素采用文字符号表示，作为状态机的状态名，然后用SIGNAL语句