Pradip Bose: Architectural Timing Verification and Test for Super Scalar Processors. FTCS 1994: 256-265