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:
Jan. 29, 2013
Filed:
Aug. 25, 2010
Eli Arbel, Nesher, IL;
David Geiger, Peekskill, NY (US);
Victor Kravets, New York, NY (US);
Smita Krishnaswamy, New York, NY (US);
Ruchir Puri, Baldwin Place, NY (US);
Haoxing Ren, Austin, TX (US);
Eli Arbel, Nesher, IL;
David Geiger, Peekskill, NY (US);
Victor Kravets, New York, NY (US);
Smita Krishnaswamy, New York, NY (US);
Ruchir Puri, Baldwin Place, NY (US);
Haoxing Ren, Austin, TX (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
Two circuits, an original and a modified, are being recognized, with the original circuit having a first logic and the modified circuit having a second logic. The second logic contains at least one desired logic change relative to the first logic. An equivalence line is detected in the original circuit such that the first and second logic are equivalent from the circuit inputs to the equivalence line. At least one point of change is located amongst the logic gates that are neighboring the equivalence line. The points of change are accepted as verified if an observability condition is fulfilled. The observability condition is checked within a Boolean Satisfiability (SAT) formulation. Substitute logic for the verified points of change is derived using SAT and Boolean equation solving techniques, in such manner that the first logic becomes equivalent to the second logic.