Delay-Insensitivity and Semi-Modularity

The study of asynchronous circuit behaviors in the presence of component and wire delays has received a great deal of attention. In this paper, we consider asynchronous circuits whose components can be any non-deterministic sequential machines of the Moore type, and describe a formal model for these circuits and their behaviors under the inertial delay model. We model an asynchronous circuit C by a network N of modules with delays associated with its components and/orwires.Wecomputethebehaviorof N assumingarbitraryinertialdelaysinthemodules, andtakethisbehavior to be correct. We define N to be strongly delay-insensitive if its behavior remains correct in the presence of arbitrary stray delays, where correctness is defined through the notion of observational equivalence (or bisimulation), one of the strongest forms of behavioral equivalence. We introduce the notion of quasi semi-modularity, which generalizes Muller's definition of semi-modularity to non-deterministic networks. We p...

• Type: Journal
• Year: 2000
• Where: FMSD
• Authors: Janusz A. Brzozowski, Hao Zhang 0002
• Keywords: Asynchronous Circuit, Behavior, Delays, FMSD 2000