Location History:
- Portland, OR (US) (2011 - 2022)
- Hillsboro, OR (US) (2023)
Company Filing History:
Years Active: 2011-2025
Title: In-Ho Moon: Innovator in Logic Simulation Technologies
Introduction
In-Ho Moon is a prominent inventor based in Portland, OR, renowned for his significant contributions to the field of logic simulation and circuit design. With a remarkable portfolio of nine patents, he continues to push the boundaries of technology, enhancing the efficiency and effectiveness of hardware design.
Latest Patents
Among his innovative works, In-Ho Moon’s latest patents include advancements in constraint solving for logic simulations. One notable patent focuses on logic simulation of circuit designs using on-the-fly bit reduction. This system, designed to work with hardware description languages like Verilog, enhances computational efficiency by performing bit-level constraint solving. It dynamically reduces bits used in arithmetic operations while preserving the original circuit design’s bit-widths.
Another significant patent involves bit-level learning for word-level constraint solving. This technology employs binary decision diagram (BDD) learning to derive bit-level invariants from a set of constraints. These invariants are crucial in solving constraints more effectively and include a novel approach to processing common right-hand-side expressions.
Career Highlights
In-Ho Moon is currently employed at Synopsys, Inc., a global leader in electronic design automation software. His work at Synopsys serves as a testament to his expertise and dedication to advancing technology in the field of circuit design and simulation.
Collaborations
Throughout his career, In-Ho Moon has collaborated with notable colleagues such as Kevin Michael Harer and Arturo Salz. These partnerships have likely been instrumental in driving innovation and encouraging the development of cutting-edge solutions within their domain.
Conclusion
In-Ho Moon’s innovative spirit and commitment to improving circuit design technologies mark him as a noteworthy figure in engineering. His contributions are essential for the future of logic simulation, and his patents will likely influence advancements in the industry for years to come.