User Defined Coverage - A Tool Supported Methodology for Design Verification. - Raanan Grinwald; Eran Harel; Michael Orgad; Shmuel Ur; Avi Ziv (DAC, 1998)