As per the example, on the left of Figure 5, in the rush to plug the simulation hole in the “n1” signal path, the verification engineer tried to use a trivial property in formal that would plug the ...