Книга Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms Mohamed Abdel Maksoud

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

Автор: Mohamed Abdel Maksoud
Език: Английски език
Корици: С меки корици
Издател: VDM Verlag Dr. Mueller E.K.
Наличност: Външен склад
Изпращаме след 9-15 дни
49.92 97.64 лв
Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2008
страници
108
EAN
9783639024685
ISBN
3639024680
Enbook ID
06812272
Теглоt
154
Размери
152 x 229 x 6

Пълно описание

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.

Може също да ви хареса

49.82 97.45 лв
6.52 12.75 лв
72.25 141.32 лв
33.01 64.57 лв
32.56 63.69 лв
25.44 49.75 лв
6.47 12.65 лв
30.66 59.96 лв
105.32 205.99 лв
177.63 347.42 лв
24.28 47.49 лв
28.65 56.03 лв
119.78 234.26 лв

CRM Mastery

Jeff Nguyen
19.67 38.46 лв

Nuclear War

Annie Jacobsen
10.68 20.89 лв
6.32 12.36 лв
17.11 33.46 лв
8.17 15.99 лв

Клиенти, които купиха тази книга, купиха също

42.30 82.73 лв
19.62 38.36 лв

WAKE SWEET MUSE

JONATHAN CHENETTE
6.22 12.16 лв

Zwei weitere Winter

Patrick Salmen
12.94 25.31 лв