Amazing work. Did you find any bugs in Rocket?
Slides for my ORConf 2017 presentation on riscv-formal: http://www.clifford.at/papers/2017/riscv-formal/ …
-
-
-
No, just in the Rocket RVFI implementation. :) But we only checked the most simple config yet..
End of conversation
New conversation -
-
-
At some point, I want to do my own pipelined RISCV impl. Why? B/c why not? I plan to incorporate riscv-formal into Project Microburst.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I should run this against my class project RISC-V and see how many bugs are found :P
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.