Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions