Artículos relacionados a Synchronous Equivalence: Formal Methods for Embedded...

Synchronous Equivalence: Formal Methods for Embedded Systems - Tapa dura

 
9780792372622: Synchronous Equivalence: Formal Methods for Embedded Systems
Ver todas las copias de esta edición ISBN.
 
 
Reseña del editor:
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.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2000
  • ISBN 10 079237262X
  • ISBN 13 9780792372622
  • EncuadernaciónTapa dura
  • Número de páginas156
Comprar nuevo Ver este artículo

Gastos de envío: EUR 6,49
De Estados Unidos de America a España

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9781461356646: Synchronous Equivalence: Formal Methods for Embedded Systems

Edición Destacada

ISBN 10:  ISBN 13:  9781461356646
Editorial: Springer, 2012
Tapa blanda

Los mejores resultados en AbeBooks

Imagen del vendedor

Hsieh, Harry", "Balarin, Felice", "Sangiovanni-Vincentelli, Alberto L."
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: 10
Librería:
booksXpress
(Bayonne, NJ, Estados Unidos de America)

Descripción Hardcover. Condición: new. Nº de ref. del artículo: 9780792372622

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 103,10
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,49
De Estados Unidos de America a España
Destinos, gastos y plazos de envío
Imagen del vendedor

Harry Hsieh|Felice Balarin|Alberto L. Sangiovanni-Vincentelli
Publicado por Springer US (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
moluna
(Greven, Alemania)

Descripción Gebunden. Condición: 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 ref. del artículo: 5970036

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 92,27
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío
Imagen de archivo

Harry Hsieh
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)

Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780792372622_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 117,73
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,66
De Reino Unido a España
Destinos, gastos y plazos de envío
Imagen del vendedor

Harry Hsieh
Publicado por Springer US (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: 1
Librería:
AHA-BUCH GmbH
(Einbeck, Alemania)

Descripción Buch. Condición: 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 ref. del artículo: 9780792372622

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 112,24
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío
Imagen de archivo

Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: 1
Librería:
BennettBooksLtd
(LOS ANGELES, CA, Estados Unidos de America)

Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 2.01. Nº de ref. del artículo: Q-079237262X

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 83,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 40,77
De Estados Unidos de America a España
Destinos, gastos y plazos de envío
Imagen de archivo

Harry Hsieh
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
THE SAINT BOOKSTORE
(Southport, Reino Unido)

Descripción Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9780792372622

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 140,21
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,13
De Reino Unido a España
Destinos, gastos y plazos de envío
Imagen del vendedor

Harry Hsieh
Publicado por Springer US Dez 2000 (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: 2
Impresión bajo demanda
Librería:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)

Descripción Buch. Condición: 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 ref. del artículo: 9780792372622

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 139,09
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío
Imagen de archivo

Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
California Books
(Miami, FL, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: I-9780792372622

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 148,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,49
De Estados Unidos de America a España
Destinos, gastos y plazos de envío
Imagen de archivo

Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer (2000)
ISBN 10: 079237262X ISBN 13: 9780792372622
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190184348

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 111,60
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 69,50
De Estados Unidos de America a España
Destinos, gastos y plazos de envío