Episode 34: Scenario coverage in formal verification
Formal bytes: The Axiomise Podcast Channel - Un pódcast de Axiomise
Categorías:
Dr. Darbari talks about a new coverage solution for formal verification - scenario coverage. He describes why you need it, what it is, and how this has been used to verify the latest core from the OpenHW group - CVE4. Let's cover our formal verification properly.
