2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (2017)
San Diego, CA, USA
May 21, 2017 to May 24, 2017
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASYNC.2017.15
In a seminal 1990 paper , Martin presents the C-element Theorem which implies, roughly, that the class of purely delay insensitive (DI) circuits is fundamentally limited in the set of functions it can implement. We provide circuit examples, both DI and not DI, that violate assumptions or results from , showing that the set of circuits considered by  is more limited than one might expect-and hence, the results from  are weaker than previously thought. In this paper we address this issue and amend matters. We use a model of circuits that naturally captures DI properties, and in particular admits all of our circuit examples. We prove the Eventual C-element Theorem for DI circuits. This is a variant of the C-element Theorem that similarly implies that the class of DI circuits is very limited. The proof of the new theorem uses novel techniques, and in particular makes use of a combinatorial property not present in previous work. With the new result, Martins original insight and its profound implications are restored and provided with a new mathematical justification.
asynchronous circuits, delay circuits, mathematical analysis
R. Manohar and Y. Moses, "The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits," 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), San Diego, CA, USA, 2017, pp. 102-109.