Automatic Verification of Instruction Set Simulation Using Synchronized State Comparison. - Bob Glamm; David J. Lilja (Annual Simulation Symposium, 2001)