Inventor · disambiguated record
Kenneth L. Mcmillan
Also filed as: MCMILLAN KENNETH L
9 granted patents·134 citations·filing 2003–2012
88Inventor score
Technology areasG06F
Top patents by PatentIndex Score
9 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
- 0287US6944838B2Method and system for design verification using proof-partitioningCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted Sep 13, 2005·61 cites·30 claims
- 0379US8656330B1Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and softwareKUEHLMANN ANDREAS·Filed 2010·Granted Feb 18, 2014·6 cites·15 claims
- 0478US8326592B2Method and system for verifying electronic designs having software componentsMCMILLAN KENNETH L·Filed 2008·Granted Dec 4, 2012·13 cites·31 claims
- 0570US8862439B1General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and softwareKUEHLMANN ANDREAS·Filed 2010·Granted Oct 14, 2014·3 cites·20 claims
- 0670US7661082B1System and method for abstraction refinement verificationCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted Feb 9, 2010·7 cites·27 claims
- 0767US8234609B2Method 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
- 0866US7406405B2Method and system for design verification using proof-based abstractionCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted Jul 29, 2008·16 cites·28 claims
- 0961US8539405B2Method 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
Join the waitlist — get patent alerts
Get an alert when Kenneth L. Mcmillan files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →