The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
Show this thread
-
Other peoples talks have been reduced from 24 minutes to 12 minutes, but not mine. My talk just didn't make the cut.
Show this thread
But the preliminary agenda lists a full 24 minutes talk from the MIT group working on formal methods for RISC-V. Sure, whatever. 
-
-
what the hell
-
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
- 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.