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.
Articolo in rivista - Articolo scientifico
constructive logics, logical synthesis
English
2006
153
1
23
33
none
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].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/1090
Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
Social impact