A Formal Approach to Hardware Design

By: JÃ¸rgen Staunstrup

Write A Review

Hardcover | 31 January 1994

At a Glance

Hardcover
252 Pages

Dimensions(cm)
23.39 x 15.6 x 1.6

Hardcover

$310.47

or 4 interest-free payments of $77.62 with

Aims to ship in 7 to 10 business days

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis.
Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject.
A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.

Shipping

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

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 Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages

Energy Technology & Engineering Electrical Engineering

Preface
Formal Design Methods	p. 1
Designing with Transitions	p. 13
Formal Verification	p. 47
Synchronous Designs	p. 81
Synchronous Realizations	p. 111
Refinement	p. 133
Self-Timed Circuits	p. 157
Towards Larger Designs	p. 187
Epilog	p. 203
A: Synchronized Transitions Report	p. 207
References	p. 223
Index	p. 229
Table of Contents provided by Blackwell. All Rights Reserved.

A Formal Approach to Hardware Design

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Robotics Goes MOOC

Interaction

Computing Technologies for Sustainable Development

First International Research Conference, IRCCTSD 2024, Chennai, India, May 9-10, 2024, Proceedings, Part II

Computing Technologies for Sustainable Development

First International Research Conference, IRCCTSD 2024, Chennai, India, May 9-10, 2024, Proceedings, Part III

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Platform Engineering

A Guide for Technical, Product, and People Leaders

Hands-On AWS CDK

Building Cloud Native Applications with Infrastructure-As-Code

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Essentials of Computer Organization and Architecture with Navigate Advantage Access

Facilitating Software Architecture

Empowering Teams to Make Architectural Decisions

Logic and Computer Design Fundamentals, Global Edition

5th edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Modern System Administration

Managing Reliable and Sustainable Systems

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Communication Patterns

A Guide for Developers and Architects

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Frontend Architecture for Design Systems

This product is categorised by