2008 Ninth International Workshop on Microprocessor Test and Verification