Cell library database and timing verification and withstand voltage verification systems for integrated circuit using the same

A cell library database composed of basic circuits of multiple types implementing various logics, and stored in a computer readable medium to be used with a computer-aided logic circuit design system in designing an integrated circuit, the database containing on a basic circuit to basic circuit basis:

• voltage value information associated with at least one of a plurality of data terminals composed of input and output terminals included in the basic circuit, the voltage value information including various voltage states to be applied to the at least one of the plurality of data terminals and being represented in multiple bits;
• and
• logical information between the input and output terminals including one or more said data terminals having the voltage value information, in order to allow the design system to conduct verification of an integrated circuit in consideration of voltage variation of a terminal of each basic circuit in the integrated circuit.