Patent ID: 7996802

Claim:
A method of verifying a circuit for use in an apparatus for verifying a circuit operation indicated by circuit information, the circuit comprising a plurality of logic circuits and at least one connection line between the logic circuits, the method comprising: obtaining information of a plurality of asynchronous circuits each comprising a plurality of registers connected with an connection line, the registers being driven by different clocks, from the circuit information; determining information of at least one asynchronous circuit of a first type stored in a library storing information of a plurality of types of asynchronous circuits having different circuit configurations respectively, out of the circuit information; determining information of at least one asynchronous circuit of a second type stored in the library out of the circuit information; extracting information of an asynchronous circuit of a third type including an asynchronous circuit of the first type and an asynchronous circuit of the second type; and extracting verification information associated with the information of the asynchronous circuit of the third type, for verifying the circuit.