@johnregehr let's say I want to map arbitrary logic functions (primarily interested in simple ALU; nothing worse than &|^+-<>) to N-input lookup tables.
do you have any pointers for doing this in a good way? maybe with a SAT solver? existing solution (singular) sucks *hard*.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
abc is what yosys already uses :) that's how I ended up in this situation.
Maybe http://www.syntcomp.org is a helpful resource? Ad ABC: I only know what a small fraction of the commands in ABC do. There are more advanced SAT based things in there.
-
-
The general opinion I have had expressed to me about abc is that it is a good tool but a pain to work with as so little is documented.
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.