Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic. - Ho, C. Richard; Theobald, Michael; Deneroff, Martin M.; Dror, Ron O.; Gagliardo, Joseph; Shaw, David E. (DAC: Annual ACM/IEEE Design Automation Conference, 2008)