No Words Wasted Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Required Reading | January 16, 2015

    Required Reading: Books That Changed Us



    We tend to think of reading as a cerebral endeavor, but every once in a while, it can spur action. The following books — ranging from... Continue »

    spacer
Qualifying orders ship free.
$136.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Engineering- General Engineering

Cambridge Tracts in Theoretical Computer Science #0031: Higher Order Logic and Hardware Verification

by

Cambridge Tracts in Theoretical Computer Science #0031: Higher Order Logic and Hardware Verification Cover

 

Synopses & Reviews

Publisher Comments:

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 specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalized in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behavior. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Synopsis:

This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.

Description:

Includes bibliographical references (p. [147]-157) and index.

Table of Contents

1. Introduction; 2. Higher order logic and the HOL system; 3. Hardware verification using higher order logic; 4. Abstraction; 5. Data abstraction; 6. Temporal abstraction; 7. Abstraction between models; 8. Conclusions and future work; Appendices; References.

Product Details

ISBN:
9780521417181
Author:
Melham, T. F.
Author:
Melham, Thomas F.
Author:
Van Rijsbergen, C. J.
Author:
C. J. van Rijsbergen
Publisher:
Cambridge University Press
Location:
Cambridge ;
Subject:
Logic
Subject:
Logic, symbolic and mathematical
Subject:
Computer Engineering
Subject:
Programming - Software Development
Subject:
Integrated circuits
Subject:
General Computers
Subject:
Engineering-General Engineering
Edition Description:
Hardcover
Series:
Cambridge Tracts in Theoretical Computer Science
Series Volume:
0031
Publication Date:
19931131
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Yes
Pages:
179
Dimensions:
10.03x7.06x.54 in. 1.14 lbs.

Related Subjects

» Engineering » Engineering » General Engineering
» Science and Mathematics » Physics » Optics

Cambridge Tracts in Theoretical Computer Science #0031: Higher Order Logic and Hardware Verification New Hardcover
0 stars - 0 reviews
$136.25 In Stock
Product details 179 pages Cambridge University Press - English 9780521417181 Reviews:
"Synopsis" by , This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.