Research on Minimal Cost Sequential Machines.
John Staudhammer · Defense Technical Information Center (DTIC) · 1975
The report contains research which has developed the following: (1) The theory for establishing a realistic lower bound for logic required of arbitrary clocked sequential machines, (2) A computer program for finding these lower bounds, (3) An algorithm for state assignment and output code assignment to approach the lower bound, (4) A computer program for accomplishing these assignments, (5) Support programs which solve standard logic design processes on IBM 360/370 systems.