An Interview With Tom Verbeure: Phantom Packets, RISC-V, Under The Hood Of FV | Matt Venn, Symbiotic EDA (YouTube)

0:00 Introduction 1:37 The case of the phantom packets

8:07 A bug free RISCV core without simulation

14:23 Under the hood of formal verification: 

Follow Tom on twitter: https://twitter.com/tom_verbeure

Tom’s blog: https://tomverbeure.github.io/