Company Filing History:
Years Active: 2006-2008
Title: Innovations of Mitsuru Satou
Introduction
Mitsuru Satou is a notable inventor based in Kawasaki, Japan. He has made significant contributions to the field of logical equivalence verification, holding a total of 2 patents. His work focuses on improving the efficiency of circuit verification processes.
Latest Patents
One of his latest patents is a "Logical equivalence verifying device, method, and computer-readable medium thereof." This invention addresses the challenges associated with mismatch cause analysis after logical equivalence verification. It aims to reduce the time and effort required for this analysis, thereby shortening design and verification turnaround time (TAT). The device performs logical equivalence verification between two circuits and displays the results. 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 as identifiers for each element. Additionally, a subcone extracting section collects elements with the same identifier from each logic cone, while a verifying section performs logical equivalence verification for these extracted subcones. Finally, a display control section shows only those subcones that resulted in mismatches.
Career Highlights
Mitsuru Satou is currently employed at Fujitsu Corporation, where he continues to innovate in the field of circuit design and verification. His work has had a significant impact on the efficiency of electronic design automation.
Collaborations
He has collaborated with notable colleagues such as Terunobu Maruyama and Hiroji Takeyama, contributing to advancements in their shared field of expertise.
Conclusion
Mitsuru Satou's contributions to logical equivalence verification demonstrate his commitment to enhancing the efficiency of circuit design processes. His innovative patents reflect his expertise and dedication to the field.