caa a22 4500 475797531 CHVBK 20180406123728.0 cr unu---uuuuu 170329e20000301xx s 000 0 eng 10.1023/A:1008795229459 doi (NATIONALLICENCE)springer-10.1023/A:1008795229459 Delay-Insensitivity and Semi-Modularity [Elektronische Daten] [J.A. Brzozowski, H. Zhang] 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/or wires. We compute the behavior of N assuming arbitrary inertial delays in the modules, and take this behavior 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 prove that a circuit, with all the wire delays taken into account, is strongly delay-intensitive if and only if its behavior is quasi semi-modular. Kluwer Academic Publishers, 2000 asynchronous nationallicence bisimulation nationallicence delay-dense nationallicence isochronic nationallicence module nationallicence network nationallicence semi-modular nationallicence speedindependent nationallicence delay-insensitive nationallicence Brzozowski J.A. Department of Computer Science, University of Waterloo, N2L 3G1, Waterloo, ON, Canada aut Zhang H. Department of Computer Science, University of Toronto, M5S 3G4, Toronto, ON, Canada aut Formal Methods in System Design Kluwer Academic Publishers 16/2(2000-03-01), 191-218 0925-9856 16:2<191 2000 16 10703 https://doi.org/10.1023/A:1008795229459 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008795229459 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Brzozowski J.A. Department of Computer Science, University of Waterloo, N2L 3G1, Waterloo, ON, Canada aut NATIONALLICENCE 700 1- Zhang H. Department of Computer Science, University of Toronto, M5S 3G4, Toronto, ON, Canada aut NATIONALLICENCE 773 0- Formal Methods in System Design Kluwer Academic Publishers 16/2(2000-03-01), 191-218 0925-9856 16:2<191 2000 16 10703 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer