Excellent work, thanks!
In case you missed it, here is the recording of my #34C3 talk on riscv-formal:
https://media.ccc.de/v/34c3-8768-end-to-end_formal_isa_verification_of_risc-v_processors_with_riscv-formal …
Please don't forget to give feedback. It will help me improve my presentation next time (and might also help me get a full one hour slot next year):
https://frab.cccv.de/en/34c3/public/events/8768/feedback/new …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
My first feedback: REMOVE THE DAMN CAT waving his paw from the presenters desk! Because when you wave your arms in sync with said feline, it really distracts from the content !
-
The cat was not my decision. :) cc
@ccc - Show replies
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.