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, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8548
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 (P) channels, inertial delay (I) channels, or the elaborate PID channels proposed by Bellido-Díaz et al. We accomplish our goal by considering the solvability/non-solvability border 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 PID. However, this is in opposition to the impossibility of solving bounded SPF in real (Newtonian) circuit models, which follows from well-known results on the behavior of bi-stable circuits obtained by Marino. On the other hand, for binary circuit models with pure delay channels, we prove that SPF cannot be solved even in unbounded time. This, however, is in opposition to the fact that one can easily solve the unbounded SPF problem in Newtonian circuit models. Consequently, indeed none of the binary value-domain models proposed so far faithfully captures glitch propagation of real circuits.
Type de document :
Communication dans un congrès
ASYNC 2013 - IEEE 19th International Symposium on Asynchronous Circuits and Systems, May 2013, Santa Monica, United States. IEEE, pp.191-199, 2013, 〈10.1109/ASYNC.2013.9〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00993796
Contributeur : Thomas Nowak <>
Soumis le : mardi 20 mai 2014 - 16:28:32
Dernière modification le : jeudi 7 février 2019 - 15:49:23
Document(s) archivé(s) le : mercredi 20 août 2014 - 11:55:59

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. ASYNC 2013 - IEEE 19th International Symposium on Asynchronous Circuits and Systems, May 2013, Santa Monica, United States. IEEE, pp.191-199, 2013, 〈10.1109/ASYNC.2013.9〉. 〈hal-00993796〉

Partager

Métriques

Consultations de la notice

346

Téléchargements de fichiers

151