@johnregehr I just watched your 2014 talk on Souper at UW on YouTube. Fascinating how similar it is (was at the time) to "freduce" in Yosys.
The code is not very good.. :) It was more of an experiment than something that one should use in practice. (Also: It's pretty slow.)
-
-
Because in hardware you can wire any bit anywhere it must compare bits, not words, and there are n^2/2 pairs..
-
I wrote it in 2013, so I don't have a very fresh memory from writing it, but the basic idea is this: 1/ (oh I wish I already had 280 :)
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.