Episode 27: Everything you wanted to know about architectural formal verification
Formal bytes: The Axiomise Podcast Channel - Un pódcast de Axiomise
Categorías:
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.
