@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.
-
uniquely constrain to one solution. Of course that algorithm would still work fine for this circuit. This is just to illustrate the search
space explosion that comes with bit level wiring. Throw actual operators in the mix and the number of samples you need will explode.
-
-
I know Alan Mishchenko experimented with something like this for very small boolean circuits. But I don't think he published yet.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.