A Methodology for Processor Implementation Verification.

Daniel Lewin Dean H. Lorenz Shmuel Ur A Methodology for Processor Implementation Verification. 126-142 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#LewinLU96