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