Post-Silicon And Run-Time Verification For Modern Processors by Ilya Wagner & Valeria Bertacco