Generating Code from Abstract VHDL Models

Autor:: Mohamed Abdel Maksoud
Wydawnictwo:: VDM Verlag
Liczba stron:: 108
Format:: 220 mm x 150 mm x 6 mm
ISBN-13/EAN:: 9783639024685
ISBN-10:: 3639024680
Rok wydania:: czerwiec 2008 r.
Waga:: 177 g
Realizacja:: ok. 7-10 dni + wysyłka

Generating Code from Abstract VHDL Models, czerwiec 2008 r. : 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.

Książki kupowane lub oglądane razem z pozycją "Generating Code from Abstract VHDL Models":

Group Security with Elliptic Curve Cryptography Shyi-Tsong Wu
260.00 zł With the explosion of the Internet as well as the wireless and mobile communications, it faces a growing
Mobile and Wireless Communication Networks Guy Pujolle
624.00 zł This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The
STACS 2003 Michel Habib, Helmut Alt
494.00 zł This book constitutes the refereed proceedings of the 20th Annual Symposium on Theoretical Aspects of
Adaptation and Learning in Multi-Agent Systems Gerhard Weiß, Sandip Sen
188.00 zł This book is based on the workshop on Adaptation and Learning in Multi-Agent Systems, held in
Advances in Artificial Intelligence Stan Matwin, Eleni Stroulia
340.00 zł This book constitutes the refereed proceedings of the 14th Artificial Intelligence Conference sponsored
Logical Foundations of Computer Science Anil Nerode, Yu. V. Matiyasevich
250.00 zł This volume presents the refereed papers accepted for the international symposium Logical Foundations of
Computer Vision Systems Bernt Schiele, Gerhard Sagerer
284.00 zł This book constitutes the refereed proceedings of the Second International Workshop on Computer Vision
Graph Drawing Jan Kratochvil
329.00 zł This book constitutes the thoroughly refereed post-proceedings of the 7th International Symposium on