always@（posedgeclk）case(state)if（a==）next_state<=;elsenext_state<=x;next_state<=x;