Layout verification method and verification apparatus

1. A method of verifying a layout of a semiconductor integrated circuit, the method comprising:

executing a timing analysis of the semiconductor integrated circuit based on first layout information acquired after execution of a layout process of the semiconductor integrated circuit;

executing layout correction with respect to the first layout information;

comparing the first layout information acquired before the execution of the layout correction and second layout information acquired after the execution of the layout correction to acquire information indicating an RC difference in wires of the semiconductor integrated circuit before and after the execution of the layout correction; and

adding, by a computer, an effect due to an increase in delay in the wires resulting from the RC difference to timing information obtained by the timing analysis.

2. The method as claimed in claim 1 , wherein

the comparing is executed with respect to a module or a block that is changed by the execution of the layout correction.

3. The method as claimed in claim 2 , further comprising:

matching a plurality of coordinate data pieces of wires randomly selected from first coordinate data of the wires after the layout correction and coordinate data pieces of second coordinate data of the wires before the layout correction; and

determining presence or absence of a change due to the layout correction on the basis of a ratio of a number of matched results with respect to the coordinate data pieces of the second coordinate data.

4. The method as claimed in claim 1 , further comprising:

adding information indicating a delay increment corresponding to the information indicating the RC difference to delay information included in the timing information to update the delay information.

5. A verification apparatus for verifying a characteristics change in a semiconductor integrated circuit, the verification apparatus comprising a computer configured to perform a process including:

executing a timing analysis of the semiconductor integrated circuit based on first layout information acquired after execution of a layout process of the semiconductor integrated circuit;

executing layout correction with respect to the first layout information;

comparing the first layout information acquired before the execution of the layout correction and second layout information acquired after the execution of the layout correction to acquire information indicating an RC difference in wires of the semiconductor integrated circuit before and after the execution of the layout correction; and

adding an effect due to an increase in delay in the wires resulting from the RC difference to timing information obtained by the timing analysis.

6. The verification apparatus as claimed in claim 5 , wherein

the comparing is executed with respect to a module or a block that is changed by the execution of the layout correction.

7. The verification apparatus as claimed in claim 6 , wherein the process includes:

matching a plurality of coordinate data pieces of wires randomly selected from first coordinate data of the wires after the layout correction and coordinate data pieces of second coordinate data of the wires before the layout correction; and

determining presence or absence of a change due to the layout correction on the basis of a ratio of a number of matched results with respect to the coordinate data pieces of second coordinate data.

8. The verification apparatus as claimed in claim 5 , wherein the process further includes:

adding information indicating a delay increment corresponding to the information indicating the RC difference to delay information included in the timing information to update the delay information.

9. The verification apparatus as claimed in claim 5 , further comprising:

a storage device configured to store the first layout information, wherein

the process further includes storing the second layout information in the storage device.

10. A non-transitory computer-readable medium storing a program for verifying a characteristics change in a semiconductor integrated circuit, the program, when executed by a processor, causes the processor to execute a process including:

executing a timing analysis of the semiconductor integrated circuit based on first layout information acquired after execution of a layout process of the semiconductor integrated circuit;

executing layout correction with respect to the first layout information;

comparing the first layout information acquired before the execution of the layout correction and second layout information acquired after the execution of the layout correction to acquire information indicating an RC difference in wires of the semiconductor integrated circuit before and after the execution of the layout correction; and

adding an effect due to an increase in delay in the wires resulting from the RC difference to timing information obtained by the timing analysis.

11. The non-transitory computer-readable medium as claimed in claim 10 , wherein

the comparing is executed with respect to a module or a block that is changed by the execution of the layout correction.

12. The non-transitory computer-readable medium as claimed in claim 11 , wherein the process further includes:

matching a plurality of coordinate data pieces of wires randomly selected from first coordinate data of the wires after the layout correction and coordinate data pieces of second coordinate data of the wires before the layout correction; and

determining presence or absence of a change due to the layout correction on the basis of a ratio of a number of matched results with respect to the coordinate data pieces of the second coordinate data.

13. The non-transitory computer-readable medium as claimed in claim 10 , wherein the process further includes:

adding information indicating a delay increment corresponding to the information indicating the RC difference to delay information included in the timing information to update the delay information.