Join Formal Verification Expert Mark Eslinger for the latest course addition to the Verification Academy video library:
Formal coverage is a hot topic these days. Simulation has a number of metrics for helping determine when verification is done. These include code coverage, assertions coverage, transaction coverage, and functional coverage to name a few. Like simulation, formal has metrics which can be used to determine when verification on a design block is complete.
View the new Formal Coverage course.