Modularity in Design: Skit Registers and Counters Used as System Building Blocks
Kenneth H. O'Keefe · IEEE Transactions on Computers · 1973
An algorithm for determining whether or not an arbitrary sequential machine can be synthesized using only shift registers or up-down counters as memory elements is presented. When realization is possible, a basis for state assignment is given. State-partitioning techniques are used to this end and it is concluded that by means of a single test, it is possible to simultaneously check for realizability using either of the two module types.