Author: International Workshop on Microprocessor Test and Verification (8th 2007 Austin, Tex.)