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