Könyv Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms Mohamed Abdel Maksoud

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 9-15 napon belül
19 100 Ft
Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2008
oldal
108
EAN
9783639024685
ISBN
3639024680
Enbook ID
06812272
Súly
154
Méretek
152 x 229 x 6

Teljes leírás

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.

Érdekelheti

18 943 Ft
2 504 Ft
26 501 Ft
9 281 Ft
2 477 Ft
38 537 Ft
9 294 Ft
10 488 Ft
45 668 Ft

CRM Mastery

Jeff Nguyen
7 531 Ft

Nuclear War

Annie Jacobsen
3 613 Ft
6 561 Ft
3 186 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták