Efficient Aspect Verification and Debugging of High-Performance Microprocessor Designs | IEEE Journals & Magazine | IEEE Xplore