Timing library test apparatus, method for testing timing library, and computer readable medium comprising timing library test program

Abstract

A timing library test apparatus includes a difference calculator looks into a look-up table in a timing library, the look-up table having timing constraint values registered in association with combinations between reference transient times of a signal at a reference terminal and constraint transient times of a signal at a constraint terminal, and groups neighboring two timing constraint values in the look-up table as one pair, respectively, to calculate differences between neighboring two timing constraint values of pairs, a determination part determines whether the differences calculated by the difference calculator has a characteristic feature of increase inclination or decrease inclination, and a decision part decides that the timing library has a singular point when the determination part determines that the differences doesn't have the characteristic feature, and to decide that the timing library doesn't have the singular point when the determination part determines that the differences has the characteristic feature.