Efficient Aspect Verification and Debugging of High-Performance Microprocessor Designs. - Arun Joseph; Pretty Mariam Jacob; Matthias Klein; Wolfgang Roesner (IEEE Des. Test, 2024)