Kenneth A. Mahler

Person

Essex Junction, VT, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for logic verification using mirror interface
- Patent number 7,729,877
- Issue date Jun 1, 2010
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for logic verification using mirror interface
- Patent number 7,353,131
- Issue date Apr 1, 2008
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for re-using system-on-chip verification software in an oper...
- Patent number 6,868,545
- Issue date Mar 15, 2005
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for logic verification using mirror interface
- Patent number 6,865,502
- Issue date Mar 8, 2005
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulator-independent system-on-chip verification methodology
- Patent number 6,571,373
- Issue date May 27, 2003
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of developing re-usable software for efficient verification...
- Patent number 6,539,522
- Issue date Mar 25, 2003
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for efficient verification of system-on-chip integrated circ...
- Patent number 6,427,224
- Issue date Jul 30, 2002
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR LOGIC VERIFICATION USING MIRROR INTERFACE
- Publication number 20080222583
- Publication date Sep 11, 2008
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR LOGIC VERIFICATION USING MIRROR INTERFACE
- Publication number 20070204246
- Publication date Aug 30, 2007
- International Business Machines Corporation
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for logic verification using mirror interface
- Publication number 20050144577
- Publication date Jun 30, 2005
- International Business Machines
- Robert J. Devins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for logic verification using mirror interface
- Publication number 20020147560
- Publication date Oct 10, 2002
- International Business Machines Corporation
- Robert J. Devins
- G01 - MEASURING TESTING

Kenneth A. Mahler

Person

Patents Grantslast 30 patents

Method and system for logic verification using mirror interface

Method and system for logic verification using mirror interface

Method for re-using system-on-chip verification software in an oper...

Method and system for logic verification using mirror interface

Simulator-independent system-on-chip verification methodology

Method of developing re-usable software for efficient verification...

Method for efficient verification of system-on-chip integrated circ...

Patents Applicationslast 30 patents

METHOD AND SYSTEM FOR LOGIC VERIFICATION USING MIRROR INTERFACE

METHOD AND SYSTEM FOR LOGIC VERIFICATION USING MIRROR INTERFACE

Method and system for logic verification using mirror interface

Method and system for logic verification using mirror interface