publication venue for ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation* 2001