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/[/vc_column_text][/vc_column][/vc_row]]]>