A method for factoring the action of asynchronous circuits

In this paper we shall discuss a procedure which enables one to analyze and trace the behavior of asynchronous circuits while testing certain properties of this behavior. Although methods for performing this type of analysis have been devised and used in the past, they have differed from the method described here in an important respect (1). In the present procedure information concerning the "topology" or interconnection structure of the circuit is used to simplify the analysis, while in earlier procedures this information was not used.