Introduction to Formal Hardware Verification
by Thomas Kropf



List Price: $89.99
Amazon Price: $60.20
You Save: $29.79 (33%)
Availability: Now



Editorial Reviews
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.



Book Details
  • Media : Hardcover
  • Publisher : Springer (November 23, 1999)
  • Language : English
  • ISBN : 3540654453
  • Amazon.com Sales Rank : # 2,923,777 in Amazon.com Books Sales

SolidCAM - Learn More

Editorial
Latest Blog Posts
Jobs
Ecommerce Account Manager for Bright Atlas LLC at Miami Gardens, Florida
Upcoming Events
CES - The Global Stage for Innovation at LAS VEGAS NV - Jan 7 - 10, 2020
AHR Expo at Orange County Convention Center West Building Orlando FL - Feb 3 - 5, 2020
Design & Manufacturing at Anaheim Convention Center Anaheim CA - Feb 11 - 13, 2020
METAV 2020 at Düsseldorf Germany - Mar 10 - 13, 2020
Kenesto: 30 day trial
SolidCAM:



Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise