HONGHUA H. YANG

Follow

Person

PORTLAND, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Logic verification in large systems
- Patent number 7,171,347
- Issue date Jan 30, 2007
- Intel Corporation
- Manpreet S. Khaira
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
LOGIC VERIFICATION IN LARGE SYSTEMS
- Publication number 20030163297
- Publication date Aug 28, 2003
- MANPREET S. KHAIRA
- G06 - COMPUTING CALCULATING COUNTING