Skip to main content
SpringerLink
Log in

Introduction to Formal Hardware Verification

  • Textbook
  • © 1999

Overview

Authors:
  1. Thomas Kropf

    1. Department K8/DIC3, Robert Bosch GmbH, Reutlingen, Germany
      Wilhelm Schickard Institute of Computer Science, University of Tübingen, Tübingen, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Introduction

    • Thomas Kropf
    Pages 1-30

  3. Boolean Functions

    • Thomas Kropf
    Pages 31-82

  4. Approaches Based on Finite State Machines

    • Thomas Kropf
    Pages 83-150

  5. Propositional Temporal Logics

    • Thomas Kropf
    Pages 151-206

  6. Higher-Order Logics

    • Thomas Kropf
    Pages 207-254

  7. Back Matter

    Pages 255-299
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Department K8/DIC3, Robert Bosch GmbH, Reutlingen, Germany

    Thomas Kropf

  • Wilhelm Schickard Institute of Computer Science, University of Tübingen, Tübingen, Germany

    Thomas Kropf

Bibliographic Information

  • Book Title: Introduction to Formal Hardware Verification

  • Authors: Thomas Kropf

  • DOI: https://doi.org/10.1007/978-3-662-03809-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1999

  • Hardcover ISBN: 978-3-540-65445-2Published: 16 October 1999

  • Softcover ISBN: 978-3-642-08477-5Published: 09 December 2010

  • eBook ISBN: 978-3-662-03809-3Published: 09 March 2013

  • Edition Number: 1

  • Number of Pages: IX, 299

  • Topics: Computer Hardware, Electronics and Microelectronics, Instrumentation, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation