Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.

C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw

Browse the full DAC paper archive.