Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form

@inproceedings{Martin1967MemorySpanCA,
  title={Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form},
  author={Robert L. Martin},
  booktitle={SWAT},
  year={1967}
}
Various procedures have long been known for synthesizing a sequential machine with a feedback shift-register if each state is to have exactly one assignment; however, these approaches fail if each state is allowed to have more than one assignment. Herein lies the equivalent-state problem. The equivalent-state problem is approached by establishing a relationship between feedback shift-register realizable flow tables and finite memory-span. From this relationship, a necessary and sufficient… 
A Multimodel and Computer Oriented Methodology for Synthesis of Sequential Discrete Systems
The synthesis of sequential discrete systems involves two major steps: 1) the abstract synthesis that yields a state-transition diagram, and 2) the structure synthesis that yields a realization. The
A Remark on the Concepts of Input-Memory and Output-Memory of Sequential Machines
  • K. Vairavan
  • Computer Science
    IEEE Transactions on Computers
  • 1971
The definitions of input-memory and output-memory of a sequential machine are examined and an attempt is made to clarify some, confusion in the literature regarding the concepts of input-memort and
The Effect of LSI Technology on the Theory of Modular Computer Design
Logic-oriented and computation-oriented approaches to design offer insights into the problems of modularity.

References

Feedback in Asynchronous Sequential Circuits
  • A. D. Friedman
  • Mathematics, Computer Science
    IEEE Trans. Electron. Comput.
  • 1966
TLDR
Any flow table M, which describes the circuit action of a normal fundamental mode asynchronous sequential circuit, can be realized as a fundamental mode circuit with feedback index [log 2 S], where S is the maximum number of stable states in any input column of M.