Zur Startseite gehen
0,00 €*
Cover: 9783642084775 | Introduction to Formal Hardware Verification | Thomas Kropf | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Introduction to Formal Hardware Verification
Taschenbuch von Thomas Kropf
Sprache: Englisch

52,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:
Beschreibung
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.
Zusammenfassung
Comprehensive overview of methods and tools for designing correct circuits and systems Covers all approaches used in current hardware verification techniques Structured as a textbook with introductions and summaries for every chapter and numerous examples and illustrations
Inhaltsverzeichnis
Introduction. Setting the Context; Circuit Design; Fighting Design Errors; Verification versus Validation; Hardware Verification; The Success of Formal Hardware Verification; Limitations of Formal Hardware Verification; The Pragmatic Approach: Recipes for Verifying Circuits; Summary; Structure of the Book; Literature.- Boolean Functions. Motivation; Representations for Boolean Functions; Modeling Hardware Behavior; Specification, Proof Goals and Proof; Further Developments and Tools; Technical Details; Summary.- Finite State Machine Based Approaches. Motivation; Formal Basics; Modeling Hardware Behavior; Specification, Proof Goal and Proof; Further Developments; Summary.- Propositional Temporal Logics. Motivation; Formal Basics; Modeling Hardware Behavior; Specification, Proof Goal and Proof; Further Developments; Technical Details; Summary.- Higher Order Logic. Motivation; Formal Basics; Modeling Hardware Behavior; Specification and Proof; Performing Proofs; Technical Details; Conclusion.- Appendix A: Mathematical Basics; Appendix B: Axioms and Rules for CTL*; Appendix C: Axioms and Rules for Higher Order Logic.- References.- Index
Details
Erscheinungsjahr: 2010
Fachbereich: Hardware
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: ix
299 S.
ISBN-13: 9783642084775
ISBN-10: 364208477X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kropf, Thomas
Auflage: Softcover reprint of hardcover 1st ed. 1999
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 17 mm
Von/Mit: Thomas Kropf
Erscheinungsdatum: 09.12.2010
Gewicht: 0,476 kg
Artikel-ID: 107123679
Zusammenfassung
Comprehensive overview of methods and tools for designing correct circuits and systems Covers all approaches used in current hardware verification techniques Structured as a textbook with introductions and summaries for every chapter and numerous examples and illustrations
Inhaltsverzeichnis
Introduction. Setting the Context; Circuit Design; Fighting Design Errors; Verification versus Validation; Hardware Verification; The Success of Formal Hardware Verification; Limitations of Formal Hardware Verification; The Pragmatic Approach: Recipes for Verifying Circuits; Summary; Structure of the Book; Literature.- Boolean Functions. Motivation; Representations for Boolean Functions; Modeling Hardware Behavior; Specification, Proof Goals and Proof; Further Developments and Tools; Technical Details; Summary.- Finite State Machine Based Approaches. Motivation; Formal Basics; Modeling Hardware Behavior; Specification, Proof Goal and Proof; Further Developments; Summary.- Propositional Temporal Logics. Motivation; Formal Basics; Modeling Hardware Behavior; Specification, Proof Goal and Proof; Further Developments; Technical Details; Summary.- Higher Order Logic. Motivation; Formal Basics; Modeling Hardware Behavior; Specification and Proof; Performing Proofs; Technical Details; Conclusion.- Appendix A: Mathematical Basics; Appendix B: Axioms and Rules for CTL*; Appendix C: Axioms and Rules for Higher Order Logic.- References.- Index
Details
Erscheinungsjahr: 2010
Fachbereich: Hardware
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: ix
299 S.
ISBN-13: 9783642084775
ISBN-10: 364208477X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kropf, Thomas
Auflage: Softcover reprint of hardcover 1st ed. 1999
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 17 mm
Von/Mit: Thomas Kropf
Erscheinungsdatum: 09.12.2010
Gewicht: 0,476 kg
Artikel-ID: 107123679
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780470749838 | Introduction to Microfabrication | Sami Franssila | Buch | Englisch
Introduction to Microfabrication
EAN: 9780470749838
Sprache: Englisch
Von/Mit: Sami Franssila

87,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540605058 | Neural Networks | A Systematic Introduction | Raul Rojas | Taschenbuch
Neural Networks
A Systematic Introduction
EAN: 9783540605058
Sprache: Englisch
Von/Mit: Raul Rojas

85,45 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9783895784583 | Automatisieren mit SIMATIC | Hans Berger | Buch | 322 S. | Deutsch
Automatisieren mit SIMATIC
Hardware und Software, Projektierung und Programmierung, Datenkommunikation, Bedienen und Beobachten
EAN: 9783895784583
Sprache: Deutsch
Von/Mit: Hans Berger

44,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783642483509 | Elektrische Isoliertechnik | Manfred Kahle | Taschenbuch | Paperback
Elektrische Isoliertechnik
EAN: 9783642483509
Sprache: Deutsch
Von/Mit: Manfred Kahle

64,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783642782770 | Prozeß- und Methoden-Management für Informationssysteme | Michael Heym
Prozeß- und Methoden-Management für Informationssysteme
Überblick und Referenzmodell
EAN: 9783642782770
Sprache: Deutsch
Von/Mit: Michael Heym

39,99 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9781107016903 | Transfer Learning | Qiang Yang (u. a.) | Buch | Gebunden | Englisch
Transfer Learning
EAN: 9781107016903
Sprache: Englisch
Von/Mit: Qiang Yang (u. a.)

75,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781787126138 | Penetration Testing with Raspberry Pi - Second Edition | Taschenbuch
Penetration Testing with Raspberry Pi - Second Edition
A portable hacking station for effective pentesting
EAN: 9781787126138
Sprache: Englisch
Von/Mit: Michael Mcphee (u. a.)

55,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781032812892 | Visual Astronomy with a Small Telescope | Sean G. Ryan | Taschenbuch
Visual Astronomy with a Small Telescope
EAN: 9781032812892
Sprache: Englisch
Von/Mit: Sean G Ryan

38,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781138077102 | Electrical Contacts | Principles and Applications, Second Edition
Electrical Contacts
Principles and Applications, Second Edition
EAN: 9781138077102
Sprache: Englisch
Von/Mit: Paul G. Slade

110,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781637353523 | AI Mastery for Finance Professionals | Glenn Hopper | Taschenbuch
AI Mastery for Finance Professionals
Foundations, Techniques, and Applications
EAN: 9781637353523
Sprache: Englisch
Von/Mit: Glenn Hopper

25,30 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...