eda重点状态机设计.pptxVIP

EDA重点状态机设计会计学第1页/共49页8.1 一般有限状态机的设计8.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) ;第2页/共49页8.1 一般有限状态机的设计8.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 ; 第3页/共49页8.1 一般有限状态机的设计8.1.1 用户自定义数据类型定义语句子类型SUBTYPE的语句格式如下：SUBTYPE 子类型名 IS 基本数据类型 RANGE 约束范围; SUBTYPE digits IS INTEGER RANGE 0 to 9 ;第4页/共49页8.1.2 状态机（FSM)（Finite State Machine，FSM）◆状态 ——系统的基本数学特征。◆状态机 —— 一个离散数学模型。给定 一个输入集合，根据对输入的接受次序 来决定一个输出集合。（摩尔状态机）◆有限状态机 —— 输入集合和输出集合 都是有限的，并只有有限数目的状态。第5页/共49页输入状态机一般结构组合逻辑输入集合 A输出形成后续状态状态迁移状态记忆输出集合 XCLK同步时序逻辑当前状态第6页/共49页状态迁移图输入集合（触发事件）输出集合（执行动作）a1 , a2 , … , anx1 , x2 , … , xnS状态等待状态位置状态名称转移方向第7页/共49页状态迁移图状态编码输入集合（触发事件）输出集合（执行动作）a1 , a2 , … , annnx1 , x2 , … , xnS状态等待状态位置状态名称转移方向第8页/共49页状态机实例 —— 自动门 有一自动门，它可以被锁上，也可以开锁。当门锁上时，某人可以在它的槽中塞进一枚硬币。这样，门就会自动开锁，转变到开锁的状态；人通过后，门就会自动锁上。 我们希望把自动门交给一个简单的 FSM管理。通过对这个简单 FSM 的分析， 了解FSM 的设计过程。第9页/共49页自动门的基本状态初始状态投币 / 开锁Φ / 加锁加 锁开 锁通过 / 加锁状态机实例第10页/共49页异常处理初始状态投币 / 开锁Φ / 加锁通过 / 报警投币 / 请不要多次投币加 锁开 锁通过 / 加锁状态机实例第11页/共49页 ◆无论对连续系统还是离散系统，状态概念无所不在。FSM 提供了一种描述和控制应用逻辑的非常强大的方法，具有规则简单、可读性和可验证性强等特点。 ◆FSM 也是个不错的工具。很多复杂的逻辑都可以用一张图表来表述。 ◆对一个复杂离散系统而言， 使用 FSM 方案几乎无所不能。FSM 在通信协议、图形界面控制和其他很多工程应用中均有其足迹。 第12页/共49页◆ 明确对象要求，确定输入和输出集合，合 理分配状态。◆ 确定状态迁移方向和迁移触发条件，确定 合乎要求的输出集合。◆ 充分预计各种异常情况，确定异常处理策 略及出口。◆ 按照实际需求，制定合理的诊断模式。◆ 完成系统综合。◆ 系统评价，设计验证。 第13页/共49页为什么要使用状态机？ ? VHDL综合器易于优化? 易构成性能良好的时序逻辑模块? 结构模式简单、层次分明、易读易懂、易排错?利用同步时序和全局时钟线可实现高速FSM? 运行模式类似于CPU，易于进行顺序控制 ? 高可靠性，非法状态易控制 第14页/共49页8.1 一般有限状态机的设计8.1.3 一般有限状态机的设计1. 说明部分ARCHITECTURE ...IS TYPE FSM_ST IS (s0，s1，s2，s3); SIGNAL current_state, next_state: FSM_ST; ... 2. 主控时序进程图7-1 一般状态机结构框图工作示意图第15页/共49页8.1.3 一般有限状态机的设计3. 主控组合进程 控组合进程的任务是根据外部输入的控制信号（包括来自状态机外部的信号和来自状态机内部其它非主控的组合或时序进程的信号），或（和）当前状态的状态值确定