lec7_FSM状态机(阅读).pptVIP

Finite State Machine // Three-Always Block Mealy State Machine // Two-Always Block Mealy State Machine // One-Always Block State Machine // One-Always Block State Machine 分别画出驱动信号J1、K1、J0、K0的卡诺图，并化简 求输出方程 (5) 画出逻辑电路图 （6）检查自启动能力 Z=XQ1Q0 输出方程为： Z=XQ1Q0 即驱动方程为： J1=XQ0 K1=X+Q0J0=X K0=X Z=XQ0Q1 J1=XQ0 K1=X+Q0 J0=X K0=X 电路没有多余的状态 因此一定能自启动 有限状态机 实例：序列检测器 module seqdet(clk,rst,seq,det); input clk; input rst; input seq; output det; parameter s0=4h1; parameter s1=4h2; parameter s2=4h4; parameter s3=4h8; // 独热码 reg det; reg [3:0] state, next_state