An input unit receives circuit information on a circuit. A first
calculating unit calculates delay-distribution information of a data path
and delay-distribution information of a clock path, based on the circuit
information. A second calculating unit calculates
delay-difference-distribution information between the data path and the
clock path by using the delay-distribution information of the data path
and the delay-distribution information of the clock path. A third
calculating unit calculates a clock-delay value of the circuit based on
the delay-difference-distribution information.