Unfaithful Glitch Propagation in Existing Binary Circuit Models

Matthias Függer 1 Thomas Nowak 2 Ulrich Schmid 1
2 DYOGENE - Dynamics of Geometric Networks
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria de Paris
Abstract : We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate Delay Degradation Model (DDM) channels proposed by Bellido-Díaz et al. We accomplish our goal by considering the border between solvability and non-solvability of a simple problem called Short-Pulse Filtration (SPF), which is closely related to arbitration and synchronization. On one hand, we prove that SPF is solvable in bounded time in any such model that provides channels with non constant delay, like I and DDM. This is in opposition to the impossibility of solving bounded SPF in real (physical) circuit models. On the other hand, for binary circuit models with constant-delay channels, we prove that SPF cannot be solved even in unbounded time; again in opposition to physical circuit models. Consequently, indeed none of the binary value-domain models proposed so far (and that we are aware of) faithfully captures glitch propagation of real circuits. We finally show that these modeling mismatches do not hold for the weaker eventual SPF problem.
Type de document :
Article dans une revue
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (3), pp.964-978. 〈10.1109/TC.2015.2435791〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01231501
Contributeur : Thomas Nowak <>
Soumis le : vendredi 20 novembre 2015 - 14:02:12
Dernière modification le : jeudi 26 avril 2018 - 10:28:50
Document(s) archivé(s) le : vendredi 28 avril 2017 - 20:08:46

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Matthias Függer, Thomas Nowak, Ulrich Schmid. Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (3), pp.964-978. 〈10.1109/TC.2015.2435791〉. 〈hal-01231501〉

Partager

Métriques

Consultations de la notice

190

Téléchargements de fichiers

102