Assignee
MOON IN-HO
4 granted patents·30 citations·filing 1994–2011
Technology mixG06F3
Top patents by PatentIndex Score
4 records- 0179US8156462B2Verification technique including deriving invariants from constraintsMOON IN-HO·Filed 2008·Granted Apr 10, 2012·9 cites·16 claims
- 0278US8074194B2Method and apparatus for distinguishing combinational designsMOON IN-HO·Filed 2009·Granted Dec 6, 2011·8 cites·26 claims
- 0376US8302044B2Abstraction-based livelock/deadlock checking for hardware verificationMOON IN-HO·Filed 2011·Granted Oct 30, 2012·5 cites·27 claims
- 0456USD362775STowel ringMOON IN-HO·Filed 1994·Granted Oct 3, 1995·8 cites·1 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →