I would mention that you will show as an example how you verified picoRV32 and what type of bugs you found in the process.
Very first draft of abstract for presentation on riscv-formal for a few upcoming conferences. Constructive feedback requested.pic.twitter.com/50LmDMZ8Qp
-
-
-
I only found one minor bug in PicoRV32 with riscv-formal. All the others I found earlier using other formal methods.
- Show replies
New conversation -
-
-
The RVFI sounds like a great contribution vs what we did in ISA Formal.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also important: what kinds of bugs can riscv-formal find? Forwarding and stall logic errors or just datapath errors?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If you revert old bug fixes, can you detect the errors?
-
Yes. But it's hard to do with PicoRV32 because the bugfixes there predate riscv-formal..
- 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.