Formal Approach to Hardware Design
Jorgen Staunstrup
€ 189.72
FREE Delivery in Ireland
Description for Formal Approach to Hardware Design
Hardback. Discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions; and the models created enable the designer to perform different kinds of analysis and verification. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 532.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
1994
Publisher
Kluwer Academic Publishers United States
Number of pages
232
Condition
New
Series
The Springer International Series in Engineering and Computer Science
Number of Pages
232
Place of Publication
Dordrecht, Netherlands
ISBN
9780792394273
SKU
V9780792394273
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Approach to Hardware Design