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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 51.72 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

125 b

51.72 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

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

Paperback

28.14 €

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

Paperback

35.87 €

Molang - Tome 1 - Rires en plein air Goroglin

Hardback

14.52 €

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

Calendar

19.71 €

Pod slnkom Turína Ivana Dobrakovová

Hardback

10.46 €

WAKE SWEET MUSE JONATHAN CHENETTE Printed items

Sheet music

5.78 €

PETIT CHAPERON ROUGE Heather Amery

Paperback

7.21 €

Tik tak bum

Game

19.30 €

Russisches Roulette Horst Teltschik

Paperback

15.34 €

Zwei weitere Winter Patrick Salmen

Hardback

12.59 €

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

Paperback

13.71 €

CYNARATERAPIA: ALCACHOFA Y ALCACHOFERA. EN DIETOTERAPIA MARC AMS

Paperback

36.99 €

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

Paperback

40.34 €

Die Ehe in dogmatischer, moralischer und sozialer Beziehung Bernhard Rive

Paperback

40.24 €

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.