Qiang Qiang

Follow

Person

Santa Clara, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Bit-level learning for word-level constraint solving
- Patent number 11,341,416
- Issue date May 24, 2022
- Synopsys, Inc.
- In-Ho Moon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-dimensional constraint solver using modified relaxation process
- Patent number 10,762,262
- Issue date Sep 1, 2020
- Synopsys, Inc.
- In Ho Moon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing constraint solving by rewriting at least one bit-slice c...
- Patent number 10,372,856
- Issue date Aug 6, 2019
- Synopsys, Inc.
- Ngai Ngai William Hung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing constraint solving by rewriting at least one modulo cons...
- Patent number 9,195,634
- Issue date Nov 24, 2015
- Synopsys, Inc.
- Ngai Ngai William Hung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing implication and decision making using multiple value sys...
- Patent number 8,413,089
- Issue date Apr 2, 2013
- Synopsys, Inc.
- Qiang Qiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive state-to-symbolic transformation in a canonical representa...
- Patent number 8,099,690
- Issue date Jan 17, 2012
- Synopsys, Inc.
- Dhiraj Goswami
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
OPTIMIZING CONSTRAINT SOLVING BY REWRITING AT LEAST ONE BIT-SLICE C...
- Publication number 20160034624
- Publication date Feb 4, 2016
- Synopsys, Inc.
- Ngai Ngai William Hung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR PERFORMING IMPLICATION AND DECISION MAKING...
- Publication number 20120278675
- Publication date Nov 1, 2012
- Synopsys, Inc.
- Qiang Qiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR OPTIMIZING CONSTRAINT SOLVING THROUGH CONS...
- Publication number 20120136635
- Publication date May 31, 2012
- Synopsys, Inc.
- Ngai Ngai William Hung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE STATE-TO-SYMBOLIC TRANSFORMATION IN A CANONICAL REPRESENTA...
- Publication number 20100275169
- Publication date Oct 28, 2010
- Synopsys, Inc.
- Dhiraj Goswami
- G06 - COMPUTING CALCULATING COUNTING