Inventor

QIANG QIANG

US8 patents

⚠️ This page may combine multiple inventors who share the name “QIANG QIANG”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

SYNOPSYS INC

4 patents

US10762262B1Sep 1, 2020

Multi-dimensional constraint solver using modified relaxation process

SYNOPSYS INC5 citations71

US11341416B1May 24, 2022

Bit-level learning for word-level constraint solving

SYNOPSYS INC0 citations61

US12475285B1Nov 18, 2025

Solving multiple array problems interacting with each other in constraint solving for functional verification of logic designs

SYNOPSYS INC0 citations50

US10372856B2Aug 6, 2019

Optimizing constraint solving by rewriting at least one bit-slice constraint

SYNOPSYS INC0 citations49

GOSWAMI DHIRAJ

1 patent

US8099690B2Jan 17, 2012

Adaptive state-to-symbolic transformation in a canonical representation

GOSWAMI DHIRAJ13 citations81

QIANG QIANG

1 patent

US8413089B2Apr 2, 2013

Performing implication and decision making using multiple value systems during constraint solving

QIANG QIANG5 citations66

JIANGSU FASTEN STEEL CABLE CO LTD

1 patent

US10584453B2Mar 10, 2020

Method for fabricating wire strand for main cable of suspension bridge

JIANGSU FASTEN STEEL CABLE CO LTD1 citations45

HUNG NGAI NGAI WILLIAM

1 patent

US9195634B2Nov 24, 2015

Optimizing constraint solving by rewriting at least one modulo constraint

HUNG NGAI NGAI WILLIAM0 citations43