Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Angielski
124 b
najlepszej
ceny ▸
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
120.63
zł
/
Kalendarz
84.40
zł
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.
Informacje o książce
Angielski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
64.09
zł
/
Twarda
722.21
zł
/
Miękka
68.07
zł
/
Twarda
709.56
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?