Sisäänkirjautuminen

Wagner, Ilya

Post-Silicon and Runtime Verification for Modern Processors

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

109,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781441980342
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
 
Julkaisija
Springer
Julkaisuvuosi
2011
Kieli
en
Painos
1
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781441980342

Samankaltaisia e-kirjoja