The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
Show this thread
-
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?
-
Yes. But they aren't verifying their spec against anything (yet). Their primary focus is on proofing abstract properties of the ISA..
- 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.