Sat Aug 17 09:31:23 EDT 2019

FSM extraction and boolean function optimization

If yosys does FSM extraction, that should be a good hint to represent
states abstractly in an abstracted layer on top of Seq.

I need an example.  One of the state machines I want to create is an
Ethernet to I2S or S/PDIF converter.

Let's factor it into Ethernet to SPI and SPI to S/PDIF.