|
|||||
|
|
ESBC: an application for computing stabilization bounds |
|
| Authors: | Alessandro Avellone Mauro Ferrari Camillo Fiorentini Guido Fiorino Ugo Moscato |
| Affiliation: | aDipartimento di Metodi Quantitativi per le Scienze Economiche Aziendali, Università Milano-Bicocca, piazza dell'Ateneo Nuovo 1, 20126 Milano, Italy;bDipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, via Mazzini 5, 21100 Varese, Italy;cDipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy |
| 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. |
| Keywords: | Valuation form semantics timing analysis intermediate logics |
| 本文献已被 ScienceDirect 等数据库收录！ | |