always@()case(state)Sbeginif(in)beginnext_state=S;out=endelsenext_state=S;end……