Verilog state machine