讲verilog 的状态机的,比较的详尽。