https://gist.github.com/cr1901/a445ef31281e67a0cf286e149deaac41 … I wrote these notes a year ago when playing with yosys. Down to and including "Example Of Using An SMT Solver" should be enough to get you started.
-
-
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.