Company Filing History:
Years Active: 2006-2013
Title: Innovations of Inventor Xiaoqun Du
Introduction
Xiaoqun Du is a prominent inventor based in New Providence, New Jersey, who has made significant contributions to the field of finite state machine design and verification. With a total of eight patents to his name, Du's work exemplifies his ability to combine advanced theoretical concepts with practical applications in engineering.
Latest Patents
One of Du's latest patents focuses on temporal decomposition for design and verification. This innovation involves representing the behavior of a finite state machine by unfolding a transition relation that encapsulates its combinational logic behavior. The invention details how this behavior can be sequenced into transition relations across various time frames. Notably, it identifies at least one state within a transition relation that cannot be reached in a subsequent relation of the sequence. This is further enhanced by simplifying the subsequent transition relation with respect to the unreachable state, offering a streamlined approach for designers and engineers.
Career Highlights
Xiaoqun Du is currently employed at Cadence Design Systems, Inc., where he continues to push the boundaries of technological innovation in design automation and verification processes. His role at Cadence involves collaborating on projects that leverage his expertise in finite state machines, significantly improving the efficacy and accuracy of design validations.
Collaborations
Throughout his career, Du has worked alongside talented colleagues, including Robert Paul Kurshan and Kavita Ravi. Their collaborative efforts contribute to the advancement of methodologies and tools that are essential for modern engineering applications.
Conclusion
Xiaoqun Du's work not only highlights his individual prowess as an inventor but also emphasizes the collaborative spirit within the field of technology. His contributions, particularly in the area of finite state machines, continue to shape the landscape of design and verification, marking him as a significant figure in the innovation arena.