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.

Date of Patent:
Oct. 25, 2016

Filed:

Jan. 30, 2015
Applicant:

Mentor Graphics Corporation, Wilsonville, OR (US);

Inventors:

Robert Bencivenga, Westford, MA (US);

James Henson, Bend, OR (US);

Aaik van der Poel, West Linn, OR (US);

Assignee:

Mentor Graphics Corporation, Wilsonville, OR (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/455 (2006.01); G06F 17/50 (2006.01);
U.S. Cl.
CPC ...
G06F 17/5081 (2013.01);
Abstract

This application discloses a system implementing tools and mechanisms to determine whether a portion of combinational logic in a first circuit design is equivalent to a portion of combinational logic in a second circuit design. When the portions of the combinational logic in the first circuit design and the second circuit design are not equivalent, the tools and mechanisms can sequentially expand the portions of the combinational logic in the first circuit design and the second circuit design, and determine whether the expanded portion of the combinational logic in the first circuit design is equivalent the expanded portion of the combinational logic in the second circuit design.


Find Patent Forward Citations

Bencivenga, Robert. (2016). Logical equivalency check with dynamic mode change (U.S. Patent No. 9477805). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/9477805

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…