Issue No. 02 - February (1973 vol. 22)
K.H. O'Keefe , Department of Electrical Engineering, University of Washington
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.
Logic design, modular sequential machines, shift registers, state assignment, up-down counters.
K.H. O'Keefe, "Modularity in Design: Skit Registers and Counters Used as System Building Blocks", IEEE Transactions on Computers, vol. 22, no. , pp. 194-197, February 1973, doi:10.1109/T-C.1973.223684