[<<][haskell][>>][..]
Wed Feb 5 11:18:48 EST 2020

Clash

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:
https://essay.utwente.nl/59482/1/scriptie_C_Baaij.pdf

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.

https://archive.alvb.in/msc/thesis/reading/observable-sharing-circuits.pdf

http://www.cse.chalmers.se/~koen/




[Reply][About]
[<<][haskell][>>][..]