|
Books > Computing & IT > Computer hardware & operating systems
|
Buy Now
Introduction to Formal Hardware Verification (Paperback, Softcover reprint of hardcover 1st ed. 1999)
Loot Price: R1,474
Discovery Miles 14 740
|
|
|
Introduction to Formal Hardware Verification (Paperback, Softcover reprint of hardcover 1st ed. 1999)
Expected to ship within 10 - 15 working days
|
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.
General
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..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
