Method of verifying integrated circuit operation by comparing stored data structures corresponding to integrated circuit logic cells

A method of logic calculation comprising the steps of:

• determining an object cell as an object of calculation;
• acquiring graph data corresponding to said object cell from a library possessing graph data in the form of a plurality of relational graphs of standard delay times having a common origin with respect to each of a plurality of corresponding logic cells;
• and
• setting an inherent condition of said object cell by adding an inherent delay time with said acquired graph data.

A logic calculator comprising:

• a library possessing graph data in the form of a plurality of relational graphs of standard delay times having an origin in common with respect to each of a plurality logic cells;
• a selector for acquiring graph data of a logic cell which is an object of calculation from said library;
• a memory for setting an inherent condition of said logic cell which is an object of calculation;
• and
• an arithmetic and logical unit for calculating the delay time of said logic cell which is an object of calculation by adding said set inherent condition to said acquired graph data.

A method of storing graph data, obtained from a plurality of different types of logic cells into a cell library, the method comprising the steps of:

• executing circuit simulations for the plural types of logic cells, wherein each of the plural types corresponds to a plurality of inner circuits having corresponding different structures, by varying an input-output slew rate and a passive element value of each logic cell to acquire graph data in the form of a plurality of relational graphs for each logic cell;
• processing said acquired graph data for each logic cell into characteristic data having an origin at a common value;
• finding differences between said common value and the graph data values at a point in which said passive element value is 0;
• comparing the characteristic data for each logic cell to find general-use characteristic data having a similar characteristic for use as general-use graph data;
• and
• storing said general-use characteristic data into the cell library along with names of said plurality of logic cells and said differences.