Contatto
Come acquistare
Consegna
Guida all'acquisto
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Inglese
131 b
30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
29.19
€
/
Calendario
20.49
€
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.
Informazioni sul libro
Inglese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
33.59
€
/
In brossura
15.39
€
/
In brossura
19.19
€
/
Rigido
172.99
€
/
In brossura
15.79
€
/
Rigido
171.49
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?