Design and Functional Simulation of Land rover FIGO FSM.

[Iswar2010]

module mealy100patterndetector(IN, CLK, RST, OUT);

input IN, CLK, RST;
output reg OUT;

parameter A = 2'b00;
parameter B = 2'b01;
parameter C = 2'b10;

reg [1:0] current_state;
reg [1:0] next_state;

always@(IN or current_state)
case(current_state)
A:
if(IN)
next_state = B;
else
next_state = A;
B:
if(IN)
next_state = B;
else
next_state = C;
C:
if(IN)
next_state = B;
else
next_state = A;
default: next_state = A;
endcase

always@(posedge CLK)
if(RST)
current_state <= A;
else
current_state <= next_state;

always@(IN or current_state)
case(current_state)
A: OUT = 0;
B: OUT = 0;
C:
begin
if(IN)
OUT = 0;
else
OUT = 1;
end
default: OUT = 2'bzz;
endcase

endmodule