A Computer Aided Procedure for Complete Design of Sequential Machines

摘要

A complete design procedure for both completely and incompletely specified sequential machines is discussed. Starting with the state table for the machine, the state minimization and state assignments are performed. The minimized Boolean functions for next state and output circuits for a D-flip flop implementation of the circuit are generated. The algorithm is discussed with examples and the complete FORTRAN source program listing is included. (Author)