Fri Jan 24 07:17:23 EST 2020

Representing state machines

Create a modeling language for state machines that is optimized for
code transformations that can pipeline the transition machine.

The real problem I keep facing is that bit-level state machines are
just too low level, and manual pipelining is a real pain to do, but at
the same time it is itching: if this is represented better,
sequentializing the transition machine should be straightforward.