Register correspondence method using I/O terminals, determined registers, the number of undetermined registers and self-feedback information to define unique registers

A register correspondence method in a logic equivalence verifying system for first and second sequential circuit information, comprising the steps of:

• collecting input cone information for each register of said first and second sequential circuit information, said input cone information being 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;
• selecting a first register having unique input cone information from said first sequential circuit information;
• selecting a second register having unique input cone information from said second sequential circuit information;
• said unique cone information for said first and second registers defined as input cone information which is not identical to the input cone information of each of the other registers in said first and second sequential circuit information respectively;
• comparing the input cone information of said first register with that of said second register, so that a register correspondence between said first and
• second registers is established, when the input cone information of said first register is equal to that of said second register;
• repeating operations at said first register selecting step, said second register selecting step and said input cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers;
• collecting output cone information for each register of said first and second sequential circuit information, said output cone information being represented by external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that the input cone information of said first register is not equal to that of said second register;
• selecting a third register having unique output cone information from said first sequential circuit information;
• selecting a fourth register having unique output cone information from said second sequential circuit information;
• said unique cone information for said third and fourth registers defined as output cone information which is not identical to the output cone information of each of the other registers in said third and fourth sequential circuit information respectively;
• comparing the output cone information of said third register with that of said fourth register, so that a register correspondence between said third and fourth registers is established, when the output cone information of said third register is equal to that of said fourth register;
• and
• repeating operations at said third register selecting step, said fourth register selecting step and said output cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers.

A register correspondence method in a logic equivalence verifying system for first and second sequential circuit information, comprising the steps of:

• collecting input cone information for each register of said first and second sequential circuit information, said input cone information being 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;
• selecting a first register having unique input cone information from said first sequential circuit information;
• selecting a second register having unique input cone information from said second sequential circuit information;
• said unique cone information for said first and second registers defined as input cone information which is not identical to the input cone information of each of the other registers in said first and second sequential circuit information respectively;
• comparing the input cone information of said first register with that of said second register, so that a register correspondence between said first and second registers is established, when the input cone information of said first register is equal to that of said second register;
• repeating operations at said first register selecting step, said second register selecting step and said input cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers;
• collecting output cone information for each register of said first and second sequential circuit information, said output cone information being represented by external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that the input cone information of said first register is not equal to that of said second register;
• selecting a third register having unique output cone information from said first sequential circuit information;
• selecting a fourth register having unique output cone information from said second sequential circuit information;
• said unique cone information for said third and fourth registers defined as output cone information which is not identical to the output cone information of each of the other registers in said third and fourth sequential circuit information respectively;
• comparing the output cone information of said third register with that of said fourth register, so that a register correspondence between said third and fourth registers is established, when the output cone information of said third register is equal to that of said fourth register;
• repeating operations at said third register selecting step, said fourth register selecting step and said output cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers;
• collecting input/output cone information for each register of said first and second sequential circuit information, said input/output cone information being represented by external input terminals, external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that all registers of said first sequential circuit information correspond to all registers of said second sequential circuit information;
• selecting a fifth register having unique input/output cone information from said first sequential circuit information;
• selecting a sixth register having unique input/output cone information from said second sequential circuit information;
• said unique cone information for said fifth and sixth registers defined as input/output cone information which is not identical to the input/output cone information of each of the other registers in said fifth and sixth sequential circuit information respectively;
• comparing the input/output cone information of said fifth register with that of said sixth register, so that a register correspondence between said fifth and sixth registers is established, when the output cone information of said fifth register is equal to that of said sixth register;
• and
• repeating operations at said fifth register selecting step, said sixth register selecting step and said input/output cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers.

A register correspondence apparatus in a logic equivalence verifying system for first and second sequential circuit information, comprising:

• means for collecting input cone information for each register of said first and second sequential circuit information, said input cone information being 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;
• means for selecting a first register having unique input cone information from said first sequential circuit information;
• means for selecting a second register having unique input cone information from said second sequential circuit information;
• said unique cone information for said first and second registers defined as input cone information which is not identical to the input cone information of each of the other registers in said first and second sequential circuit information respectively;
• means for comparing the input cone information of said first register with that of said second register, thus establishing a register correspondence between said first and second registers, when the input cone information of said first register is equal to that of said second register,
• each of said determined registers being one where said register correspondence has been established,
• each of said undetermined registers being one where said register correspondence has not been established.

