Articoli correlati a Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors - Rilegato

 
9781441980335: Post-Silicon and Runtime Verification for Modern Processors

Sinossi

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

Post-Silicon and Run-Time Verification for Modern Processors surveys the state of the art and evolving directions in post-silicon and runtime verification. The volume gives an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. There is also a thorough presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and could help accomplish the ultimate goal of complete correctness guarantees for microprocessor-based computation. The book also:

· Addresses an area of hardware verification that is growing both in industry and academia

· Covers hardware patching and error avoidance

· Discusses multi-core processors with test generation and response evaluation

The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle. Post-Silicon and Run-Time Verification for Modern Processors will be a valuable book for researchers and engineers working in electrical engineering.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Seiten: 224...
Visualizza questo articolo

GRATIS per la spedizione da Germania a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781489981509: Post-Silicon and Runtime Verification for Modern Processors

Edizione in evidenza

ISBN 10:  1489981500 ISBN 13:  9781489981509
Casa editrice: Springer, 2014
Brossura

Risultati della ricerca per Post-Silicon and Runtime Verification for Modern Processors

Foto dell'editore

Ilya Wagner, Valeria Bertacco
Editore: SPRINGER NATURE, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Antico o usato Rilegato

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. Codice articolo 9854398/12

Contatta il venditore

Compra usato

EUR 125,19
Convertire valuta
Spese di spedizione: GRATIS
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ilya Wagner|Valeria Bertacco
Editore: Springer US, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo Rilegato
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Addresses an area of hardware verification that is growing both in industry and academia.Covers hardware patching and error avoidance.Discusses multi-core processors with test generation and response evaluation.The purpose of thi. Codice articolo 4176502

Contatta il venditore

Compra nuovo

EUR 137,26
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Wagner, Ilya
Editore: Springer
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo
Print on Demand

Da: Brook Bookstore On Demand, Napoli, NA, Italia

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: new. Questo è un articolo print on demand. Codice articolo bbe394d62f83a8be3288b157125f501b

Contatta il venditore

Compra nuovo

EUR 126,26
Convertire valuta
Spese di spedizione: EUR 32,25
In Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ilya Wagner
Editore: SPRINGER NATURE Dez 2010, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo Rilegato
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation.Theauthorsconclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle. 224 pp. Englisch. Codice articolo 9781441980335

Contatta il venditore

Compra nuovo

EUR 160,49
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Wagner, Ilya; Bertacco, Valeria
Editore: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9781441980335_new

Contatta il venditore

Compra nuovo

EUR 165,65
Convertire valuta
Spese di spedizione: EUR 10,38
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ilya Wagner
Editore: Springer Us, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo Rilegato

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation.Theauthorsconclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle. Codice articolo 9781441980335

Contatta il venditore

Compra nuovo

EUR 164,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Wagner, Ilya; Bertacco, Valeria
Editore: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Nuovo Rilegato

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar2411530297503

Contatta il venditore

Compra nuovo

EUR 157,39
Convertire valuta
Spese di spedizione: EUR 64,20
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Wagner, Ilya, Bertacco, Valeria
Editore: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Antico o usato Rilegato

Da: Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA77514419803346

Contatta il venditore

Compra usato

EUR 226,06
Convertire valuta
Spese di spedizione: EUR 28,88
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello