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:
Nov. 17, 2015
Filed:
Oct. 31, 2012
Applicant:
Synopsys, Inc., Mountain View, CA (US);
Inventors:
Himanshu Jain, Hillsboro, OR (US);
Carl P. Pixley, Beaverton, OR (US);
Assignee:
SYNOPSYS, INC., Mountain View, CA (US);
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/50 (2006.01); G06F 11/00 (2006.01); G06F 7/02 (2006.01); G06F 9/455 (2006.01);
U.S. Cl.
CPC ...
G06F 17/504 (2013.01); G06F 9/455 (2013.01); G06F 17/50 (2013.01);
Abstract
Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships.