In reply to muthuven:
The literal 4’b1_1001 is treated as if you wrote 4’b1001. When you compare a 5-bit operand (state[4:0]) to a 4-bit unsigned literal, the 4-bit literal gets zero-extended by one bit.
In reply to muthuven:
The literal 4’b1_1001 is treated as if you wrote 4’b1001. When you compare a 5-bit operand (state[4:0]) to a 4-bit unsigned literal, the 4-bit literal gets zero-extended by one bit.