A register correspondence apparatus in a logic equivalence verifying system for first and second sequential circuit information, comprising:

• means for collecting input cone information for each register of said first and second sequential circuit information, said input cone information being 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;
• means for selecting a first register having unique input cone information from said first sequential circuit information;
• means for selecting a second register having unique input cone information from said second sequential circuit information;
• said unique cone information for said first and second registers defined as input cone information which is not identical to the input cone information of each of the other registers in said first and second sequential circuit information respectively;
• means for comparing the input cone information of said first register with that of said second register, so that a register correspondence between said first and second registers is established, when the input cone information of said first register is equal to that of said second register;
• means for repeating operations at said first register selecting step, said second register selecting step and said input cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers;
• means for collecting output cone information for each register of said first and second sequential circuit information, said output cone information being represented by external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that the input cone information of said first register is not equal to that of said second register;
• means for selecting a third register having unique output cone information from said first sequential circuit information;
• means for selecting a fourth register having unique output cone information from said second sequential circuit information;
• said unique cone information for said third and fourth registers defined as output cone information which is not identical to the output cone information of each of the other registers in said third and fourth sequential circuit information respectively;
• means for comparing the output cone information of said third register with that of said fourth register, so that a register correspondence between said third and fourth registers is established, when the output cone information of said third register is equal to that of said fourth register;
• and
• means for repeating operations at said third register selecting step, said fourth register selecting step and said output cone information comparing step by moving said correspondence established registers from undetermined registers to determined registers.

A register correspondence apparatus in a logic equivalence verifying system for first and second sequential circuit information, comprising the steps of:

• means for collecting input cone information for each register of said first and second sequential circuit information, said input cone information being 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;
• means for selecting a first register having unique input cone information from said first sequential circuit information;
• means for selecting a second register having unique input cone information from said second sequential circuit information;
• said unique cone information for said first and second registers defined as input cone information which is not identical to the input cone information of each of the other registers in said first and second sequential circuit information respectively;
• means for comparing the input cone information of said first register with that of said second register, so that a register correspondence between said first and second registers is established, when the input cone information of said first register is equal to that of said second register;
• means for repeating operations at said first register selecting means, said second register selecting means and said input cone information comparing means by moving said correspondence established registers from undetermined registers to determined registers;
• means for collecting output cone information for each register of said first and second sequential circuit information, said output cone information being represented by external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that the input cone information of said first register is not equal to that of said second register;
• means for selecting a third register having unique output cone information from said first sequential circuit information;
• means for selecting a fourth register having unique output cone information from said second sequential circuit information;
• said unique cone information for said third and fourth registers defined as output cone information which is not identical to the output cone information of each of the other registers in said third and fourth sequential circuit information respectively;
• means for comparing the output cone information of said third register with that of said fourth register, so that a register correspondence between said third and fourth registers is established, when the output cone information of said third register is equal to that of said fourth register;
• means for repeating operations at said third register selecting means, said fourth register selecting means and said output cone information comparing means by moving said correspondence established registers from undetermined registers to determined registers;
• means for collecting input/output cone information for each register of said first and second sequential circuit information, said input/output cone information being represented by external input terminals, external output terminals, determined registers, a number of undetermined registers and self-feedback information showing presence or absence of a self-feedback loop, after it is determined that all registers of said first sequential circuit information correspond to all registers of said second sequential circuit information;
• means for selecting a fifth register having unique input/output cone information from said first sequential circuit information;
• means for selecting a sixth register having unique input/output cone information from said second sequential circuit information;
• said unique cone information for said fifth and sixth registers defined as input/output cone information which is not identical to the input/output cone information of each of the other registers in said fifth and sixth sequential circuit information respectively;
• means for comparing the input/output cone information of said fifth register with that of said sixth register, so that a register correspondence between said fifth and sixth registers is established, when the output cone information of said fifth register is equal to that of said sixth register;
• and
• means for repeating operations at said fifth register selecting means, said sixth register selecting means and said input/output cone information comparing means by moving said correspondence established registers from undetermined registers to determined registers.