Episode 9: Why coverage is important for formal verification?
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise
![](https://is3-ssl.mzstatic.com/image/thumb/Podcasts125/v4/20/af/eb/20afeb9f-24e4-d366-6fa1-9872065e1a81/mza_12528572800365096954.png/300x300bb-75.jpg)
Categories:
In this podcast, Dr. Darbari talks about the role of coverage in formal verification and sign-off. We examine why coverage is important and what can be done to sign-off the verification with confidence. We discuss the interaction between structural coverage, functional coverage in simulation, and what happens for formal verification, and what should happen?