Well done @kbeckmann for getting the right answer to this weeks formal verification quiz! The two assertions are functionally IDENTICAL! The only practical difference is that Yosys requires Verific support to process the second, but it can handle the first one out of the box. https://twitter.com/kbeckmann/status/1035682420278939648 …
-
This Tweet is unavailable.
Replying to @zipcpu @kbeckmann
Proof that the two assertions are functionally identical:: http://svn.clifford.at/handicraft/2018/fmquiz/fmquiz01.sv … http://svn.clifford.at/handicraft/2018/fmquiz/fmquiz01.ys …
6:47 AM - 4 Sep 2018
0 replies
0 retweets
2 likes
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.