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. © 2006 Elsevier B.V. All rights reserved.
Avellone, A., Ferrari, M., Fiorentini, C., Fiorino, G., Moscato, U. (2006). ESBC: an application for computing stabilization bouns. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 153(1), 23-33 [10.1016/j.entcs.2005.08.004].
ESBC: an application for computing stabilization bouns
AVELLONE, ALESSANDRO;FIORINO, GUIDO GIUSEPPE;MOSCATO, UGO EMANUELE
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. © 2006 Elsevier B.V. All rights reserved.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
