Ngai Ngai William Hung

Follow

Person

San Jose, CA, US

People

Patents Grantslast 30 patents

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
METHOD AND APPARATUS FOR IDENTIFYING INCONSISTENT CONSTRAINTS
- Publication number 20120253754
- Publication date Oct 4, 2012
- Synopsys, Inc.
- Dhiraj Goswami
- 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
Information Patent Application
METHOD AND APPARATUS FOR CONSTRUCTING A CANONICAL REPRESENTATION
- Publication number 20100191679
- Publication date Jul 29, 2010
- Synopsys, Inc.
- Ngai Ngai William Hung
- G06 - COMPUTING CALCULATING COUNTING