Articles liés à 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 137,26
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Post-Silicon and Runtime Verification for Modern Processors
Image d'archives
Post-Silicon and Runtime Verification for Modern Processors
Edité par
SPRINGER NATURE, 2010
ISBN 10 : 1441980334
ISBN 13 : 9781441980335
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 9854398/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Post-Silicon and Runtime Verification for Modern Processors
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. 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 4176502
Quantité disponible : Plus de 20 disponibles
Image d'archives
Wagner:Post-Silicon and Run-Time Verifi (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur bbe394d62f83a8be3288b157125f501b
Quantité disponible : Plus de 20 disponibles
Image d'archives
Post-Silicon and Runtime Verification for Modern Processors
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781441980335_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Post-Silicon and Runtime Verification for Modern Processors
Edité par
SPRINGER NATURE Dez 2010, 2010
ISBN 10 : 1441980334
ISBN 13 : 9781441980335
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. 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. 224 pp. Englisch. N° de réf. du vendeur 9781441980335
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Post-Silicon and Runtime Verification for Modern Processors
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. 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 9781441980335
Quantité disponible : 2 disponible(s)
Image d'archives
Post-Silicon and Runtime Verification for Modern Processors
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530297503
Quantité disponible : Plus de 20 disponibles
Image d'archives
Post-Silicon and Runtime Verification for Modern Processors
Edité par
Springer, 2010
ISBN 10 : 1441980334
ISBN 13 : 9781441980335
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA77514419803346
Quantité disponible : 1 disponible(s)