This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On a Ternary Model of Gate Networks
March 1979 (vol. 28 no. 3)
pp. 178-184
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.
Index Terms:
ternary model, Asynchronous sequential networks, hazards, oscillations, races
Citation:
J.A. Brzozowski, M. Yoeli, "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
Usage of this product signifies your acceptance of the Terms of Use.