The problem is that it's extremely easy to violate the boundaries of state machines. For example there's some small edge case, that would normally require you t

The problem is that it's extremely easy to violate the boundaries of state machines. For example there's some small edge case, that would normally require you to completely re-create the state machine, but people bypass that by just escaping the state machine. In ASIC/FPGA, it's actually relatively hard to escape the state machine because escaping the state machine causes explosions in timing required and causes race conditions. Code doesn't have fixed timing requirements, most of the time.