LOGIC CIRCUIT SYNTHESIZING DEVICE AND METHOD THEREFOR AND MEDIUM FOR RECORDING LOGIC CIRCUIT SYNTHESIZING PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a logic circuit synthesizing device for reducing the number of nodes of a BDD, and for reducing the scale of a logic circuit to be synthesized by the BDD. ;SOLUTION: A logic circuit synthesizing device is provided with a partial BDD extracting part 22 for extracting a partial BDD constituting the same selective logic from among an initial BDD prepared by an initial BDD preparing part 21, partial BDD for an equivalent selective logic generating part 23 for generating a partial BDD indicating an equivalent selective logic from the partial BDD extracted by the partial BDD extracting part 22, BDD for displacing part input generation generating part 24 for generating a BDD to be inputted to the partial BDD generated by the partial BDD for the equivalent selective logic generating part 23, and initial BDD replacing part 25 for replacing the partial BDD extracted by the partial BDD extracting part 22 with the partial BDD generated by the partial BDD for the equivalent selective logic generating part 23.;COPYRIGHT: (C)2000,JPO