.@oe1cxw I'm going to try to use yosys-sm*(forgot!) to try writing tests on a FIFO module. Hoping this is simpler enough to get started.
Replying to @SamuelAFalvoII
You might want to use SymbiYosys instead. Easier to use and supports many engines (incl. smtbmc): http://symbiyosys.readthedocs.io/en/latest/quickstart.html …
2:51 AM - 7 Feb 2017
0 replies
0 retweets
1 like
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.