Error diagnosis for transistor-level verificationAndreas KuehlmannDavid I. Chenget al.1994DAC 1994Conference paper