TY  - BOOK
AU  - Wagner, Ilya
AU  - Bertacco, Valeria
TI  - Post-silicon and runtime verification for modern processors 
SN  - 9781489981509
U1  - 004.16 
PY  - 2011///
CY  - New York
PB  - Springer Science+Business Media
KW  - Microprocessors--Design and construction
KW  - Computer programs--Verification
KW  - Computer software--Verification
KW  - Systems engineering
KW  - Computer-aided design
KW  - Engineering
N1  - Includes index
ER  -