@oe1cxw Trying to run the example code from your presentation. I'm getting the following error: https://hastebin.com/yatabebale.erl
Did yosys change?
Sure there have been changes since Yosys 0.6+203. One major release and over 160 individual commits. Update.
-
-
But it takes forever to compile T_T (I hope this fixes the error I'm seeing)...
-
Okay, new yosys compiles, abc bugs fixed/pull request made... yosys-smtbmc has some winsock-specific bullshit that needs to be fixed
- 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.