• Home
  • Podcasts
  • Charts

Episode 34: Scenario coverage in formal verification

Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:

Education Technology

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.

Visit the podcast's native language site

  • All podcasts
  • Episodes
  • Blog
  • About us
  • Privacy Policy
  • What is a podcast?
  • How to listen to a podcast?

© Podcast24.nz 2025