Other peoples talks have been reduced from 24 minutes to 12 minutes, but not mine. My talk just didn't make the cut.
Show this thread
-
But but but... all the hard bits of specs and of processors are in exception handling. If you skip that bit, you’re doing the easy 10%
This is the MIT Spec: https://github.com/mit-plv/riscv-semantics … Contains parser for subset of Haskell with >200 shift-reduce (and some r-r) conflicts.
-
-
It's pretty much decided now that this will be the basis for the official RISC-V formal spec, replacing riscv-isa-sim as golden reference.
-
I have formally verified my spec against the C code in riscv-isa-sim. I fear that there will be a verification gap with this new spec..
- Show replies
New conversation -
-
-
Why would you write spec in a language that many programmer find obscure and hard (for humans) to parse???
-
Surely spec lang should be optimised for readability by broad cross-section of programmers, not for niche?
- Show replies
New conversation -
-
-
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.