Very first draft of abstract for presentation on riscv-formal for a few upcoming conferences. Constructive feedback requested.pic.twitter.com/50LmDMZ8Qp
-
What's the problem? Git revert bugfix; make verify. If it can catch it, partial success. Not as good as a fresh bug but reassuring.
The problem is refactoring that happened between fixing most bugs and adding RVFI. But don't worry: I have some synthetic bugs for testing.
-
-
Fair enough. I guess the reason ISA Formal caught many bugs is that we applied it during development & test, not after all testing.
-
In other words, a shift left strategy: move the bug curve left to improve planning/cost/quality and have more energy for subtle bugs later.
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.