Verilog FSM Design