Episode 35: Six dimensions of coverage for formal verification
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise
Categorie:
Learn how to sign-off formal verification using six dimensions of coverage. Metric-driven verification is important, but we need to consider all aspects when using formal verification including qualitative and quantitative methods. We made it easy for you to use the six dimensions of coverage to sign-off RISC-V verification. Find out about it in more detail next week at the RISC-V summit.
