Verwandte Artikel zu Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors - Hardcover

 
9781441980335: Post-Silicon and Runtime Verification for Modern Processors

Reseña del editor

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.

Contraportada

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2010
  • ISBN 10 1441980334
  • ISBN 13 9781441980335
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten244

Gebraucht kaufen

Zustand: Sehr gut
Zustand: Sehr gut - Neubindung,...
Diesen Artikel anzeigen

EUR 45,00 für den Versand von Deutschland nach USA

Versandziele, Kosten & Dauer

EUR 3,52 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9781489981509: Post-Silicon and Runtime Verification for Modern Processors

Vorgestellte Ausgabe

ISBN 10:  1489981500 ISBN 13:  9781489981509
Verlag: Springer, 2014
Softcover

Suchergebnisse für Post-Silicon and Runtime Verification for Modern Processors

Beispielbild für diese ISBN

Wagner, Ilya; Bertacco, Valeria
Verlag: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Neu Hardcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2411530297503

Verkäufer kontaktieren

Neu kaufen

EUR 162,38
Währung umrechnen
Versand: EUR 3,52
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Ilya Wagner, Valeria Bertacco
Verlag: SPRINGER NATURE, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Gebraucht Hardcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt, Buchrücken leicht angestoßen, Buchumschlag leicht verschmutzt | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 9854398/12

Verkäufer kontaktieren

Gebraucht kaufen

EUR 125,19
Währung umrechnen
Versand: EUR 45,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wagner, Ilya; Bertacco, Valeria
Verlag: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9781441980335_new

Verkäufer kontaktieren

Neu kaufen

EUR 168,71
Währung umrechnen
Versand: EUR 14,09
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Ilya Wagner
Verlag: SPRINGER NATURE Dez 2010, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Neu Hardcover
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: 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. Bestandsnummer des Verkäufers 9781441980335

Verkäufer kontaktieren

Neu kaufen

EUR 160,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Ilya Wagner|Valeria Bertacco
Verlag: Springer US, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Neu Hardcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Gebunden. Zustand: 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. Bestandsnummer des Verkäufers 4176502

Verkäufer kontaktieren

Neu kaufen

EUR 137,26
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Ilya Wagner
Verlag: Springer Us, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: 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. Bestandsnummer des Verkäufers 9781441980335

Verkäufer kontaktieren

Neu kaufen

EUR 164,49
Währung umrechnen
Versand: EUR 30,67
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wagner, Ilya, Bertacco, Valeria
Verlag: Springer, 2010
ISBN 10: 1441980334 ISBN 13: 9781441980335
Gebraucht Hardcover

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA77514419803346

Verkäufer kontaktieren

Gebraucht kaufen

EUR 229,03
Währung umrechnen
Versand: EUR 29,41
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb