Hugendubel.de - Das Lesen ist schön

Warenkorb

€ 0,00 0 Buch dabei,
portofrei
Bücher immer versandkostenfrei
Introduction to Formal Hardware Verification als Buch
- 5 % **

Introduction to Formal Hardware Verification

Auflage 1999. 137 Abbildungen, 32 Tabellen. Sprachen: Deutsch Englisch.
Buch (gebunden)
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 and temporal logic... weiterlesen
Jetzt

79,99*

inkl. MwSt.
Bisher: € 84,99
Portofrei
Sofort lieferbar
Introduction to Formal Hardware Verification als Buch
Produktdetails
Titel: Introduction to Formal Hardware Verification
Autor/en: Thomas Kropf

ISBN: 3540654453
EAN: 9783540654452
Auflage 1999.
137 Abbildungen, 32 Tabellen.
Sprachen: Deutsch Englisch.
Springer-Verlag GmbH

16. Oktober 1999 - gebunden - IX

Beschreibung

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 and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.

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
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** im Vergleich zum dargestellten Vergleichspreis.