Membership
Tour
Register
Log in
Kenneth L. McMillan
Follow
Person
Berkeley, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
General numeric backtracking algorithm for solving satifiability pr...
Patent number
8,862,439
Issue date
Oct 14, 2014
Cadence Design Systems, Inc.
Andreas Kuehlmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Apparatus with general numeric backtracking algorithm for solving s...
Patent number
8,656,330
Issue date
Feb 18, 2014
Cadence Design Systems, Inc.
Andreas Kuehlmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for implementing top down design and verification...
Patent number
8,539,405
Issue date
Sep 17, 2013
Cadence Design Systems, Inc.
Robert P. Kurshan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for verifying electronic designs having software...
Patent number
8,326,592
Issue date
Dec 4, 2012
Cadence Design Systems, Inc.
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for implementing top down design and verification...
Patent number
8,234,609
Issue date
Jul 31, 2012
Cadence Design Systems, Inc.
Robert P. Kurshan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for implementing top down design and verification...
Patent number
7,937,673
Issue date
May 3, 2011
Cadence Design Systems, Inc.
Robert P. Kurshan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for abstraction refinement verification
Patent number
7,661,082
Issue date
Feb 9, 2010
Cadence Design Systems, Inc.
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for design verification using proof-based abstrac...
Patent number
7,406,405
Issue date
Jul 29, 2008
Cadence Design Systems, Inc.
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for design verification using proof-partitioning
Patent number
6,944,838
Issue date
Sep 13, 2005
Cadence Design Systems, Inc.
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
METHOD AND SYSTEM FOR IMPLEMENTING TOP DOWN DESIGN AND VERIFICATION...
Publication number
20120311513
Publication date
Dec 6, 2012
Cadence Design Systems, Inc.
Robert P. Kurshan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Implementing Top Down Design and Verification...
Publication number
20090164968
Publication date
Jun 25, 2009
Cadence Design Systems, Inc.
Robert P. Kurshan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Verifying Electronic Designs Having Software...
Publication number
20090164193
Publication date
Jun 25, 2009
Cadence Design Systems, Inc.
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for design verification using proof-partitioning
Publication number
20040153983
Publication date
Aug 5, 2004
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for design verification using proof-based abstrac...
Publication number
20040153308
Publication date
Aug 5, 2004
Kenneth L. McMillan
G06 - COMPUTING CALCULATING COUNTING