LOGIC SYNTHESIS APPARATUS FOR INCORPORATING ADDITIONAL RULES TO THE KNOWLEDGE BASE WITHOUT CAUSING COMPETITION

Disclosed is a logic synthesis apparatus for automatically composing and designing LSI logic circuits by converting a functional specification based on conversion rules given in advance to the apparatus, which is composed of means for inputting an additional transformation rule, means for executing logic composition of LSI by applying the additional transformation rule to the functional specification preferentially to the conversion rules, and means for revising the conversion rules so as to avoid competition between the conversion rules and the additional transformation rule by analyzing the additional conversion rule, and incorporating the additional transformation rule in the conversion rules, thereby obtaining a learning function to the additional transformation rule.