verilog狀態機設計?