| | |
Summary: A New Explanation of the Glitch
Phenomenon
James H. Anderson
Department of Computer Science
The University of Maryland at College Park
College Park, Maryland 20742
Mohamed G. Gouda
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas 78712-1188
August 1988
Revised July 1989
Abstract
We consider a discrete model for asynchronous circuits and show
that, under very mild restrictions, this model excludes the existence of
glitch-free arbiters. This result contradicts a long standing conjecture
that the nonexistence of glitch-free arbiters is due to the continuous
nature of such circuits.
Keywords: arbiter, asynchronous circuit, atomicity, glitch, history,
interleaving semantics, metastability, nondeterminism, waiting
|
