Inventor · disambiguated record
Kalyana C. Mulam
Also filed as: MULAM KALYANA C
13 granted patents·512 citations·filing 1997–2016
94Inventor score
Files withMENTOR GRAPHICS CORP5LEVITT JEREMY RUTLEDGE2O IN DESIGN AUTOMATION2HO CHIAN-MIN RICHARD1LY TAI AN1
Top patents by PatentIndex Score
13 records- 0193US6848088B1Measure of analysis performed in property checkingMENTOR GRAPHICS CORP·Filed 2002·Granted Jan 25, 2005·69 cites·10 claims
- 0290US6885983B1Method for automatically searching for functional defects in a description of a circuitMENTOR GRAPHICS CORP·Filed 2001·Granted Apr 26, 2005·42 cites·68 claims
- 0389US7478028B2Method for automatically searching for functional defects in a description of a circuitHO CHIAN-MIN RICHARD·Filed 2005·Granted Jan 13, 2009·21 cites·18 claims
- 0489US6609229B1Method for automatically generating checkers for finding functional defects in a description of a circuitO IN DESIGN AUTOMATION INC·Filed 2000·Granted Aug 19, 2003·71 cites·122 claims
- 0589US6292765B1Method for automatically searching for functional defects in a description of a circuitO IN DESIGN AUTOMATION·Filed 1997·Granted Sep 18, 2001·67 cites·37 claims
- 0688US6175946B1Method for automatically generating checkers for finding functional defects in a description of a circuitO IN DESIGN AUTOMATION·Filed 1997·Granted Jan 16, 2001·130 cites·20 claims
- 0786US7890897B2Measure of analysis performed in property checkingMENTOR GRAPHICS CORP·Filed 2007·Granted Feb 15, 2011·11 cites·23 claims
- 0885US8418121B2Measure of analysis performed in property checkingLEVITT JEREMY RUTLEDGE·Filed 2011·Granted Apr 9, 2013·7 cites·21 claims
- 0985US7454324B1Selection of initial states for formal verificationSEAWRIGHT JAMES ANDREW GARRARD·Filed 2003·Granted Nov 18, 2008·57 cites·18 claims
- 1077US7007249B2Method for automatically generating checkers for finding functional defects in a description of circuitLY TAI AN·Filed 2003·Granted Feb 28, 2006·21 cites·15 claims
- 1175US7318205B2Measure of analysis performed in property checkingLEVITT JEREMY RUTLEDGE·Filed 2004·Granted Jan 8, 2008·15 cites·26 claims
- 1268US9262557B2Measure of analysis performed in property checkingMENTOR GRAPHICS CORP·Filed 2013·Granted Feb 16, 2016·1 cites·5 claims
- 1357US9684760B2Measure of analysis performed in property checkingMENTOR GRAPHICS CORP·Filed 2016·Granted Jun 20, 2017·0 cites·18 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →