摘要 |
A method of creating a timing constraint information which provides a timing constraint value of a cell, includes: (a) a processor setting a predetermined range including the timing constraint value as a scope; (b) the processor executing a simulation by using a preliminary timing constraint value within the scope to verify whether the cell operates normally or not; and (c) the processor determining the timing constraint value by repeating the step (b) based on a binary search method. In the step (b), the processor sets a precision of the simulation such that the precision becomes higher as a size of scope becomes smaller.
|