Howard Wong-Toi

Follow

Person

Albany, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Extracting, visualizing, and acting on inconsistencies between a ci...
- Patent number 7,895,552
- Issue date Feb 22, 2011
- Jasper Design Automation, Inc.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing formal verification complexity of designs with multiple re...
- Patent number 7,647,572
- Issue date Jan 12, 2010
- Jasper Design Automation, Inc.
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing formal verification complexity of designs with counters
- Patent number 7,418,678
- Issue date Aug 26, 2008
- Jasper Design Automation, Inc.
- Chung-Wah N Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing formal verification complexity of designs with datapaths
- Patent number 7,237,208
- Issue date Jun 26, 2007
- Jasper Design Automation, Inc.
- Chung-Wah N. Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for identifying design efficiency and effectivene...
- Patent number 7,159,198
- Issue date Jan 2, 2007
- Jasper Design Automation
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for guiding and optimizing formal verification fo...
- Patent number 7,065,726
- Issue date Jun 20, 2006
- Jasper Design Automation, Inc.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DUPLICATE DOCUMENT DETECTION
- Publication number 20140188919
- Publication date Jul 3, 2014
- Google Inc.
- Scott Huffman
- G06 - COMPUTING CALCULATING COUNTING