This session will explore the various aspects of formal coverage. We’ll start by reviewing the major components of simulation coverage metrics including code coverage, assertions coverage and functional coverage. Next we’ll look at the components of formal coverage which have a lot of parallels to simulation coverage. These will include reachability, constraint analysis and verification, assertion coverage in all its forms and proof coverage. The session will then cover the various methods Questa® PropCheck uses to measure formal coverage.