Episode 35: Six dimensions of coverage for formal verification

Formal bytes: The Axiomise Podcast Channel - Un pódcast de Axiomise

Categorías:

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.

Visit the podcast's native language site