状态图已有还是很简单滴
module top_module(
input d,
input done_counting,
input ack,
input [9:0] state, // 10-bit one-hot current state
output B3_next,
output S_next,
output S1_next,
output Count_next,
output Wait_next,
output done,
output counting,
output shift_ena
); //
// You may use these parameters to access state bits using e.g., state[B2] instead of state[6].
parameter S=0, S1=1, S11=2, S110=3, B0=4, B1=5, B2=6, B3=7, Count=8, Wait=9;
assign S_next = (state[Wait]&&ack)|(state[S]&&!d)|(state[S1]&&!d)|(state[S110]&&!d);
assign S1_next = state[S]&&d;
assign B3_next = state[B2];
assign Count_next = state[B3]|(state[Count]&&!done_counting);
assign Wait_next = (state[Count]&&done_counting)|(state[Wait]&&!ack);
assign done = state[Wait];
assign counting = state[Count];
assign shift_ena = state[B0]|state[B1]|state[B2]|state[B3];
// assign B3_next = ...;
// assign S_next = ...;
// etc.
endmodule