Very first draft of abstract for presentation on riscv-formal for a few upcoming conferences. Constructive feedback requested.pic.twitter.com/50LmDMZ8Qp
-
I would mention that you will show as an example how you verified picoRV32 and what type of bugs you found in the process.
I only found one minor bug in PicoRV32 with riscv-formal. All the others I found earlier using other formal methods.
-
-
So then what is it good for? ;-) Whom does it help how? Who should attend?
-
OT: good set of questions for any presentation :-)
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.