 |
|
|
|
| HAL: hal-00374798, version 1 |
| DOI: 10.1007/b12025 |
| Detailed view |  Export this paper |
|
|
| Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille : France (2003) |
|
|
|
|
| On Timing Analysis of Combinational Circuits |
|
|
| Ramzi Ben Salah 1Marius Bozga 1 |
|
|
| (2003-09-06) |
|
|
|
| In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinational circuits whose inputs change only once and hence they can be modeled using acyclic timed automata. We develop a "divide-and-conquer" methodology based on decomposing the circuit into sub-circuits and using timed automata analysis tools to build conservative low-complexity approximations of the sub-circuits to be used as inputs for the rest of the system. Some preliminary results of this methodology are reported. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Embedded Systems |
|
|
| timed automata – combinational circuits – stabilization time – timing analysis – compositional analysis |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00374798, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00374798 | |
| oai:hal.archives-ouvertes.fr:hal-00374798 | |
| From: Marius Bozga | |
| Submitted on: Thursday, 9 April 2009 17:08:08 | |
| Updated on: Thursday, 9 April 2009 17:18:41 | |
