Company Filing History:
Years Active: 2012-2025
Title: Innovations of Qiang Qiang in Constraint Solving
Introduction
Qiang Qiang is a notable inventor based in Santa Clara, CA, who has made significant contributions to the field of constraint solving. With a total of 7 patents to his name, Qiang has developed innovative techniques that enhance the efficiency and effectiveness of solving complex constraints.
Latest Patents
One of Qiang's latest patents is titled "Bit-level learning for word-level constraint solving." This invention describes techniques and systems for solving a set of constraints by applying binary decision diagram (BDD) learning to obtain a set of bit-level invariants. These invariants can include forbidden invariants, conditional invariants, and bit-level invariants determined by BDD learning. This approach allows for more efficient constraint solving by applying BDD learning to common right-hand-side expressions only once.
Another significant patent is "Multi-dimensional constraint solver using modified relaxation process." This invention utilizes a modified relaxation process to generate multiple stimulus stream arrays that comply with multi-dimensional constraints. The process involves generating an initial array of randomly generated test vector values and revising it through multiple phases to ensure compliance with both first and second-dimensional constraints. This iterative approach continues until a solution that meets all constraints is achieved.
Career Highlights
Qiang Qiang is currently employed at Synopsys, Inc., where he applies his expertise in constraint solving to develop advanced solutions. His work has been instrumental in pushing the boundaries of what is possible in this field.
Collaborations
Qiang collaborates with talented individuals such as Dhiraj Goswami and Ngai Ngai William Hung, contributing to a dynamic and innovative work environment.
Conclusion
Qiang Qiang's contributions to the field of constraint solving through his patents and work at Synopsys, Inc. highlight his role as a leading inventor in this area. His innovative techniques continue to influence the development of efficient constraint-solving methods.