verilog状态机例子