Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Thomas Nowak <>
Submitted on : Friday, November 20, 2015 - 2:02:12 PM
Last modification on : Thursday, February 7, 2019 - 3:49:58 PM
Document(s) archivé(s) le : Friday, April 28, 2017 - 8:08:46 PM


Files produced by the author(s)




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⟩



Record views


Files downloads