9有限状态机gj例析.ppt

状态机实现举例--单段式(续2) Stop: begin if (A) state = Clear; regF = 1; end Clear: begin if (!A) state =Idle; regF=0; regG=1; end endcase end End assign F=regF; assign G=regG; endmodule 状态机实现举例—两段式 always @(posedge Clock) //状态迁移 if (!Reset) begin state = Idle; end else case (state) Idle: if (A) state = Start; Start: if (!A) state = Stop; Stop: if (A) state = Clear; Clear: if (!A) state = Idle; // default: state = 2 ’bxx; endcase 状态机实现举例—两段式(续1) always @(state or Reset or A)//产生输出 begin if ( !Reset) regF = 0; else if (state == Stop) regF = 1; end always @(state or Reset or A) //产生输出 begin if (! Reset) regG = 0; else if (state == Clear) regG= 1; end assign F=regF; assign G=regG; endmodule 状态机设计举例(3段式)－序列“10010”检测器 设a为数字码流输入，z为检出标记输出，高电平表示“发现指定序列”，低电平表示“没有发现指定序列”。考虑码流为“ 110010010000100101…” 则有下表： 时钟 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 a 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 … z 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 … 状态机设计举例－序列“10010”检测器 状态机设计举例－序列“10010”检测器 module mfsm(clk,rst,a,z); input clk,rst; input a; output z; reg zreg; reg [3:0] currentstate,nextstate; parameter S0 = 4b0000; parameter S1 = 4b0001; parameter S2 = 4b0010; parameter S3 = 4b0011; parameter S4 = 4b0100; parameter S5 = 4b0101; 状态机设计举例－序列“10010”检测器（续1） //***************************************** always@(posedge clk or negedge rst) begin if(!rst) currentstate = S0; else currentstate = nextstate; end //*****************************************