Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--
Image from Google Jackets

Introduction to formal hardware verification / Thomas Kropf.

By: Material type: TextTextPublisher: Berlin ; New York : Springer, [1999]Copyright date: ©1999Description: ix, 299 pages : illustrations ; 25 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 3540654453 (acidfree paper)
Subject(s): DDC classification:
  • 621.395 21 K.T.I.
Online resources:
Contents:
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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Main library B3 Faculty of Engineering & Technology (Electrical) 621.395 K.T.I. (Browse shelf(Opens below)) Available 00003791

Includes bibliographical references (pages [277]-289) and index.

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

There are no comments on this title.

to post a comment.