Find your perfect holiday reading
Introduction to Formal Hardware Verification (Hardback)
  • Introduction to Formal Hardware Verification (Hardback)
zoom

Introduction to Formal Hardware Verification (Hardback)

(author)
£64.99
Hardback 299 Pages / Published: 16/10/1999
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540654452
Number of pages: 299
Weight: 1360 g
Dimensions: 234 x 156 x 19 mm
Edition: 1999 ed.

You may also be interested in...

Computing for Seniors in Easy Steps
Added to basket
Raspberry Pi Projects
Added to basket
Brilliant OS X Mavericks
Added to basket
Laptops For Dummies
Added to basket
£17.99
Paperback
Computer Manual
Added to basket
£19.99
Hardback
Hacking Raspberry Pi
Added to basket
Build Your Own Gaming PC
Added to basket
Upgrading and Repairing PCs
Added to basket
£44.47
Mixed media product
The Elements of Computing Systems
Added to basket
Raspberry Pi in Easy Steps
Added to basket
Computer Basics in Easy Steps
Added to basket
Mac Computing for Seniors in Easy Steps
Added to basket
Switching to a Mac For Dummies
Added to basket
The ZX Spectrum ULA
Added to basket
How Computers Work
Added to basket
£29.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.