在论文中用于FSM设计的编码和脚本技术,具有合成优化,无干扰输出的Clifford E. Cummings
对于无故障的状态机,它指的是分离状态……
那不一样。至少一件事。在你的例子中
if( !rst_n) state<= IDLE; // initializing the state else begin case(state)
什么时候 state 被重置为IDLE, else 部分不会执行和 case 当rst_n为低电平(而不是同一时钟脉冲)时,不会执行语句。
state
else
case
在卡明斯的例子中, state 尽管具有复位值,但将在相同的时钟边沿进行评估 always @(state, ...) 块
always @(state, ...)