Is anyone here able to enlighten me on how the average fpga one-hot state machine implementation ensures exactly one flipflop in the state machine is hot? What does a default: statement do? What happens with no reset? what happens with races or cosmic belches? john