.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Approach to Hardware Design
Jorgen Staunstrup
€ 193.74
FREE Delivery in Ireland
Description for Formal Approach to Hardware Design
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: THR; TJFC; UGC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 408.
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
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. 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
New York, NY, United States
ISBN
9781461361930
SKU
V9781461361930
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Approach to Hardware Design