Text this: Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic.