Logga in

Wagner, Ilya

Post-Silicon and Runtime Verification for Modern Processors

Wagner, Ilya - Post-Silicon and Runtime Verification for Modern Processors, e-bok

109,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781441980342
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

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

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

Författare
 
Utgivare
Springer
Utgivningsår
2011
Språk
en
Utgåva
1
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781441980342

Liknande e-böcker