Inventor · disambiguated record
In-Ho Moon
Also filed as: MOON IN-HO
26 granted patents·266 citations·filing 1994–2022
96Inventor score
Top patents by PatentIndex Score
26 records- 0192USD403546SShelfAMERICAN STANDARD INC·Filed 1996·Granted Jan 5, 1999·37 cites·1 claims
- 0290US10762262B1Multi-dimensional constraint solver using modified relaxation processSYNOPSYS INC·Filed 2018·Granted Sep 1, 2020·5 cites·20 claims
- 0390USD373699SShelfAMERICAN STANDARD INC·Filed 1994·Granted Sep 17, 1996·33 cites·1 claims
- 0489US7890896B2Method and apparatus for distinguishing combinational designsSYNOPSYS INC·Filed 2005·Granted Feb 15, 2011·19 cites·24 claims
- 0587USD371430SFaucet handleAMERICAN STANDARD INC·Filed 1994·Granted Jul 2, 1996·29 cites·1 claims
- 0683USD374585SToilet paper roll supportAMERICAN STANDARD INC·Filed 1995·Granted Oct 15, 1996·21 cites·1 claims
- 0779US8156462B2Verification technique including deriving invariants from constraintsMOON IN-HO·Filed 2008·Granted Apr 10, 2012·9 cites·16 claims
- 0879USD364527SCorner shelfAMERICAN STANDARD INC·Filed 1994·Granted Nov 28, 1995·15 cites·1 claims
- 0979USD362489SMixer tap handleAMERICAN STANDARD INC·Filed 1994·Granted Sep 19, 1995·19 cites·1 claims
- 1078US8074194B2Method and apparatus for distinguishing combinational designsMOON IN-HO·Filed 2009·Granted Dec 6, 2011·8 cites·26 claims
- 1177US8015521B2Method and system for performing sequential equivalence checking on integrated circuit (IC) designsSYNOPSYS INC·Filed 2008·Granted Sep 6, 2011·8 cites·31 claims
- 1276US8302044B2Abstraction-based livelock/deadlock checking for hardware verificationMOON IN-HO·Filed 2011·Granted Oct 30, 2012·5 cites·27 claims
- 1371US8650513B2Reducing x-pessimism in gate-level simulation and verificationSALZ ARTURO·Filed 2011·Granted Feb 11, 2014·5 cites·32 claims
- 1471USD362362STowel rodAMERICAN STANDARD INC·Filed 1994·Granted Sep 19, 1995·14 cites·1 claims
- 1566US8032848B2Performing abstraction-refinement using a lower-bound-distance to verify the functionality of a circuit designSYNOPSYS INC·Filed 2009·Granted Oct 4, 2011·3 cites·18 claims
- 1656US12475285B1Solving multiple array problems interacting with each other in constraint solving for functional verification of logic designsSYNOPSYS INC·Filed 2022·Granted Nov 18, 2025·0 cites·20 claims
- 1756USD364768STowel rackAMERICAN STANDARD INC·Filed 1994·Granted Dec 5, 1995·6 cites·1 claims
- 1856USD362775STowel ringMOON IN-HO·Filed 1994·Granted Oct 3, 1995·8 cites·1 claims
- 1954USD379570SShelfAMERICAN STANDARD INC·Filed 1995·Granted Jun 3, 1997·8 cites·1 claims
- 2052US11615225B2Logic simulation of circuit designs using on-the-fly bit reduction for constraint solvingSYNOPSYS INC·Filed 2020·Granted Mar 28, 2023·0 cites·20 claims
- 2149US11341416B1Bit-level learning for word-level constraint solvingSYNOPSYS INC·Filed 2018·Granted May 24, 2022·0 cites·17 claims
- 2242USD366518SFaucet handleAMERICAN STANDARD INC·Filed 1995·Granted Jan 23, 1996·4 cites·1 claims
- 2341USD378310SFaucetAMERICAN STANDARD INC·Filed 1994·Granted Mar 4, 1997·3 cites·1 claims
- 2439USD409034SShelfAMERICAN STANDARD INC·Filed 1996·Granted May 4, 1999·2 cites·1 claims
- 2539USD374145SHangerAMERICAN STANDARD INC·Filed 1995·Granted Oct 1, 1996·2 cites·1 claims
- 2639USD372763SFaucet bodyAMERICAN STANDARD INC·Filed 1995·Granted Aug 13, 1996·3 cites·1 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →