Issue No. 03 - March (1979 vol. 28)
J.A. Brzozowski , Department of Computer Science, University of Waterloo
In this paper we formalize a ternary model which is being used to study the behavior of binary sequential gate networks. We first describe a binary model which is capable of a detailed description of network behavior, but involves a number of steps that grows exponentially in the number of gates. The complexity of the ternary model is linear in the number of gates;however, only partial information is obtained in generaL A mathematical theory is developed making precise these two models and the comparison between them. A number of examples illustrate these results. This work generalizes previously reported research.
ternary model, Asynchronous sequential networks, hazards, oscillations, races
M. Yoeli and J. Brzozowski, "On a Ternary Model of Gate Networks," in IEEE Transactions on Computers, vol. 28, no. , pp. 178-184, 1979.