2007 Eighth International Workshop on Microprocessor Test and Verification