| 摘要 |
A logic circuit partitioning system includes a logic circuit network generating portion for inputting a logical expression group and generating a logic circuit network, in which each node corresponds to each logical expression and each branch corresponds to a relationship between each logical expression, a matrix generating portion inputting the generated logical circuit network and generating a matrix, in which each row corresponds to the node in the logical circuit network and each column corresponds to an input of the logical circuit and node, and an arbitrary value is given for each element in the column corresponding to the input for the node corresponding to each row, a matrix partitioning portion for inputting the generated matrix and extracting a partial matrix which has sized in row and column greater than or equal to two and the arbitrary value at every elements therein from the matrix from the matrix generating portion, and a logic circuit network partitioning portion for partitioning partial circuit corresponding to the partial matrix extracted from the matrix, from the logic circuit network.
|
