2 books
An Effective Verification Solution for Modern Microprocessors
Post-Silicon and Runtime Verification for Modern Processors