34C3 - End-to-end formal ISA verification of RISC-V processors with riscv-formal
About this video
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceCovers formal verification methods for RISC-V processor instruction set architecture. Teaches rigorous mathematical approaches to hardware correctness verification.
A 29-minute video from media.ccc.de: “34C3 - End-to-end formal ISA verification of RISC-V processors with riscv-formal”.
Video by media.ccc.de, played through YouTube's embedded player.