Method of verifying semiconductor integrated circuit and design program

1. A method of verifying a semiconductor integrated circuit in an IO region of which a controlling cell and a controlled cell controlled by a control signal output from said controlling cell are placed, said method comprising:

providing a library that includes requirement information specifying said controlling cell required by said controlled cell;

obtaining a region information indicating a region within said IO region in which a signal interconnection through which said control signal is transmitted is provided; and

verifying, by using a computer, whether or not said specified controlling cell is placed within said region, in a case where said controlled cell is placed within said region,

wherein said library includes IO cell data of plural kinds of IO cells including said controlling cell and said controlled cell, and each of said IO cell data associated with each IO cell includes physical information indicating positions of terminals of interconnections included in said each IO cell, and

wherein said obtaining said region information comprises:

detecting a location of an interconnection for transmitting said control signal, by reference to said physical information of IO cells placed in said IO region; and

generating said region information by extracting a region in which said interconnection for transmitting said control signal is consecutively located.

2. The method according to claim 1 , wherein said library includes said region information in addition to said requirement information, and

wherein said region information is read out from said library.

3. The method according to claim 1 , wherein said verifying comprises:

selecting said controlling cell or said controlled cell placed within said IO region as a selected cell; and

verifying whether or not said selected cell is placed within said region indicated by said region information.

4. The method according to claim 1 , wherein said verifying is performed before a power routing.

5. A method of verifying a semiconductor integrated circuit in an IO region of which a controlling cell and a controlled cell controlled by a control signal output from said controlling cell are placed, said method comprising:

providing a library that includes requirement information specifying said controlling cell required by said controlled cell;

obtaining a region information indicating a region within said IO region in which a signal interconnection through which said control signal is transmitted is provided; and

verifying, by using a computer, whether or not said specified controlling cell is placed within said region, in a case where said controlled cell is placed within said region,

wherein said verifying comprises:

selecting said controlled cell placed within said IO region;

extracting said region in which said selected controlled cell is placed, by reference to said region information; and

counting a number of said specified controlling cell placed within said extracted region.

6. The method according to claim 5 , wherein said verifying further comprises outputting an error signal if said number of specified controlling cell placed within said extracted region is other than 1.

7. A design program recorded on a non-transitory computer-readable storage medium that, when executed, causes a computer to perform a verification process of a semiconductor integrated circuit in an IO region of which a controlling cell and a controlled cell controlled by a control signal output from said controlling cell are placed, said verification process comprising:

reading a library that includes requirement information specifying said controlling cell required by said controlled cell from a memory device;

obtaining a region information indicating a region within said IO region in which a signal interconnection through which said control signal is transmitted is provided; and

verifying whether or not said specified controlling cell is placed within said region, in a case where said controlled cell is placed within said region,

wherein said library includes IO cell data of plural kinds of IO cells including said controlling cell and said controlled cell, and each of said IO cell data associated with each IO cell includes physical information indicating positions of terminals of interconnections included in said each IO cell, and

wherein said obtaining comprises:

detecting a location of an interconnection for transmitting said control signal, by reference to said physical information of IO cells placed in said IO region; and

generating said region information by extracting a region in which said interconnection for transmitting said control signal is consecutively located.

8. The design program according to claim 7 , wherein said library includes said region information in addition to said requirement information, and

wherein said region information is read out from said library.

9. The design program according to claim 7 , wherein said verifying comprises:

selecting said controlling cell or said controlled cell placed within said IO region as a selected cell; and

verifying whether or not said selected cell is placed within said region indicated by said region information.

10. The design program according to claim 7 , wherein said verifying is performed before a power routing.

11. A design program recorded on a non-transitory computer-readable storage medium that, when executed, causes a computer to perform a verification process of a semiconductor integrated circuit in an IO region of which a controlling cell and a controlled cell controlled by a control signal output from said controlling cell are placed, said verification process comprising:

reading a library that includes requirement information specifying said controlling cell required by said controlled cell from a memory device;

obtaining a region information indicating a region within said IO region in which a signal interconnection through which said control signal is transmitted is provided; and

verifying whether or not said specified controlling cell is placed within said region, in a case where said controlled cell is placed within said region,

wherein said verifying comprises:

selecting said controlled cell placed within said IO region;

extracting said region in which said selected controlled cell is placed, by reference to said region information; and

counting a number of said specified controlling cell placed within said extracted region.

12. The design program according to claim 11 , wherein said verifying further comprises outputting an error signal if said number of specified controlling cell placed within said extracted region is other than 1.