verilog设计可综合的状态机的指导原则