Company Filing History:
Years Active: 1998-2008
Title: Terunobu Maruyama: Innovator in Logical Equivalence Verification
Introduction
Terunobu Maruyama is a distinguished inventor based in Kawasaki, Japan. He has made significant contributions to the field of logical equivalence verification, holding a total of 8 patents. His work focuses on enhancing the efficiency of circuit design and verification processes.
Latest Patents
One of Maruyama's latest patents is a logical equivalence verifying device, method, and computer-readable medium. This invention addresses the challenges associated with mismatch cause analysis after logical equivalence verification. By reducing the time and effort required for this analysis, it shortens the design and verification turnaround time (TAT). 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 each extracted subcone, and the display control section shows only those subcones that resulted in a mismatch.
Career Highlights
Maruyama 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, Maruyama has collaborated with notable colleagues, including Hiroyuki Sugiyama and Miki Takagi. These collaborations have contributed to the development of innovative solutions in their field.
Conclusion
Terunobu Maruyama is a prominent figure in the realm of logical equivalence verification, with a strong portfolio of patents that reflect his expertise and dedication. His contributions continue to shape the future of circuit design and verification processes.