9780792372622
Synchronous Equivalence: Formal Methods for Embedded Systems
Harry Hsieh; Alberto Sangiovanni-Vincentelli; Felice Balarin
ISBN 13: 9780792372622
Publisher: Kluwer Academic Pub
Publication Date: 2000
Binding: Hardcover
Your Satisfaction is Guaranteed:
Synchronous Equivalence: Formal Methods for Embedded Systems: Search Results
| 1. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 079237262X / 0-7923-7262-X) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 1
Book Description: Kluwer Academic Publishers. Hardcover. Book Condition: New. Dispatched from UK Warehouse If Not Available in the UK Warehouse it will Dispatched from Our UAE (Dubai) Warehouse or Iran Warehouse , without any changes in Shipping Rates. Bookseller Inventory # 079237262X--101 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 29.76
From United Kingdom to U.S.A. |
||
| 2. |
Synchronous Equivalence : Formal Methods For Embedded Systems (ISBN: 079237262X / 0-7923-7262-X) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 1
Book Description: Kluwer Academic Publishers, 2001. Hardcover. Book Condition: New. Dust Jacket Condition: New. 1st. Bookseller Inventory # 079237262X_New Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 5.01
From India to U.S.A. |
||
| 3. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 9780792372622) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/04/2012, 2012. Hardback. Book Condition: New. New print on demand book. Shipped from US. This item is printed on demand. Bookseller Inventory # IJ-9780792372622 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 4. |
Synchronous Equivalence (ISBN: 9780792372622) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 20
Book Description: Kluwer Academic Publishers, 2000. Book Condition: New. Bookseller Inventory # 2908233 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From Italy to U.S.A. |
||
| 5. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 9780792372622) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/05/2012, 2012. Hardback. Book Condition: New. New print on demand book. Shipped from US. This item is printed on demand. Bookseller Inventory # IO-9780792372622 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 14.10
From United Kingdom to U.S.A. |
||
| 6. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 9780792372622) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 5
Book Description: Kluwer Academic Publishers. Hardback. Book Condition: new. BRAND NEW PRINT ON DEMAND., Synchronous Equivalence: Formal Methods for Embedded Systems, Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli, An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. 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. Bookseller Inventory # B9780792372622 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 9.30
From United Kingdom to U.S.A. |
||
| 7. |
Synchronous Equivalence: Formal Methods for Embedded Systems (Hardback) (ISBN: 9780792372622) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 10
Book Description: Kluwer Academic Publishers, United States, 2000. Hardback. Book Condition: New. 234 x 156 mm. Brand New Book with Free Worldwide Delivery ***** Print on Demand *****. An 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. 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. 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. Synchronous Equivalence: Formal Methods for Embedded Systems 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 Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, by Balarin et al. Synchronous Equivalence: Formal Methods for Embedded Systems 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. Bookseller Inventory # APC9780792372622 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From United Kingdom to U.S.A. |
||
| 8. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 079237262X / 0-7923-7262-X) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 1
Book Description: Springer, 2012. Hardcover. Book Condition: New. 8.98 by 7 inches. (00152 pages) This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 2000-12-31 00:00:00} [ships from USA takes 8-14 days to Europe] illustrated Lang=English accessory:NO ACCESSORY (Hardcover ). Bookseller Inventory # AF079237262X Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 9. |
Synchronous Equivalence: Formal Methods for Embedded Systems (ISBN: 079237262X / 0-7923-7262-X) Hsieh, Harry;Sangiovanni-Vincentelli, Alberto;Balarin, Felice Quantity Available: 1
Book Description: Hardcover. Book Condition: New. 1st. 178mm x 14mm x 228mm. Print on Demand 152 pages. 0.912. Bookseller Inventory # 9780792372622 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 20.36
From United Kingdom to U.S.A. |
||
Portions of this page may be (c) 2006 Muze Inc. Some database content may also be provided by Baker & Taylor Inc. Copyright 1995-2006 Muze Inc. For personal non-commercial use only. All rights reserved. Content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.
Portions of this page may be Copyright VNU Entertainment Media (UK) Ltd., 2006, Georg Lingenbrink GmbH & Co., Tite Live, S.A or Informazioni Editoriali S.p.A. All rights reserved.
