Bob Glamm

Automatic verification of instruction set simulation using synchronized state comparison

David J. Lilja, Bob Glamm, D. Lilja, 2001, Proceedings. 34th Annual Simulation Symposium.