Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Angličtina
114 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
640
Kč
/
List
349
Kč
/
Brožovaná
306
Kč
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.
Informace o knize
Angličtina
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Brožovaná
368
Kč
/
Pevná
4 154
Kč
/
Brožovaná
434
Kč
/
Brožovaná
350
Kč
Ahoj! Jsem Libroamiko, tvůj knižní rádce.
Jak ti můžu pomoct?