SELF LIBRARY VERIFICATION PROGRAM, RECORDING MEDIUM RECORDING PROGRAM, SELF LIBRARY VERIFICATION DEVICE, AND SELF LIBRARY VERIFICATION METHOD

摘要

PROBLEM TO BE SOLVED: To guarantee quality of a composite circuit by improving a use rate of a composite cell when performing circuit composition optimum in delay.;SOLUTION: On a development side of a self library, the quality of storage contents of the self library is decided without depending on a benchmark circuit, and the storage contents are optimized according to a decision result thereof. Specifically, when a delay value of the composite cell held in the self library is larger than a delay value of a logic circuit equivalent to a function of the composite cell, comprising a combination of simple cells, a dimension of a transistor of the composite cell is changed to perform optimization to make the delay value of the composite cell not more than the delay value of the logic circuit.;COPYRIGHT: (C)2009,JPO&INPIT