那不一样。至少一件事。在你的例子中
if( !rst_n)
state<= IDLE; // initializing the state
else begin
case(state)</code>
什么时候
state
被重置为IDLE，
else
部分不会执行和
case
当rst_n为低电平（而不是同一时钟脉冲）时，不会执行语句。
在卡明斯的例子中，
state
尽管具有复位值，但将在相同的时钟边沿进行评估
<code> always @(state, ...)</code>
块