Mohlo by sa vám tiež páčiť

Viac informácií o knihe Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 118 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Information technology: general issues

• Celý názov: Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
• Autor: Mohamed Abdel Maksoud
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 108
• EAN: 9783639024685
• ISBN: 3639024680
• ID: 06812272
• Nakladateľ: VDM Verlag Dr. Mueller E.K.
• Hmotnosť: 154 g
• Rozmery: 229 × 152 × 6 mm
• Dátum vydania: 06. June 2008

Obľúbené z iného súdka

---

---

---