12.5 基于Verilog HDL语言的状态机描述