{"product_id":"9781461356646","title":"Synchronous Equivalence: Formal Methods for Embedded Systems","description":"\u003ch1\u003eSynchronous Equivalence: Formal Methods for Embedded Systems\u003c\/h1\u003e \u003ch2\u003eHsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.\u003c\/h2\u003e \u003cp\u003eAn embedded system is loosely defined as any system that  utilizes electronics but is not perceived or used as a general-purpose  computer. Traditionally, one or more electronic circuits or  microprocessors are literally embedded in the system, either taking up  roles that used to be performed by mechanical devices, or providing  functionality that is not otherwise possible. \u003cbr\u003e  The goal of this book is to investigate how formal methods can be  applied to the domain of embedded system design. The emphasis is on  the specification, representation, validation, and design exploration  of such systems from a high-level perspective. The authors review the  framework upon which the theories and experiments are based, and  through which the formal methods are linked to synthesis and  simulation. \u003cbr\u003e  A formal verification methodology is formulated to verify general  properties of the designs and demonstrate that this methodology is  efficient in dealing with the problem of complexity and effective in  finding bugs. However, manual intervention in the form of abstraction  selection and separation of timing and functionality is required. It  is conjectured that, for specific properties, efficient algorithms  exist for completely automatic formal validations of systems. \u003cbr\u003e  \u003cem\u003eSynchronous Equivalence: Formal Methods for Embedded Systems\u003c\/em\u003e  presents a brand new formal approach to high-level equivalence  analysis. It opens design exploration avenues previously uncharted. It  is a work that can stand alone but at the same time is fully  compatible with the synthesis and simulation framework described in  another book by Kluwer Academic Publishers \u003cem\u003eHardware-Software  Co-Design of Embedded\u003c\/em\u003e \u003cem\u003eSystems: The POLIS Approach\u003c\/em\u003e, by Balarin  \u003cem\u003eet al.\u003c\/em\u003e \u003cbr\u003e  \u003cem\u003eSynchronous Equivalence: Formal Methods for Embedded Systems\u003c\/em\u003e  will be of interest to embedded system designers (automotive  electronics, consumer electronics, and telecommunications),  micro-controller designers, CAD developers and students, as well as IP  providers, architecture platform designers, operating system  providers, and designers of VLSI circuits and systems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-11-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461356646\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-1659-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 136\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44340838269068,"sku":"9781461356646","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461356646.jpg?v=1775049441","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461356646","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}