The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Feb. 13, 2001
Filed:
Jun. 05, 1998
Hideyuki Emura, Tokyo, JP;
NEC Corporation, Tokyo, JP;
Abstract
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.