A Formal Approach to Hardware Design

A Formal Approach to Hardware Design
Author :
Publisher : Springer Science & Business Media
Total Pages : 240
Release :
ISBN-10 : 9781461527640
ISBN-13 : 1461527643
Rating : 4/5 (643 Downloads)

Book Synopsis A Formal Approach to Hardware Design by : Jørgen Staunstrup

Download or read book A Formal Approach to Hardware Design written by Jørgen Staunstrup and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Formal Approach to Hardware Design Related Books

A Formal Approach to Hardware Design
Language: en
Pages: 240
Authors: Jørgen Staunstrup
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach ba
Formal Verification of Floating-Point Hardware Design
Language: en
Pages: 388
Authors: David M. Russinoff
Categories: Technology & Engineering
Type: BOOK - Published: 2018-10-13 - Publisher: Springer

GET EBOOK

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification
Hardware Design Verification
Language: en
Pages: 585
Authors: William K. C. Lam
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Prentice Hall

GET EBOOK

The Practical, Start-to-Finish Guide to Modern Digital Design Verification As digital logic designs grow larger and more complex, functional verification has be
Hardware-Software Co-Design of Embedded Systems
Language: en
Pages: 311
Authors: F. Balarin
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with
Formal Methods and Models for System Design
Language: en
Pages: 367
Authors: Rajesh Gupta
Categories: Computers
Type: BOOK - Published: 2004-06-30 - Publisher: Springer Science & Business Media

GET EBOOK

Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a give