Fri Oct 26 15:33:49 CEST 2018

Simulating protocols

The only thing needed here is feedback.  What about providing a stub
that is called inside the main loop?

It can just be an ST operation.

EDIT: I have a first step: an interface that will take other kinds of
test bench data apart from just a list of inputs.  Now to actually
implement it.

Next: make a test that actually uses a state machine, or better still,
that also implements an input list as a state machine.  This needs an
ST variable to store the current list.