0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Introduction to Formal Hardware Verification (Hardcover, 1999 ed.) Loot Price: R1,699
Discovery Miles 16 990
Introduction to Formal Hardware Verification (Hardcover, 1999 ed.): Thomas Kropf

Introduction to Formal Hardware Verification (Hardcover, 1999 ed.)

Thomas Kropf

 (sign in to rate)
Loot Price R1,699 Discovery Miles 16 990 | Repayment Terms: R159 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Release date: October 1999
First published: 1999
Authors: Thomas Kropf
Dimensions: 234 x 156 x 19mm (L x W x T)
Format: Hardcover
Pages: 299
Edition: 1999 ed.
ISBN-13: 978-3-540-65445-2
Categories: Books > Computing & IT > Computer hardware & operating systems > General
Promotions
LSN: 3-540-65445-3
Barcode: 9783540654452

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,581 Discovery Miles 15 810
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,421 Discovery Miles 24 210
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R244 Discovery Miles 2 440
Exam Ref AZ-104 Microsoft Azure…
Harshul Patel, Michael Washam, … Paperback R1,243 Discovery Miles 12 430
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R244 Discovery Miles 2 440
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,297 Discovery Miles 12 970
Quantum Computing, Second Edition - A…
Hafiz Md. Hasan Babu Hardcover R3,474 Discovery Miles 34 740
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R983 Discovery Miles 9 830
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R459 R288 Discovery Miles 2 880
Wireless Communication Networks…
Hailong Huang, Andrey V. Savkin, … Paperback R2,934 Discovery Miles 29 340
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,362 Discovery Miles 13 620

See more

Partners