The possibility of using a computer for the automation of the conversion from a functional to a principle circuit in the designing of a computer is studied. An algorithm is described for logical mapping of functional circuits. The mapping consists in recurrent time solution of a system of logical equations with successive comparison of obtained values for output variables with expected results. A circuit diagram is given for the program of logical mapping. Author
Edited machine trans. of Vychislitelnye Sistemy (USSR) n18 p72-91 1965.