Inventor · disambiguated record
Robert P. Kurshan
Also filed as: KURSHAN ROBERT P · KURSHAN ROBERT PAUL
29 granted patents·772 citations·filing 1975–2012
97Inventor score
Files withLUCENT TECHNOLOGIES INC13BELL TELEPHONE LABOR INC5CADENCE DESIGN SYSTEMS INC5KURSHAN ROBERT P2AGERE SYSTEMS INC1
Top patents by PatentIndex Score
29 records- 0189US7937673B1Method and system for implementing top down design and verification of an electrical circuit designCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted May 3, 2011·23 cites·42 claims
- 0285US5163016AAnalytical development and verification of control-intensive systemsAT & T BELL LAB·Filed 1990·Granted Nov 10, 1992·156 cites·29 claims
- 0384US5483470ATiming verification by successive approximationAT & T CORP·Filed 1992·Granted Jan 9, 1996·102 cites·11 claims
- 0480US9047427B1Method and system for performing verification of an electronic designDOUCET FREDERIC·Filed 2011·Granted Jun 2, 2015·12 cites·26 claims
- 0578US6185516B1Automata-theoretic verification of systemsLUCENT TECHNOLOGIES INC·Filed 1997·Granted Feb 6, 2001·86 cites·14 claims
- 0677US7047510B1Method and system for partitioning an integrated circuit designCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted May 16, 2006·26 cites·26 claims
- 0772US7181708B1Coverage metric and coverage computation for verification based on design partitionsCADENCE DESIGN SYSTEMS INC·Filed 2004·Granted Feb 20, 2007·16 cites·42 claims
- 0868US6708143B1Verification coverage methodLUCENT TECHNOLOGIES INC·Filed 2000·Granted Mar 16, 2004·13 cites·4 claims
- 0967US8234609B2Method and system for implementing top down design and verification of an electronic designKURSHAN ROBERT P·Filed 2008·Granted Jul 31, 2012·4 cites·24 claims
- 1065US3963905APeriodic sequence generators using ordinary arithmeticBELL TELEPHONE LABOR INC·Filed 1975·Granted Jun 15, 1976·23 cites·16 claims
- 1162US7712059B1Coverage metric and coverage computation for verification based on design partitionsCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted May 4, 2010·2 cites·27 claims
- 1262US3971998ARecursive detector-oscillator circuitBELL TELEPHONE LABOR INC·Filed 1975·Granted Jul 27, 1976·14 cites·14 claims
- 1361US8539405B2Method and system for implementing top down design and verification of an electronic designKURSHAN ROBERT P·Filed 2012·Granted Sep 17, 2013·1 cites·24 claims
- 1461US6102959AVerification tool computation reductionLUCENT TECHNOLOGIES INC·Filed 1998·Granted Aug 15, 2000·39 cites·10 claims
- 1560US6209120B1Verifying hardware in its software context and vice-versaLUCENT TECHNOLOGIES INC·Filed 1998·Granted Mar 27, 2001·43 cites·27 claims
- 1657US5926622AEfficient regression verificationLUCENT TECHNOLOGIES INC·Filed 1997·Granted Jul 20, 1999·20 cites·12 claims
- 1754US4361875AMultiple tone detector and locatorBELL TELEPHONE LABOR INC·Filed 1980·Granted Nov 30, 1982·12 cites·32 claims
- 1853US6311293B1Detecting of model errors through simplification of model via state reachability analysisLUCENT TECHNOLOGIES INC·Filed 1998·Granted Oct 30, 2001·29 cites·7 claims
- 1951US6295515B1Static partial order reductionLUCENT TECHNOLOGIES INC·Filed 1998·Granted Sep 25, 2001·28 cites·15 claims
- 2051US5691925ADeriving tractable sub-system for model of larger systemLUCENT TECHNOLOGIES INC·Filed 1995·Granted Nov 25, 1997·19 cites·3 claims
- 2150US7444274B1Method and system for verifying circuit designs through propagation of assertionsCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted Oct 28, 2008·3 cites·53 claims
- 2248US6099575AConstraint validity checkingLUCENT TECHNOLOGIES INC·Filed 1998·Granted Aug 8, 2000·21 cites·23 claims
- 2347US5946481AMethod for detecting errors in models through restrictionLUCENT TECHNOLOGIES INC·Filed 1997·Granted Aug 31, 1999·19 cites·45 claims
- 2445US4348735ACyclotomic tone detector and locatorBELL TELEPHONE LABOR INC·Filed 1980·Granted Sep 7, 1982·7 cites·7 claims
- 2541US6591231B1Method for identifying cyclicity in circuit designsAGERE SYSTEMS INC·Filed 1999·Granted Jul 8, 2003·14 cites·8 claims
- 2639US5966516AApparatus for defining properties in finite-state machinesLUCENT TECHNOLOGIES INC·Filed 1997·Granted Oct 12, 1999·21 cites·59 claims
- 2739US5901073AMethod for detecting errors in models through restrictionLUCENT TECHNOLOGIES INC·Filed 1997·Granted May 4, 1999·12 cites·34 claims
- 2834US5740084AVerification of homomorphism between two system modelsLUCENT TECHNOLOGIES INC·Filed 1995·Granted Apr 14, 1998·5 cites·3 claims
- 2930US4333156ABroadband cyclotomic tone detectorBELL TELEPHONE LABOR INC·Filed 1980·Granted Jun 1, 1982·2 cites·31 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →