Generating Code from Abstract VHDL Models
Basics, Semantics, Algorithms
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
49.00 €
Produktdetails
Produktinformationen zu „Generating Code from Abstract VHDL Models “
Klappentext zu „Generating Code from Abstract VHDL Models “
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 that derives/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 execution time 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.
Autoren-Porträt von Mohamed Abdel Maksoud, Mohamed A. Maksoud
Abdel Maksoud, MohamedMohamed Abdel Maksoud, MSc: Studied Informatics at Saarland Univeristy. Research Assistant at Compiler Construction Lab at Saarland University and Software Engineer at AbsInt Angewandte Informatik GmbH, Germany.
Bibliographische Angaben
- Autoren: Mohamed Abdel Maksoud , Mohamed A. Maksoud
- 2008, 108 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3639024680
- ISBN-13: 9783639024685
Sprache:
Englisch
Kommentar zu "Generating Code from Abstract VHDL Models"
0 Gebrauchte Artikel zu „Generating Code from Abstract VHDL Models“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Generating Code from Abstract VHDL Models".
Kommentar verfassen