Company Filing History:
Years Active: 2002-2008
Title: Hiroji Takeyama: Innovator in Logical Equivalence Verification
Introduction
Hiroji Takeyama is a prominent inventor based in Kawasaki, Japan. He has made significant contributions to the field of logical equivalence verification, holding a total of 6 patents. His work focuses on improving the efficiency and accuracy of circuit verification processes.
Latest Patents
One of Takeyama's latest patents is a logical equivalence verifying device, method, and computer-readable medium. This invention aims to reduce the time and effort required for mismatch cause analysis after logical equivalence verification. The device performs logical equivalence verification between two circuits and displays the results effectively. It includes a preprocessing section that conducts structural matching to identify corresponding portions in the circuit structures. An internal database records the results of this matching, while a subcone extracting section gathers elements with the same identifier from each logic cone. The verifying section then performs logical equivalence verification for these extracted subcones, and a display control section shows only those subcones that resulted in a mismatch.
Career Highlights
Hiroji Takeyama is currently employed at Fujitsu Corporation, where he continues to innovate in the field of circuit design and verification. His work has been instrumental in advancing the technology used in logical equivalence verification.
Collaborations
Throughout his career, Takeyama has collaborated with notable colleagues, including Miki Takagi and Koichi Itaya. These partnerships have contributed to the development of his innovative solutions in the field.
Conclusion
Hiroji Takeyama is a key figure in the realm of logical equivalence verification, with a focus on enhancing the efficiency of circuit verification processes. His contributions through patents and collaborations continue to shape the future of this technology.