Company Filing History:
Years Active: 2006-2008
Title: Yuki Kumon: Innovator in Logical Equivalence Verification
Introduction
Yuki Kumon is a notable inventor based in Kawasaki, Japan. She has made significant contributions to the field of logical equivalence verification, holding 2 patents that enhance the efficiency of circuit design and verification processes.
Latest Patents
One of her 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 as identifiers for each element. The subcone extracting section collects elements with the same identifier from each logic cone, while the verifying section conducts logical equivalence verification for these extracted subcones. Finally, the display control section shows only those subcones that resulted in mismatches during verification.
Career Highlights
Yuki Kumon is currently employed at Fujitsu Corporation, where she continues to innovate in her field. Her work has been instrumental in advancing the technology related to circuit verification.
Collaborations
She collaborates with esteemed colleagues, including Terunobu Maruyama and Hiroji Takeyama, contributing to a dynamic and innovative work environment.
Conclusion
Yuki Kumon's contributions to logical equivalence verification demonstrate her expertise and commitment to innovation in technology. Her patents reflect a deep understanding of circuit design challenges and offer practical solutions that enhance efficiency in the industry.