An extracting unit extracts unprocessed capturing destination in a
circuit. A tracing unit traces an output branch point from a capturing
destination and a determining unit determines an estimated failure site
and a non-failure site in the circuit. A detecting unit narrows down an
estimated failure site using a fail address. It is determined whether an
identifying unit has identified a failure site. If the failure site has
not been identified, a delay failure simulation is performed and a
comparing unit compares the comparison result of the tester measurement
and the result in the delay failure simulation to determine consistency
between the results. The identifying unit identifies the failure site
based on the consistency.