Discuss: Which version is "better" and why? How would you solve this?pic.twitter.com/KLuwMPRsoo
Show this thread
-
I believe what the human think it does is less relevant. Regressions need to be in place, there is no way around simulation. Making it scalable, or adding concurrent assertions may be valid improvements.
Simulation is nice but I prefer to formally verify things whenever I can. The only way to be sure.
-
-
So far I’ve only used formal verification to validate implementation, here reference is always simulated. Are you suggesting/using formal from spec to RTL? Would like to know more...cheers
-
In this case I simply verified the other implementations against _ref for equivalence. (The whole check_en stuff is part of another formal proof.) See http://svn.clifford.at/handicraft/2017/wormux/ ….
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.