Articles liés à Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors - Couverture souple

 
9781489981509: Post-Silicon and Runtime Verification for Modern Processors

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter neuf

Afficher cet article
EUR 136,16

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9781441980335: Post-Silicon and Runtime Verification for Modern Processors

Edition présentée

ISBN 10 :  1441980334 ISBN 13 :  9781441980335
Editeur : Springer-Verlag New York Inc., 2010
Couverture rigide

Résultats de recherche pour Post-Silicon and Runtime Verification for Modern Processors

Image fournie par le vendeur

Ilya Wagner|Valeria Bertacco
Edité par Springer US, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 11466491

Contacter le vendeur

Acheter neuf

EUR 136,16
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Valeria Bertacco
Edité par Springer US Sep 2014, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. 244 pp. Englisch. N° de réf. du vendeur 9781489981509

Contacter le vendeur

Acheter neuf

EUR 139,09
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Wagner, Ilya
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple
impression à la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 91e04b4ace2177018fd929f553ef4a04

Contacter le vendeur

Acheter neuf

EUR 126,26
Autre devise
Frais de port : EUR 40
De Italie vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wagner, Ilya; Bertacco, Valeria
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9781489981509_new

Contacter le vendeur

Acheter neuf

EUR 165,89
Autre devise
Frais de port : EUR 4,62
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Valeria Bertacco
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9781489981509

Contacter le vendeur

Acheter neuf

EUR 162,91
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Valeria Bertacco
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch. N° de réf. du vendeur 9781489981509

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Wagner, Ilya; Bertacco, Valeria
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar2716030158634

Contacter le vendeur

Acheter neuf

EUR 156,93
Autre devise
Frais de port : EUR 64,15
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wagner, Ilya; Bertacco, Valeria
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 244. N° de réf. du vendeur 26356314895

Contacter le vendeur

Acheter neuf

EUR 216,66
Autre devise
Frais de port : EUR 7,70
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Wagner, Ilya; Bertacco, Valeria
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 244. N° de réf. du vendeur 357257424

Contacter le vendeur

Acheter neuf

EUR 224,81
Autre devise
Frais de port : EUR 10,24
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Wagner, Ilya; Bertacco, Valeria
Edité par Springer, 2014
ISBN 10 : 1489981500 ISBN 13 : 9781489981509
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 244. N° de réf. du vendeur 18356314885

Contacter le vendeur

Acheter neuf

EUR 233,75
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier