Inventor · disambiguated record
Kevin M. Harer
Also filed as: HARER KEVIN · HARER KEVIN M · HARER KEVIN MICHAEL
8 granted patents·141 citations·filing 1998–2014
87Inventor score
Technology areasG06F
Top patents by PatentIndex Score
8 records- 0188US7130783B1Simulation-based functional verification of microcircuit designsSYNOPSYS INC·Filed 2001·Granted Oct 31, 2006·66 cites·36 claims
- 0277US7454727B1Method and Apparatus for Solving Sequential ConstraintsSYNOPSYS INC·Filed 2006·Granted Nov 18, 2008·8 cites·9 claims
- 0377US7076753B2Method and apparatus for solving sequential constraintsSYNOPSYS INC·Filed 2003·Granted Jul 11, 2006·23 cites·17 claims
- 0476US8302044B2Abstraction-based livelock/deadlock checking for hardware verificationMOON IN-HO·Filed 2011·Granted Oct 30, 2012·5 cites·27 claims
- 0571US9032339B2Ranking verification results for root cause analysisSYNOPSYS INC·Filed 2013·Granted May 12, 2015·3 cites·30 claims
- 0664US7415684B2Facilitating structural coverage of a design during design verificationSYNOPSYS INC·Filed 2006·Granted Aug 19, 2008·6 cites·18 claims
- 0757US9514267B2System on chip I/O connectivity verification in presence of low power design considerationsSYNOPSYS INC·Filed 2014·Granted Dec 6, 2016·1 cites·21 claims
- 0852US6397169B1Adaptive cell separation and circuit changes driven by maximum capacitance rulesSYNOPSYS INC·Filed 1998·Granted May 28, 2002·29 cites·18 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →