We describe the application ESBC to perform the timing analysis of a combinatorial circuit. The circuit is described by formulas of Classical Logic and the delays of propagation of the signals in a gate are represented by a kind of valuation form semantics. ESBC computes the exact stabilization times at which the output signals stabilize.
ESBC : an application for computing stabilization bounds / A. Avellone, M. Ferrari, C. Fiorentini, G. Fiorino, U. Moscato. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 153:1(2006 Mar), pp. 23-33. [10.1016/j.entcs.2005.08.004]
ESBC : an application for computing stabilization bounds
C. Fiorentini;
2006
Abstract
We describe the application ESBC to perform the timing analysis of a combinatorial circuit. The circuit is described by formulas of Classical Logic and the delays of propagation of the signals in a gate are represented by a kind of valuation form semantics. ESBC computes the exact stabilization times at which the output signals stabilize.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2006_entcs_esbc.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
290.81 kB
Formato
Adobe PDF
|
290.81 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.