Cover property allows us to see if the property is indeed covered. Cover property does not have the vacuous pass property. It indicates at the end of the assertion if it has been covered. When it is covered, it triggers a PASS action block. In this action block you may put a $display statement to indicate that the property has been covered or that it has ‘passed’. Note that ‘cover’ simply does not have a FAIL action block and does not have the vacuous pass property.