-
This Tweet is unavailable.
-
This Tweet is unavailable.
Not at all. It is about the RISC-V spec. RISC-V has a couple of specification holes, but currently there is no official semantic for what this means exactly. The talk gives an overview over different options, with emphasis on verifiability/falsifiability of implementations.
9:19 AM - 3 May 2018
0 replies
0 retweets
1 like
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.