Post-Silicon and Runtime Verification for Modern Processors

1. Verification of a Modern Processor
Ilya Wagner, Valeria Bertacco

2. The Verification Universe
Ilya Wagner, Valeria Bertacco

3. Post-Silicon Validation of Processor Cores
Ilya Wagner, Valeria Bertacco

4. Post-Silicon Verification of Multi-Core Processors
Ilya Wagner, Valeria Bertacco

5. Consistency Verification using Data Coloring
Ilya Wagner, Valeria Bertacco

6. Runtime Verification with Patching and Hardware Checkers
Ilya Wagner, Valeria Bertacco

7. Hardware Patching with Field-Repairable Control Logic
Ilya Wagner, Valeria Bertacco

8. Runtime Verification in Multi-Cores
Ilya Wagner, Valeria Bertacco

9. Ensuring Correctness in Future Microprocessors
Ilya Wagner, Valeria Bertacco

Avainsanat: Engineering, Circuits and Systems, Computer Hardware, Computer-Aided Engineering (CAD, CAE) and Design