Episode 27: Everything you wanted to know about architectural formal verification
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise
Categorie:
Dr. Darbari demystifies the topic of architectural formal verification with the focus on RISC-V. He describes the similarities with simulation-based compliance testing and key benefits of using formalISA and formal verification for architectural compliance. A brand-new blog on this topic is available from Tech Design Forums.
