T - 90 minutes to my tutorial session at the RISC-V Summit. See you there! https://tmt.knect365.com/risc-v-summit/agenda/1#track-1_formal-verification-of-risc-v-processor-implementations-space-limited ….
Show this thread
-
-
This reminds me I should finish up the SymbiYosys backend for Edalize. Changed my mind a bit regarding using riscv-formal for SERV though. I'm taking far too many shortcuts in the code to have it anywhere near being formally verifiable
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.