2011 12th International Workshop on Microprocessor Test and Verification