Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

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

Maksoud, Mohamed Abdel

Paperback

General Computers

ISBN10: 3639024680
ISBN13: 9783639024685
Publisher: Blues Kids Of Amer
Published: Jun 6 2008
Pages: 108
Weight: 0.34
Height: 0.22 Width: 6.00 Depth: 9.00
Language: English
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.

Also in

General Computers

View All