Higher Order Logic and Hardware Verification

By: T. F. Melham, Thomas F. Melham

Write A Review

Hardcover | 10 January 1994

At a Glance

Hardcover
180 Pages

Dimensions(cm)
24.41 x 16.99 x 1.12

Hardcover

RRP $219.95

$192.99

12%OFF

or 4 interest-free payments of $48.25 with

Ships in 5 to 7 business days

Dr Melham shows here how formal logic can be used to specify the behaviour 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 formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Hardware Computer Science Systems Analysis & Design Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Programming & Scripting Languages

Other Editions and Formats

Paperback

Published: 2nd July 2009

View Product

Introduction
Higher order logic and the HOL system
Hardware verification using higher order logic
Abstraction
Data abstraction
Temporal abstraction
Abstraction between models
Conclusions and future work
Appendices
References
Table of Contents provided by Publisher. All Rights Reserved.

Higher Order Logic and Hardware Verification

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Systems Analysis & Design

Linux Pocket Guide

4th Edition - Essential Commands

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Systems Analysis and Design

12th edition

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Data-driven BIM for Energy Efficient Building Design

1st Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Business Driven Information Systems ISE

9th Edition

Refactoring 2ed

Improving the Design of Existing Code

AI Engineering

Building Applications with Foundation Models

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Augmented Software Design

A Team Exercise in Empirical Software Design

The AI Engineering Bootcamp

Build, Ship, Share

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

Spark : The Definitive Guide

Big Data Processing Made Simple

Dama-Dmbok

Data Management Body of Knowledge: 2nd Edition, Revised

Site Reliability Engineering

How Google Runs Production Systems

The Engineering Leader

Strategies for Scaling Teams and Yourself

Fundamentals of Software Architecture

A Modern Engineering Approach

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Reconceiving AI

The World as an Apple or a Blue Orange

This product is categorised by