"Post-Silicon and Runtime Verification for Modern Processors" - читать интересную книгу автора (Ilya Wagner, Valeria Bertacco)