Structural Simplification and Decomposition of Asynchronous Sequential Circuits

In this paper, we extend the partition theory developed by Hartmanis and Stearns for synchronous sequential circuits to asynchronous sequential circuits. A method which utilizes the concept of partition pairs to obtain single transition time asynchronous state assignments with reduced dependence is presented. Parallel and serial decompositions of asynchronous sequential circuits are also considered. Single transition time and multiple transition time serial decompositions are discussed and procedures for obtaining such decompositions are presented.