In the course of applying formal verification, sometimes there can be a problem with the properties. Two common issues a user may run into is a vacuous assertion or an uncoverable cover statement. These are technically proofs. This session will review the definition of a vacuous or uncoverable property and the main reasons why these property bugs exist. Then we’ll look at how Questa® PropCheck can use proof coverage to help debug these types of properties.