Higher Order Logic and Hardware Verification

by T.F. Melham

Book Overview

Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521115329
• ISBN13: 9780521115322
• Release Date: July 2009
• Publisher: Cambridge University Press
• Length: 180 Pages
• Weight: 0.65 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"