Proceedings - International Workshop on Microprocessor Test and Verification Journal uri icon