@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.
-
That's already a search space of 32^32 configurations (there is no requirement to use all inputs). And you'd need at least 32 samples to
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.
End of conversation
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.