Introduction to Formal Hardware Verification
by Thomas Kropf



List Price: $89.99
Amazon Price: $50.31
You Save: $39.68 (44%)
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 : # 3,101,692 in Amazon.com Books Sales


SolidCAM - Learn More

Featured Video
Editorial
Jobs
Mechanical Designer for TechnipFMC at Houston,, Texas
ROV Pilot II for TechnipFMC at Houston,, Texas
GIS Analyst #14713 for State of Missouri at Jefferson City,, Missouri
Geographic Information System Analyst II for State of Idaho at Boise, Idaho
Upcoming Events
Altair 2020 Global Experience | Worldwide Virtual Event at Worldwide Virtual Event - Jun 3 - 4, 2020
Sensors Expo & Conference at SAN JOSE CA - Jun 9 - 11, 2020
Realize LIVE 2020 at Mandalay Bay Las Vegas NV - Jun 22 - 25, 2020
Robotics Summit & Expo at Seaport World Trade Center 1 Seaport Lane Boston MA - Sep 24 - 25, 2020
Kenesto: 30 day trial
MasterCAM
SolidCAM:



© 2020 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