The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
Show this thread
-
Best thing is: The MIT model has at least one bug that riscv-formal would catch immediately. But they don't know that because they 1/2
have not formally verified their model against ANYTHING yet. I'm not telling them bc I want to "find it with riscv-formal" first. :) 2/2
-
-
But I can't yet. Because so far they can't interface their model with anything that would actually allow me to use formal methods on it..
-
You’re saying there is a bug in the spec they are verifying against?
- 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.