Description du livre Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 takin. N� de r�f. du vendeur 5970036

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 92,27

Autre devise

Ajouter au panier

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Synchronous Equivalence : Formal Methods for Embedded Systems

Harry Hsieh

Edit� par Springer US (2000)

ISBN 10 : 079237262X ISBN 13 : 9780792372622

Neuf Couverture rigide Quantit� disponible : 1

Vendeur :

AHA-BUCH GmbH
(Einbeck, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9780792372622

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 112,24

Autre devise

Ajouter au panier

Frais de port : EUR 32,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image d'archives

Synchronous Equivalence: Formal Methods for Embedded Systems

Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.

Edit� par Springer (2000)

ISBN 10 : 079237262X ISBN 13 : 9780792372622

Neuf Couverture rigide Quantit� disponible : > 20

Vendeur :

California Books
(Miami, FL, Etats-Unis)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Etat : New. N� de r�f. du vendeur I-9780792372622

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 150,07

Autre devise

Ajouter au panier

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Image d'archives

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh

Edit� par Springer (2000)

ISBN 10 : 079237262X ISBN 13 : 9780792372622

Neuf Couverture rigide Quantit� disponible : > 20

impression � la demande

Vendeur :

THE SAINT BOOKSTORE
(Southport, Royaume-Uni)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N� de r�f. du vendeur C9780792372622

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 140,05

Autre devise

Ajouter au panier

Frais de port : EUR 10,46

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Synchronous Equivalence

Harry Hsieh

Edit� par Springer US Dez 2000 (2000)

ISBN 10 : 079237262X ISBN 13 : 9780792372622

Neuf Couverture rigide Quantit� disponible : 2

impression � la demande

Vendeur :

BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch. N� de r�f. du vendeur 9780792372622

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 139,09

Autre devise

Ajouter au panier

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Articles li�s � Synchronous Equivalence: Formal Methods for Embedded...

Synchronous Equivalence: Formal Methods for Embedded Systems - Couverture rigide

Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.

Acheter neuf

Autres �ditions populaires du m�me titre

Edition pr�sent�e

Meilleurs r�sultats de recherche sur AbeBooks