2012 13th International Workshop on Microprocessor Test and Verification (MTV)