Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

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

Mohamed Abdel Maksoud

Language

English

Book Paperback

Libristo code: 06812272

Publishers VDM Verlag Dr. Mueller E.K., June 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Full description

Libristo code: 06812272

127 b

52.33 €

102.34 лв

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

LA TRAGEDIA DE SANTA MARÍA Adolfo Bezerra de Menezes

Paperback

27.99 € 54.74 лв

Érettségi Német - Tematikus feladatgyűjtemény a középszintű érettségihez Kinga Olech

Book

17.34 € 33.91 лв

Tópicos em Agricultura Sustentável Luiz Gustavo Batista Ferreira

Paperback

39.05 € 76.38 лв

Los Caminos del Alma Benak

Paperback

20.78 € 40.65 лв

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

Paperback

13.94 € 27.26 лв

Die Ehe in dogmatischer, moralischer und sozialer Beziehung Bernhard Rive

Paperback

42.26 € 82.65 лв

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

Paperback

40.49 € 79.19 лв

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

Paperback

29.39 € 57.48 лв

PETIT CHAPERON ROUGE Heather Amery

Paperback

6.48 € 12.67 лв

Le Bain dérivatif France Guillain

Paperback

22.43 € 43.87 лв

WAKE SWEET MUSE JONATHAN CHENETTE Printed items

Sheet music

5.14 € 10.05 лв

¿QUE SABES DE FEDERICO? HUERTAS GOMEZ

Paperback

12.86 € 25.15 лв

Atypische medizinische Fallserien: Differenzialdiagnose Letícia S. P. Peçanha

Paperback

37.56 € 73.46 лв

Zwei weitere Winter Patrick Salmen

Hardback

13.22 € 25.86 лв

The Baby's Bouquet (Traditional Chinese): 07 Zhuyin Fuhao (Bopomofo) with IPA Paperback Color H y Xiao Phd

Paperback

13.22 € 25.85 лв

Molang - Tome 1 - Rires en plein air Goroglin

Hardback

14.15 € 27.67 лв

Russisches Roulette Horst Teltschik

Paperback

16.11 € 31.50 лв

Bioecologie d'aphidofaune et leurs ennemis naturels Nabila Boubekka

Paperback

48.72 € 95.30 лв

Pod slnkom Turína Ivana Dobrakovová

Hardback

10.96 € 21.43 лв

CYNARATERAPIA: ALCACHOFA Y ALCACHOFERA. EN DIETOTERAPIA MARC AMS

Paperback

38.02 € 74.36 лв

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.