Unfaithful Glitch Propagation in Existing Binary Circuit Models - Archive ouverte HAL
Article Dans Une Revue IEEE Transactions on Computers Année : 2016

Unfaithful Glitch Propagation in Existing Binary Circuit Models

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
paper.pdf (577.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01231501 , version 1 (20-11-2015)

Identifiants

Citer

Matthias Függer, Thomas Nowak, Ulrich Schmid. Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Transactions on Computers, 2016, 65 (3), pp.964-978. ⟨10.1109/TC.2015.2435791⟩. ⟨hal-01231501⟩
138 Consultations
98 Téléchargements

Altmetric

Partager

More