Reverification of a microprocessor. - Stephen D. Crocker; Eve Cohen; Sue Landauer; Hilarie Orman (S&P, 1988)