verilog状态机编写技巧