The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
Show this thread
-
And that is also very important of course, but I think the first step should be proving that the spec actually matches the implementation.
Also, their spec doesn't handle things like illegal instructions yet. It triggers a "fromJust Nothing" that terminates their Haskell app.
