An automatic design system of a logic circuit system includes a storage for storing information about structures and functions of known basic circuits available for a circuit system to be designed, an input device for receiving design specification information about the structures and functions of the circuit to be designed, and a synthesize section for combining the known basic circuits stored in the storage so as to synthesize the desired logic circuit satisfying the design specification information.