METHOD AND DEVICE FOR EXTRACTING COMMON PART LOGICAL EXPRESSION, AND RECORD MEDIUM RECORDED WITH EXTRACTION PROGRAM OF COMMON PART LOGICAL EXPRESSION

摘要

PROBLEM TO BE SOLVED: To reduce processing time for extracting a common part logical expression from plural product-sum type logical expressions in logic design. ;SOLUTION: This device is provided with a kernel graph generating part 122 that generates a candidate of a common part logical expression which is called a kernel from plural product-sum type logical expressions, a kernel graph storing part 132 which stores the generated kernel and the generating process by using a directed graph consisting of nodes and branches and a node managing part 123 which decides the equivalent property of nodes of the directed graph, and ignores the kernel generation processing when what is equivalent to a node of a graph to be generated already exists in the kernel generating process.;COPYRIGHT: (C)2000,JPO