REGISTER CORRESPONDENCE METHOD USING I/O TERMINALS, DETERMINED REGISTERS, THE NUMBER OF UNDETERMINED REGISTERS AND SELF-FEEDBACK INFORMATION TO DEFINE UNIQUE REGISTERS

In a register correspondence method in a logic equivalence verifying system for first and second sequential circuit information, input cone information is collected for each register of the first and second sequential circuit information. The input cone information is represented by external input terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop. Then, a first register having unique input cone information is selected from the first sequential circuit information, and a second register having unique input cone information is selected from the second sequential circuit information. Then, the input cone information of the first register is compared with that of the second register, thus establishing a register correspondence between the first and second registers.