Patent ID: 7464363

Claim:
A verification support device that supports logic verification of a design object to which modification has been made, wherein processes of a first design object, processes of the design object before the modification, and processes of a second design object, processes of the design object after the modification, are expressed in a chronological order in a first diagram and a modified first diagram (“second diagram”), respectively, the verification support device comprising: a receiving unit configured to receive the second diagram; a detecting unit configured to detect, from among the processes, a modified process being a process corresponding to the modification to the design object, based on the first diagram and the second diagram; an applicability determining unit configured to determine whether test benches used for logic verification of the first design object are applicable to the logic verification of the second design object, based on the modified process; an output unit configured to output the test benches based on a result of determination by the applicability determining unit; a generating unit configured to generate information on the logic verification conducted on the second design object; and a result determining unit configured to determine whether the second design object has passed or failed the logic verification, base on the information, wherein when the result determining unit determines that the second design object has failed the logic verification, the detecting unit is configured to detect the modified process by comparing the second diagram and the first diagram; the applicability determining unit includes: an extracting unit configured to extract, when the result determining unit determines that the second design object has passed the logic verification, a source code used for the logic verification conducted on the second design object and a modified source code obtained by modifying the source code, from a group of source codes expressing a design of the second design object; a modification description detecting unit configured to detect a modified description to which modification is made in the modified source code modified by comparing the source code and the modified source code; a process searching unit configured to search for a process expressed by the modified description from diagrams other than the diagrams of the second design object; and a process determining unit configured to determine whether the diagrams of the second design object include the searched process; and the output unit is configured to output test benches used for logic verification of the searched process, based on a result of determination by the process determining unit.