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:
Aug. 01, 2006
Filed:
Jun. 04, 2003
Kazuhiro Matsuzaki, Kawasaki, JP;
Hiroji Takeyama, Kawasaki, JP;
Miki Takagi, Kawasaki, JP;
Hiroshi Noguchi, Kawasaki, JP;
Kazuhiro Matsuzaki, Kawasaki, JP;
Hiroji Takeyama, Kawasaki, JP;
Miki Takagi, Kawasaki, JP;
Hiroshi Noguchi, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
A method for verifying a logical equivalency between two logic circuits having different combinational logic circuits includes the steps of converting into a logic circuit a logic cone that has been determined for each of the two logic circuits, the logic cone including all inputs and all logic circuits which affect one output of the combinational logic circuit, storing a logical expression converted by the converting step and a logic circuit element included in the logic cone while correlating the logical expression with the logic circuit element, and specifying the logic circuit element corresponding to a specified term in the logical expression that has been converted.