Wed Feb 5 11:18:48 EST 2020


Carter Shonwald:

  Try using clash, its its own thing, and overanalysis might be more
  challenging than just trying it out

Fair point.

But I really want multiple targets, and something that I understand
completely, so I'm not going to do this.

See rtl.txt

Tracking this down, Christiaan Baaij's thesis has some information
about this in Appendix C:

But the problem there is recovering loops.  I do not have loops: all
register close operations are explicit.

The relevant paper is:

[9] Koen Claessen and David Sands.  Observable sharing for functional
circuit description.  In Asian Computing Science Conference, pages
62–73. Springer Verlag, 1999.