Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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: 44.0 EUR
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Língua

Inglês

Livro Capa mole

Código Libristo: 06812272

Editoras VDM Verlag Dr. Mueller E.K., junho 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Descrição completa

Código Libristo: 06812272

106 b

44.00 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

37.43 €

Tik tak bum

Jogo

17.09 €

WAKE SWEET MUSE JONATHAN CHENETTE Artigos impressos

Partituras

5.05 €

Zwei weitere Winter Patrick Salmen

Livro de capa dura

11.12 €

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

Capa mole

24.88 €

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

Capa mole

11.63 €

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

Calendário

17.29 €

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.