Bluespec actually has a little sublanguage for writing state machines as control flow programs. Essentially since Bluespec's model is a set of conditional tran

Bluespec actually has a little sublanguage for writing state machines as control flow programs. Essentially since Bluespec's model is a set of conditional transactions on your state, you can write an imperative sequence of transactions with a few basic flow control primitives (if-else blocks, while loops etc.), and it creates the state logic automatically. Unfortunately it didn't seem to have received much attention, and I ran into quite a few problems when I tried to use it for anything serious (including one straight up behavioural bug).