Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Engels
127 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Paperback
27.84
€
/
Paperback
12.96
€
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.
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden
178.50
€
/
Paperback
16.07
€
/
Paperback
18.79
€
/
Paperback
15.07
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?