{"product_id":"a-formal-approach-to-hardware-design-von-jorgen-staunstrup","title":"A Formal Approach to Hardware Design","description":"\n                \u003cem\u003eA Formal Approach to Hardware Design\u003c\/em\u003e 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  \u003cem\u003esingle\u003c\/em\u003e language. It is, for example, possible to use \u003cem\u003eexactly  the same design description\u003c\/em\u003e both for mechanically supported  verification and synthesis. \u003cbr\u003e  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. \u003cbr\u003e  \u003cem\u003eA Formal Approach to Hardware Design\u003c\/em\u003e 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781461361930\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781461361930","offer_id":39415324573789,"sku":"9781461361930","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f4ee3d5b-9c08-46bc-b4f1-90befe4c1a49.jpg?v=1771218445","url":"https:\/\/shop.autorenwelt.de\/products\/a-formal-approach-to-hardware-design-von-jorgen-staunstrup","provider":"Autorenwelt Shop","version":"1.0","type":"link"}