A method for synthesizing sequential circuits

The theoretical basis of sequential circuit synthesis is developed, with particular reference to the work of D. A. Huffman and E. F. Moore. A new method of synthesis is developed which emphasizes formal procedures rather than the more familiar intuitive ones. Familiarity is assumed with the use of switching algebra in the synthesis of combinational circuits.

[1]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[2]  J. H. Felker,et al.  Typical block diagrams for a transistor digital computer , 1952, Electrical Engineering.

[3]  E. F. Moore.  A simplified universal Turing machine , 1952, ACM '52.

[4]  A. Burks,et al.  Theory of Logical Nets , 1953, Proceedings of the IRE.

[5]  M. Karnaugh.  The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[6]  David A. Huffman,et al.  The synthesis of sequential switching circuits , 1954 .

[7]  E. C. Nelson.  An algebraic theory for use in digital computer design , 1954, Trans. I R E Prof. Group Electron. Comput..

[8]  J. L. Smith,et al.  System design of the SEAC and DYSEAC , 1954, Trans. I R E Prof. Group Electron. Comput..

[9]  F. J. Murray,et al.  Mechanisms and Robots , 1955, JACM.