EDA技术及应用EDA技术及应状态机图

1、第第5 5章有限状态机设计章有限状态机设计 5.1 概述概述5.1.1 5.1.1 关于状态机关于状态机状态机就是事物存在状态的一种综合描述。状态机就是事物存在状态的一种综合描述。 vhdl综合器易于优化综合器易于优化 易构成性能良好的易构成性能良好的时序时序逻辑模块逻辑模块 结构模式简单、层次分明、易读易懂、易排错结构模式简单、层次分明、易读易懂、易排错6.1.2 状态机的特点：状态机的特点： 运行模式类似于运行模式类似于cpu，易于进行顺序控制，易于进行顺序控制 利用同步时序和全局时钟线可实现高速利用同步时序和全局时钟线可实现高速fsm 高可靠性，非法状态易控制高可靠性，非法状态易控制 5

2、.2 5.2 一般有限状态机的设计一般有限状态机的设计5.2.1 5.2.1 一般有限状态机的组成一般有限状态机的组成 （）说明部分）说明部分 说明部分中使用说明部分中使用typetype语句定义新的数据类型，此数据类语句定义新的数据类型，此数据类型一般为枚举类型型一般为枚举类型 例如：例如： type state_type is (start_state, run_state, error_state)； signal state: state_type； 说明部分一般放在结构体的说明部分一般放在结构体的architecturearchitecture和和beginbegin之间。之间。（）

3、时序进程）时序进程时序进程是指负责状态机运转和在时钟驱动下负责状时序进程是指负责状态机运转和在时钟驱动下负责状态转换的进程。作为状态机的态转换的进程。作为状态机的“驱动泵驱动泵”。（3）组合进程）组合进程组合进程的任务是根据外部输入的控制信号，和当前组合进程的任务是根据外部输入的控制信号，和当前状态的状态值确定下一状态的去向，以及确定对外输状态的状态值确定下一状态的去向，以及确定对外输出或对内部其他组合或时序进程输出控制信号的内容。出或对内部其他组合或时序进程输出控制信号的内容。（4）辅助进程）辅助进程 用于配合状态机工作的组合进程或时序进程，例如为了用于配合状态机工作的组合进程或时序进程，例

4、如为了完成某种算法的进程；或用于配合状态机工作的其他时完成某种算法的进程；或用于配合状态机工作的其他时序进程，例如为了稳定输出设置的数据锁存器等。序进程，例如为了稳定输出设置的数据锁存器等。 clk in (00)st0st1st2st3rest=1 clkin (00)out=(00)out=(01)out=(10)out=(11)in= (00)in= (00)clk in (11)in= (11)clk in (11)in= (11) 设计实例设计实例 1st0inoutst0000000clkst0rest=1stxin0000clkst1st1inoutst0000001clkst1

5、rest=1stxin0001clkst2st2inoutst0110010clkst2rest=1stxin1110clkst3st3inoutst0110011clkst3rest=1stxin1111clkst0设计实例设计实例 1clkclkrestreststate_inputsstate_inputscomb_outputss_machinestost2st1st3in1.0state_inputscomb_outputsout1.0设计实例设计实例 1clkclkrestreststate_inputsstate_inputscomb_outputss_machine时序电路时序

6、电路current_statenext_stateclkclk设计实例设计实例 1实例实例2 2即用状态机设计一个即用状态机设计一个a ad d采样控制器。采样控制器。 对对a/da/d器件进行采样控制器件进行采样控制 p195p195 rcstatusd11.0ad574ad574启动时序启动时序20usz/cs实例实例2对对ad574初始化初始化st0st1st2st3st4打开片选，启打开片选，启动动12位转换位转换采样周期采样周期中等待中等待status=1 :正在转换！正在转换！status=0 :转换结束！转换结束！12位转换数位转换数据输出有效据输出有效由由 lock 发发数据锁

7、存信号数据锁存信号ad574采样控制状态图采样控制状态图实例实例2processreg时序进程processcom组合进程processlatch锁存器current_statecurrent_statenext_statenext_statelocklock状态机状态机fsmfsmfpga/cpldfpga/cpldclkclk cscs a0 a0 rc rc k12/8 k12/8 status statusd11.0d11.0ad574q11.0q11.0模拟信号输入模拟信号输入采样数据输出采样数据输出采样状态机结构框图采样状态机结构框图实例实例2st1a01 000st2 0csrc

8、00 0k12/811 1staus-out st1 st2 st3st0 0 st1 st2st2status=1 000lookstatus=0 0 1 1 0st4st3 st4 1 1 1 0st0st401st0look-out实例实例2ad574采样状态机工作时序图状态状态2：等待：等待实例实例2st0st1st2st3rest=1 :clkdatat=(1)data=(0) q=(01010)data=(1) q=(10000)in= (00) 设计实例设计实例 3st4clkdatat=(0)clkdatat=(1)clkdatat=(0)clkdatat=(1)data=(0

9、) q=(10111)data=(1) q=(10100)data=(0) q=(10011)data=(1) q=(10101)data=(0) q=(11011)data=(1) q=(01001)data=(0) q=(01101)data=(1) q=(11101)可以从该状态机的工作时序图可以从该状态机的工作时序图6-116-11上清楚看到，上清楚看到，输出信号有许多毛刺。为了解决这个问题，可输出信号有许多毛刺。为了解决这个问题，可以考虑将输出信号以考虑将输出信号q q值由时钟信号锁存后再输值由时钟信号锁存后再输出出，也可，也可用时钟同步输出信号用时钟同步输出信号 设计实例设计实例

10、3moore moore 状态机状态机: : 输出是严格的现态函数输出是严格的现态函数mealy mealy 状态机状态机: : 输出是现态和输入函数输出是现态和输入函数我们主要学习从信号区分的两种状态机我们主要学习从信号区分的两种状态机 交通管理器的功能交通管理器的功能 十字路口交通管理器设计7.2.3 交通管理器的设计交通管理器的设计moore moore 图图次次态态逻逻辑辑状状态态寄寄存存器器输输出出逻逻辑辑输出输出返回信号返回信号现态现态输入输入下下次次状状态态mealy mealy 图图次次态态逻逻辑辑状状态态寄寄存存器器输输出出逻逻辑辑输出输出返回信号返回信号现态现态输入输入下下

11、次次状状态态请同学们跟我一起来完成下面的状态机练习请同学们跟我一起来完成下面的状态机练习s1s2s3s400010100001010001010复位信号复位信号reset=1 reset=0输入信号输入信号datain=1 datain=0状态输出状态输出s1=0001 s2=0010s3=0100s4=1000mooremoore型型s1s2s3s41010datain=1 0001datain=0 0000datain=1 0001datain=0 0010datain=1 0001datain=0 1000datain=1 0100datain=0 0001melyemelye型型复位信号复位信号reset=1 reset=0输入信号输入信号datain=1 datain=0状态输出状态输出s1=? s2=?s3=?s4=?设计一个时钟同步状态机，它具有设计