Membership
Tour
Register
Log in
Robert J. Devins
Follow
Person
Essex Junction, VT, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Method and system of communicating between peer processors in SoC e...
Patent number
9,367,493
Issue date
Jun 14, 2016
GLOBALFOUNDRIES Inc.
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for developing embedded software in-situ
Patent number
8,234,624
Issue date
Jul 31, 2012
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Optimal bus operation performance in a logic simulation environment
Patent number
8,140,314
Issue date
Mar 20, 2012
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method of switching external models in an automated system-on-chip...
Patent number
7,917,348
Issue date
Mar 29, 2011
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system of coherent design verification of inter-cluster...
Patent number
7,849,362
Issue date
Dec 7, 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,729,877
Issue date
Jun 1, 2010
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system of design verification
Patent number
7,711,534
Issue date
May 4, 2010
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Optimal bus operation performance in a logic simulation environment
Patent number
7,451,070
Issue date
Nov 11, 2008
International Business Machines
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method of switching external models in an automated system-on-chip...
Patent number
7,353,156
Issue date
Apr 1, 2008
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 and system for graphics rendering using hardware-event-trigg...
Patent number
7,176,927
Issue date
Feb 13, 2007
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for graphics rendering using captured graphics ha...
Patent number
6,952,215
Issue date
Oct 4, 2005
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
Method and system for graphics rendering using hardware-event-trigg...
Patent number
6,762,761
Issue date
Jul 13, 2004
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automated system-on-chip integrated circuit design verification system
Patent number
6,658,633
Issue date
Dec 2, 2003
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Processor-independent system-on-chip verification for embedded proc...
Patent number
6,615,167
Issue date
Sep 2, 2003
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
Display list processor for decoupling graphics subsystem operations...
Patent number
6,525,738
Issue date
Feb 25, 2003
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method of controlling external models in system-on-chip verification
Patent number
6,487,699
Issue date
Nov 26, 2002
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
Information
Patent Grant
DMA emulation for non-DMA capable interface cards
Patent number
5,784,595
Issue date
Jul 21, 1998
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Audio adapter card and method for trapping audio command and produc...
Patent number
5,768,631
Issue date
Jun 16, 1998
International Business Machines Corporation
Patrick K. Kam
Information
Patent Grant
Method and apparatus for providing virtual DMA capability on an ada...
Patent number
5,668,957
Issue date
Sep 16, 1997
International Business Machines Corporation
Gordon Taylor Davis
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Optimal bus operation performance in a logic simulation environment
Publication number
20080312896
Publication date
Dec 18, 2008
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
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
SYSTEM AND METHOD FOR DEVELOPING EMBEDDED SOFTWARE IN-SITU
Publication number
20080184193
Publication date
Jul 31, 2008
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD OF SWITCHING EXTERNAL MODELS IN AN AUTOMATED SYSTEM-ON-CHIP...
Publication number
20080133206
Publication date
Jun 5, 2008
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 OF COHERENT DESIGN VERIFICATION OF INTER-CLUSTER...
Publication number
20070168733
Publication date
Jul 19, 2007
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM OF COMMUNICATING BETWEEN PEER PROCESSORS IN SoC E...
Publication number
20070136559
Publication date
Jun 14, 2007
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM, METHOD AND PROGRAM STORAGE DEVICE FOR SIMULATION
Publication number
20060229858
Publication date
Oct 12, 2006
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM OF DESIGN VERIFICATION
Publication number
20060064296
Publication date
Mar 23, 2006
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR INITIALIZING MULTIPLE PROCESSORS RESIDING...
Publication number
20060047939
Publication date
Mar 2, 2006
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 graphics rendering using hardware-event-trigg...
Publication number
20040054834
Publication date
Mar 18, 2004
International Business Machines
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method of switching external models in an automated system-on-chip...
Publication number
20030149946
Publication date
Aug 7, 2003
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System for controlling external models used for verification of sys...
Publication number
20030145290
Publication date
Jul 31, 2003
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Automated system-on-chip integrated circuit design verification system
Publication number
20030093764
Publication date
May 15, 2003
International Business Machines Corporation
Robert J. Devins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR GRAPHICS RENDERING USING HARDWARE-EVENT-TRIGG...
Publication number
20030001849
Publication date
Jan 2, 2003
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