Introduction to Formal Hardware Verification

Thomas Kropf

ISBN 10: 3540654453 ISBN 13: 9783540654452

Published by Springer Berlin Heidelberg, 1999

Language: English

Used Condition: Gut Hardcover

Save for Later

Sold by Buchpark, Trebbin, Germany

AbeBooks Seller since September 30, 2021

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Gut

Price: US$ 47.15 Convert Currency

US$ 52.34 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 2 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Zustand: Gut | Sprache: Englisch | Produktart: B�cher.

Seller Inventory # 17974/3

Contact seller

Report this item

Bibliographic Details

Title

Introduction to Formal Hardware Verification

Publisher

Springer Berlin Heidelberg

Publication Date

1999

Language

English

ISBN 10

3540654453

ISBN 13

9783540654452

Binding

Hardcover

Condition

Gut

Seller catalogs

About this title

Synopsis

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.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Store Description

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visit Seller's Storefront