A method for synthesizing sequential circuits
Bell System Technical JournalPublished 1 September 1955
George H. Mealy
Citations997
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A new method of synthesis is developed which emphasizes formal procedures rather than the more familiar intuitive ones, and familiarity is assumed with the use of switching algebra in the synthesis of combinational circuits.
Abstract
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.
Keywords
Computer Science
Bell System Technical JournalA Mathematical Theory of Communication
80,675 Citations1948Claude E. Shannon
Transactions of the American Institute of Electrical Engineers Part I Communication and ElectronicsThe map method for synthesis of combinational logic circuits
621 Citations1953M. Karnaugh
The problem in this area which has been attacked most energetically is that of the synthesis of efficient combinational that is, nonsequential, logic circuits.
Journal of the Franklin InstituteThe synthesis of sequential switching circuits
466 Citations1954David A. Huffman
An orderly procedure is developed by which the requirements of a sequential switching circuit (one with memory) can be reduced to the requirement of several combinational switching circuits (those without memory).
Proceedings of the IRETheory of Logical Nets
66 Citations1953Arthur W. Burks, Jesse B. Wright
The aim of this paper is to place on a more rigorous basis the application of two-valued logic to digital computing circuits by studying the formal properties of various logical nets some of which represent such circuits to a useful degree.
A simplified universal Turing machine
31 Citations1952Edward F. Moore
In 1936 Turing defined a class of logical machines which he used as an aid in proving certain results in mathematical logic, and which should prove of interest in connection with the theory of control and switching systems.
Journal of the ACMMechanisms and Robots
11 Citations1955Francis J. Murray
A general method for constructing mechanisms and robots and their relation to computers are described and Mathematical notions are used rather than the methods of formal logic and, consequently, much irrevelant discussion is avoided.
Transactions of the I R E Professional Group on Electronic ComputersAn algebraic theory for use in digital computer design
9 Citations1954Eldred Nelson
An algebraic theory of the logical operation of digital computers is developed that takes into account the dynamic (time) behavior of computer processes and is based on Boolean algebra.
Transactions of the I R E Professional Group on Electronic ComputersSystem design of the SEAC and DYSEAC
7 Citations1954Alan L. Leiner, W. A. Notz +2 more
The similarity between these procedures and many of the data-processing procedures commonly being executed by present-day computers suggests that, with further development of these design techniques, the wiring plans for new computer systems might well be produced by existing digital machines.
Electrical EngineeringTypical block diagrams for a transistor digital computer
6 Citations1952J. H. Felker
A study of binary computer functions with recommended mechanizations that were selected because they appeared to be readily attainable with transistors now under development concluded that a high-performance all-semiconductor computer can be built with germanium diodes and transistors.
Transactions of the American Institute of Electrical Engineers Part I Communication and ElectronicsTypical block diagrams for a transistor digital computer
5 Citations1952J. H. Felker
A study of binary computer functions in which transistors are employed, and the results suggest that transistors will replace tubes as computer elements.