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
J.A. Brzozowski, "On a Ternary Model of Gate Networks", IEEE Transactions on Computers, vol.28, no. 3, pp. 178-184, March 1979, doi:10.1109/TC.1979.1675317