第5讲-有限状态机.ppt

状态转换图设计(Mealy) S0 S1 S2 S3 S4 S5 Reset 1 0 0 1 1 0 1 0 0 1 0 1 sX /0 /0 /0 /0 /0 /0 /0 /0 /0 /1 /0 /0 1 0 1 1 0 1 0 1 1 0 s1 s2 s3 s4 s5 s0 /0 0/1 s0 状态机的代码实现 状态定义 Architecture rtl of Syn is … -- 其他信号定义。 Type SynFsmState is ( s0, s1, s2, s3, s4, s5); Signal SynCst, SynNst : SynFsmState; Begin … -- 结构体。 End rtl; 状态机的代码实现 状态寄存器进程描述 状态 寄存器 输出 译码 下一状 态译码 当前状态 输出 下一状态 输入 时钟clk 状态寄存器进程描述 Process( clk, Reset ) Begin if( Reset = ‘1’ ) then SynCst <= S0; -- 初始状态。 elsif( clk’event and clk = ‘1’ ) then SynCst <= SynNst; -- 状态转换。 end if; End process; 状态机的代码实现 状态转换进程描述 状态 寄存器 输出 译码 下一状 态译码 当前状态 输出 下一状态 输入 时钟clk 状态转换进程描述 Process( SynCst, din) Begin case SynCst is when s0 => when s1 => … when s5 => … End case; End process; if( din = ‘1’ ) then SynNst <= s1; else SynNst <= s0; end if; when others => SynNst <= s0; 状态机的代码实现 输出进程描述 状态 寄存器 输出 译码 下一状 态译码 当前状态 输出 下一状态 输入 时钟clk 输出进程描述 Process(SynCst ) Begin case SynCst is when s0 => when s1 => … when s5 => … when others => End case; End process; Moore Mealy Dout <= ‘0’; Dout <= ‘0’; Dout <= ‘0’ if( din = ‘1’ ) then else end if; , din ) 任务2：交通灯控制器 模拟显示十字路口两个方向的交通通行情况。两个方向均用红、黄、绿灯指示实际状态。 用LED同时显示两个方向状态的时间。时间计数方式为倒计数方式。技术参数为绿(红)50秒、黄(红)5秒、红(绿)30秒和红(黄)5秒。 方法：有限状态机 当前状态 下一状态 东西灯 南北灯 S1 S2 G R S2 S3 Y R S3 S4 R G S4 S1 R Y 状态机 采用双进程描述方式 次态逻辑和输出逻辑放在一个进程中实现，状态寄存器在另一个进程中实现。 从一个状态转换到另外一个状态，需要经过一段时间，这段时间的结束将导致次态变成现态； 关于计数器 设置东西、南北两个计数器 计数器的初值在状态转换时设置 计数器采用倒计数方式 计数结束(EOC)信号将触发状态寄存器进程的执行 计数的结果将被显示出来。 状态转换的条件 计数器值为0(使得EOC=‘1’) 由于有两个计数器，因此有四(三)种情况，分别对应状态转换的情况。 程序组成 结构体有三个进程 状态转换和输出 状态寄存器 计数器及译码 计数器 状态寄 存器 次态逻辑 和输出 计数初值 CLK 计数值 EOC 次态 现态 红绿灯 显示 Longman 有限状态机Finite State Machine 例：计数器设计 设计一电路，包含基4计数器，和译码输出模块。计数器的输出(Present_value)从0到3循环；当计数值为2时，译码输出(DataOut)为“1”，否则输出“0”。 Regs ＋1 Clk Prese