timing simulation spikes

this can happen also in real life when decoding states to outputs asynchronously. It would be interesting, which encoding type is used for your state machine. Personally, I prefer registered output from state machines to avoid sending glitches to the outer world.