parameter INIT_S = 0;
parameter WORK_S = 1;

reg [0:3] FSM;
reg [0:3] NewFSM;

always @ (posedge CLK)
if RESET then FSM = INIT_S;
else FSM = NewFSM;

always @ (negedge CLK)
if RESEY then NewFSM = INIT_S;
else begin
case (FSM)
INIT_S: begin if (пора работать) NewFSM = WORK_S; end
WORK_S: begin if (работа сделана) NewFSM = INIT_S; end
else NewFSM = INIT_S;
end;