On Timing Analysis of Combinational Circuits - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

On Timing Analysis of Combinational Circuits

Ramzi Ben Salah
  • Fonction : Auteur
Marius Bozga
Oded Maler
  • Fonction : Auteur
  • PersonId : 840888

Résumé

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.
Fichier principal
Vignette du fichier
formats03.pdf (170.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00374798 , version 1 (09-04-2009)

Identifiants

Citer

Ramzi Ben Salah, Marius Bozga, Oded Maler. On Timing Analysis of Combinational Circuits. Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Sep 2003, Marseille, France. pp.204-219, ⟨10.1007/b12025⟩. ⟨hal-00374798⟩
197 Consultations
280 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More