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 …
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.