A Formal Approach to Hardware Design

by Jørgen Staunstrup

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 0792394275
• ISBN13: 9780792394273
• Release Date: January 1994
• Publisher: Springer
• Length: 232 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.9" x 6.6" x 9.8"