@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.
-
I do not consider things from previous cycles, so flip-flops are essentially my "stop condition".
So I have a couple of DAGs. I throw random inputs at them and see which behave the same. Then I mark then as potentially the same node.
-
-
Then I create SAT instances to see if they actually are the same. If not I use the counter example as additional simulation input to..
-
.. break other pairs that are still marked as candidates, then I create a SAT instance for the next candidate pair, and so on.
- 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.