@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.
-
Consider this: A circuit with 32 inputs and 32 outputs but no operators, just direct connections between in- and output bits.
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.
- 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.