Introduction to Formal Hardware Verification - Hardcover

Kropf, Thomas

 
9783540654452: Introduction to Formal Hardware Verification
Hardcover
ISBN 10: 3540654453 ISBN 13: 9783540654452
Publisher: Springer, 1999

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.

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

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.

Publisher
Springer
Publication date
1999
Language
English
ISBN 10 
3540654453
ISBN 13 
9783540654452
Binding
Hardcover
Number of pages
308

Other Popular Editions of the Same Title

9783642084775: Introduction to Formal Hardware Verification

Featured Edition

ISBN 10:  364208477X ISBN 13:  9783642084775
Publisher: Springer, 2010
Softcover