Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Name: Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06812272
Price: 53.39 EUR
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 06812272

Editores VDM Verlag Dr. Mueller E.K., junio 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Descripción completa

Código Libristo: 06812272

131 b

53.39 €

Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

Precis de Botanique Medicale, (Ed.1898) Trabut L

Tapa blanda

45.99 €

Tik tak bum

Juego

20.39 €

WAKE SWEET MUSE JONATHAN CHENETTE Artículos impresos

Partituras

6.19 €

Zwei weitere Winter Patrick Salmen

Tapa dura

13.89 €

paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi

Tapa blanda

30.69 €

Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR

Tapa blanda

14.19 €

Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Calendario

21.69 €

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e. abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler thatderives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over executiontime of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware.