Yosys is great!
Looks like the reactive synthesis community is discovering Yosys right now. Got a few support requests from those folks lately.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The reactive synthesis tool competition. Something for Yosys? http://www.syntcomp.org
-
You can use Yosys to create the .aig files that are used as inputs to reactivate synthesis tools. Streamlining this is a SymbiYosys todo.
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.