摘要 |
PROBLEM TO BE SOLVED: To provide a device/method for detecting a false path and its program by which the use of a memory is reduced and processing is fast. SOLUTION: An active condition extracting processing part 51 extracts condition information for activating each transfer path in a circuit based on circuit information being information on the circuit generated by operation synthesis, data flow information showing the flow of data on the circuit and assigning information of a function element constituting the circuit. A circuit information database 52 with an active condition stores the condition information in connection with the circuit information. A false path search processing part 53 searches and processes the false path being a path which is not activated in the combination of circuit operation by each transferring path by referring to a circuit information database 52 with an active condition.
|