Get Free Shipping on orders over $79
A Formal Approach to Hardware Design : KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE - Jørgen Staunstrup

A Formal Approach to Hardware Design

By: Jørgen Staunstrup

Hardcover | 31 January 1994

At a Glance

Hardcover


$249.75

or 4 interest-free payments of $62.44 with

 or 

Ships in 5 to 7 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.

More in Circuits & Components

Practical Electronics for Inventors : Electronics - Paul Scherz

RRP $71.95

$50.75

29%
OFF
Circuits and Systems : A Modern Approach - Jasper Harrison
Recent Advances in Compact Antennas - Frank Masi
Encyclopedia of Electronic Components V3 - Charles Platt

RRP $57.00

$30.75

46%
OFF
Encyclopedia of Electronic Components Volume 2 - Charles Platt

RRP $57.00

$30.75

46%
OFF
Introductory Circuit Analysis, Global Edition : 14th Edition - Robert L. Boylestad
Smart Grids : Sustainable Energy Systems - K.  Karthikeyan

RRP $315.00

$271.99

14%
OFF
Signal Integrity in Digital Systems : Principles and Practice - Edward  Wheeler
Tiny Machine Learning Techniques for Constrained Devices - Khalid El-Makkaoui
Energy Storage : Systems and Components - Alfred Rufer
Digital Design and Computer Architecture : 2nd Edition - Sarah Harris
Starting Electronics, 4e - Keith Brindley

RRP $51.95

$49.75

Electronic Devices, Global Edition - Thomas Floyd

RRP $164.79

$122.75

26%
OFF