Sciweavers

FMSD
2000

Delay-Insensitivity and Semi-Modularity

13 years 3 months ago
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...
Janusz A. Brzozowski, Hao Zhang 0002
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where FMSD
Authors Janusz A. Brzozowski, Hao Zhang 0002
Comments (0)