Procedures for the Automated Synthesis of Logical Networks

Numerical procedures are presented which can be programmed in a generalized manner to accomplish the logical design of various logical networks with the use of a general-purpose digital computer. Some programming techniques are discussed to indicate just how the procedures are performed in the computer. Several elementary designs are mentioned with regard to the relationship between the network input-output information and the necessary input information for the automated procedures. Also, the results obtained with the performance of each step of the procedures are tabulated for the automated design of a code translator which represents a basic logical design problem. The elementary nature of these designs is not indicative of the type of design problems that make an automated procedure worthwhile; however, they clearly demonstrate the versatility that a single computer program may have in accomplishing very sophisticated designs.