1、独热码检测又有了一个新的理解就是看哪里能到当前的状态就行。
2、也有可能只是这个题目用到了。
完整代码如下:
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 B3_next=state[B2];
assign S_next =!d&&(state[S]||state[S1]|state[S110])||ack&state[Wait];
assign S1_next=d&state[S];
assign Count_next=state[B3]||(state[Count]&&!done_counting);
assign Wait_next=(state[Count]&&done_counting)||(!ack&state[Wait]);
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