@oe1cxw After installing yosys-smtbmc, I tried the counter demo from your slides and replicated your success. However, I later >>
-
>> However, it does not. It still passes the assertions in 20 steps. Are my assumptions of how these work incorrect?
@oe1cxw
Interesting. Your assumptions are correct as I understand them and it works as expected here.pic.twitter.com/0dgg0rFew2
-
-
Let me know how to reproduce what you are seeing if the issue isn't resolved already.
-
All you need to do is comment out that line. I can't explain why it works for you, but not for me. :(
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.