The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1992 vol.41)
pp: 1349-1360
ABSTRACT
<p>In classical switching theory, asynchronous sequential circuits are operated in the fundamental mode. In this mode, a circuit is started in a stable state, and then the inputs are changed to cause a transition to another stable state. The inputs are not allowed to change again until the entire circuit has stabilized. In contrast to this, delay-insensitive circuits-the correctness of which is insensitive to delays in their components and wires-use the input-output mode. In this case, it is assumed that inputs may change again, in response to an output change, even before the entire circuit has stabilized. It is shown that such commonly used behaviors as those of the set-reset latch and Muller's C-ELEMENT do not have delay-insensitive realizations, if gates are used as the basic components. It is proved that no nontrivial sequential behavior with one binary input possesses a delay-insensitive realization using gates only. The proof makes use of the equivalence between ternary simulation and the general-multiple-winner model of circuit behavior.</p>
INDEX TERMS
delay-sensitivity; gate networks; switching theory; asynchronous sequential circuits; set-reset latch; Muller's C-ELEMENT; ternary simulation; general-multiple-winner model; circuit behavior; asynchronous sequential logic; delays; ternary logic.
CITATION
J.A. Brzozowski, J.C. Ebergen, "On the Delay-Sensitivity of Gate Networks", IEEE Transactions on Computers, vol.41, no. 11, pp. 1349-1360, November 1992, doi:10.1109/12.177306
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool