Inventor · disambiguated record
Qiang Qiang
7 granted patents·23 citations·filing 2009–2022
78Inventor score
Top patents by PatentIndex Score
7 records- 0190US10762262B1Multi-dimensional constraint solver using modified relaxation processSYNOPSYS INC·Filed 2018·Granted Sep 1, 2020·5 cites·20 claims
- 0280US8099690B2Adaptive state-to-symbolic transformation in a canonical representationGOSWAMI DHIRAJ·Filed 2009·Granted Jan 17, 2012·13 cites·20 claims
- 0370US8413089B2Performing implication and decision making using multiple value systems during constraint solvingQIANG QIANG·Filed 2011·Granted Apr 2, 2013·5 cites·27 claims
- 0456US12475285B1Solving multiple array problems interacting with each other in constraint solving for functional verification of logic designsSYNOPSYS INC·Filed 2022·Granted Nov 18, 2025·0 cites·20 claims
- 0549US11341416B1Bit-level learning for word-level constraint solvingSYNOPSYS INC·Filed 2018·Granted May 24, 2022·0 cites·17 claims
- 0649US10372856B2Optimizing constraint solving by rewriting at least one bit-slice constraintSYNOPSYS INC·Filed 2015·Granted Aug 6, 2019·0 cites·9 claims
- 0740US9195634B2Optimizing constraint solving by rewriting at least one modulo constraintHUNG NGAI NGAI WILLIAM·Filed 2010·Granted Nov 24, 2015·0 cites·17 claims
Join the waitlist — get patent alerts
Get an alert when Qiang Qiang files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →