Assignee
KUEHLMANN ANDREAS
US·4 granted patents·16 citations·filing 2010–2011
Technology mixG06F4
Top patents by PatentIndex Score
4 records- 0183US8418101B1Temporal decomposition for design and verificationKUEHLMANN ANDREAS·Filed 2011·Granted Apr 9, 2013·6 cites·19 claims
- 0279US8656330B1Apparatus 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
- 0370US8862439B1General 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
- 0465US8413090B1Temporal decomposition for design and verificationKUEHLMANN ANDREAS·Filed 2011·Granted Apr 2, 2013·1 cites·16 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →