第4讲同步有限状态机设计.pptxVIP

f=ab…Verilog硬件描述语言Verilog HDL主讲 陈付龙QQ:7 安徽师范大学2015第5章 Verilog HDL同步有限状态机设计状态机状态机适合描述那些发生时有先后顺序或者有逻辑规律的事情。其本质是对具有逻辑顺序或时序规律事件的一种描述方法。时序逻辑电路设计过程由给定的逻辑功能建立原始状态图和状态表状态化简状态编码选择触发器类型确定激励方程组和输出方程组画出逻辑图并检查自启动有限状态机（FSM）它是一个有向的状态转移图形，由一组状态和一组相应的状态转移函数组成。状态机包含的要素可归纳为4个：现态、条件、动作、次态。“现态”和“条件”是因，“动作”和“次态”是果。现态：是指当前所处的状态。条件：又称为“事件”。当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。有限状态机（FSM）休息 健康淋雨康复中感冒吃药有限状态机（FSM）设计集成电路时,通常可将整个系统划分为数据单元和控制单元。其中控制单元的主体通常是一个有限状态机,它接收外部信号和数据单元产生的状态信息, 产生控制信号序列。设计这样一个电路：1）能记住自己目前所处的状态 ； 2）状态的变化只可能在同一个时钟的跳变沿时刻发生，而不可能发生在任意时刻；3）在时钟跳变沿时刻，如输入条件满足，则进入下一状态，并记住自己目前所处的状态，否则仍保留原来的状态；4）在进入不同的状态时刻，对系统的开关阵列做开启或关闭的操作。有了以上电路，就不难设计出复杂的控制序列来操纵数字系统的控制开关阵列。有限状态机（FSM）有限状态机能够克服纯硬件数字系统顺序方式控制不灵活的缺点。状态机的结构模式相对简单。状态机容易构成性能良好的同步时序逻辑模块。状态机的Verilog表述丰富多样。在高速运算和控制方面，状态机更有其巨大的优势。就可靠性而言，状态机的优势也是十分明显的。有限状态机（FSM）状态机一般包括组合逻辑和寄存器逻辑两部分。寄存器用于存储状态，组合电路用于状态译码和产生输出信号。状态机的下一个状态及输出不仅与输入信号有关，还与寄存器当前状态有关。根据输出信号产生方法的不同，状态机可分为米里(Mealy) 机和摩尔(Moore) 机。米里(Mealy) 机的输出是当前状态和输入信号的函数。摩尔(Moore) 机的输出仅是当前状态的函数。在硬件设计时,需自行决定采用哪种状态机。Mealy 状态机下一个状态 = F(当前状态，输入信号)； 输出信号 = G(当前状态，输入信号)；输入输出下一状态的逻辑 F状态寄存器输出逻辑 G激励信号当前状态 clk 输入时钟信号clkMoor 状态机下一个状态 = F(当前状态，输入信号) 输出信号 = G(当前状态)；输入下一状态的逻辑 F状态寄存器输出逻辑 G当前状态激励信号输出 clk 输入时钟信号clk有限状态机（FSM） A/K1=0 Start !A !Reset /K2=0 K1=0!Reset /K2=0 K1=0Idle !Reset / K2=0 K1=0 Stop （!Reset |!A ）/ K2=0 K1=1Clear A=1/K2=1同步时钟：clk输入信号：reset、A输出信号：K1、K2状态转移发生在时钟上升沿触状态机的设计包含两个主要过程： 一是状态机的编码，二是状态机的建模。 有限状态机（FSM）-编码状态编码又称状态分配。通常有多种编码方法，编码方案选择得当，设计的电路可以简单；反之，电路会占用过多的逻辑或速度降低。设计时，须综合考虑电路复杂度和电路性能这两个因素。二进制编码、格雷编码、完整一位热编码( verbose one-hot) 、简化一位热编码( simplified one-hot )二进制编码： Idle= 2’b00 Start = 2’b01 Stop = 2’b10 Clear = 2’b11 One-Hot编码： Idle= 4’b1000 Start = 4’b0100 Stop= 4’b0010 Clear = 4’b0001有限状态机（FSM）-编码二进制编码：使用较少的触发器和较多的组合逻辑； 适用于CPLD和小型状态机设计； One-Hot编码：使用较多的触发器和较少的组合逻辑； 适用于FPGA和大型状态机设计；有限状态机（FSM）-建模有限状态机的Verilog描述：定义模块名和输入输出端口；定义输入、输出变量或寄存器；定义时钟和复位信号；定义状态变量和状态