Abstract: A computer program product for verifying an asynchronous circuit, embodied on a computer-readable medium and including code that, when executed, causes a computer to perform the following steps of (a) and (b). The step (a) includes the step of carrying out a function simulation of an asynchronous circuit based on circuit information of the asynchronous circuit including a sequential circuit stored in a storage device. The step (b) includes the step of monitoring an output value from an output node of the sequential circuit every unit time, and setting the output value in n time as a value of a metastable state, when the output vale in the n time is changed from the output value in (n?1) time.

Abstract: A computer program product for verifying an asynchronous circuit, embodied on a computer-readable medium and including code that, when executed, causes a computer to perform the following steps of (a) and (b). The step (a) includes the step of carrying out a function simulation of an asynchronous circuit based on circuit information of the asynchronous circuit including a sequential circuit stored in a storage device. The step (b) includes the step of monitoring an output value from an output node of the sequential circuit every unit time, and setting the output value in n time as a value of a metastable state, when the output vale in the n time is changed from the output value in (n?1) time.