Patent ID: 7503017

Claim:
A method for generating a library usable in designing a semiconductor integrated circuit device to verify the semiconductor integrated circuit device and that stores cell information including characteristic data representing a characteristic of a cell, which is included in the semiconductor integrated circuit device, corresponding to a client-designated operating condition that is included in and part of a guaranteed operation range of the semiconductor integrated circuit device, the method comprising: generating a characteristic extraction library including the characteristic data corresponding to a range of operating conditions that covers the client-designated operating condition that is included in and part of a guaranteed operation range of the semiconductor integrated circuit device, wherein the characteristic extraction library is for extracting a characteristic value in the range based upon correlation between the characteristic of the cell and the range of operating conditions; selecting the characteristic of the cell to be verified; determining a characteristic approximation function corresponding to the client-designated operating condition and to the selected characteristic of the cell to be verified by referring to the characteristic extraction library; calculating characteristic data corresponding to the client-designated operating condition in accordance with the characteristic approximation function that corresponds to the client-designated operating condition and to the selected characteristic of the cell to be verified; and generating the library corresponding to the client-designated operating condition and including the calculated characteristic data.