Bradley S. Nelson

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Store data forwarding with no memory model restrictions
- Patent number 8,984,261
- Issue date Mar 17, 2015
- International Business Machines Corporation
- Brian D. Barrick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Store data forwarding with no memory model restrictions
- Patent number 8,627,047
- Issue date Jan 7, 2014
- International Business Machines Corporation
- Aaron Tsai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microprocessor and method for deferred store data forwarding for st...
- Patent number 8,468,306
- Issue date Jun 18, 2013
- International Business Machines Corporation
- Aaron Tsai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock-gated model transformation for asynchronous testing of logic...
- Patent number 8,238,190
- Issue date Aug 7, 2012
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and arrangements to model an asynchronous interface
- Patent number 7,995,619
- Issue date Aug 9, 2011
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modeling asynchronous behavior from primary inputs and latches
- Patent number 7,885,801
- Issue date Feb 8, 2011
- International Business Machines Corporation
- Zoltan T. Hidvegi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accurately modeling an asynchronous interface using expanded logic...
- Patent number 7,877,717
- Issue date Jan 25, 2011
- International Business Machines Corporation
- Bing-Lun Chu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for unfolding/replicating logic paths to facilita...
- Patent number 7,870,528
- Issue date Jan 11, 2011
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and program product supporting user tracing in a sim...
- Patent number 7,536,288
- Issue date May 19, 2009
- International Business Machines Corporation
- Bradley Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program product for providing a configuration specification languag...
- Patent number 7,519,524
- Issue date Apr 14, 2009
- International Business Machines Corporation
- Bradley S. Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for modeling metastability decay through latches in an integ...
- Patent number 7,484,192
- Issue date Jan 27, 2009
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for asynchronous clock modeling in an integrated circuit sim...
- Patent number 7,484,196
- Issue date Jan 27, 2009
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock-gated model transformation for asynchronous testing of logic...
- Patent number 7,453,759
- Issue date Nov 18, 2008
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modeling asynchronous behavior from primary inputs and latches
- Patent number 7,447,620
- Issue date Nov 4, 2008
- International Business Machines Corporation
- Zoltan T. Hidvegi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for unfolding/replicating logic paths to facilita...
- Patent number 7,448,015
- Issue date Nov 4, 2008
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and program product for providing a configuration sp...
- Patent number 7,426,461
- Issue date Sep 16, 2008
- International Business Machines Corporation
- Bradley S. Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for unfolding/replicating logic paths to facilita...
- Patent number 7,302,659
- Issue date Nov 27, 2007
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for accurately modeling an asynchronous interface...
- Patent number 7,299,436
- Issue date Nov 20, 2007
- International Business Machines Corporation
- Bing-Lun Chu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and program product for modelling behavior of asynchronous c...
- Patent number 7,089,518
- Issue date Aug 8, 2006
- International Business Machines Corporation
- Dean Gilbert Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and program product for specifying a dial group for...
- Patent number 6,993,729
- Issue date Jan 31, 2006
- International Business Machines Corporation
- Bradley Nelson
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
STORE DATA FORWARDING WITH NO MEMORY MODEL RESTRICTIONS
- Publication number 20140108743
- Publication date Apr 17, 2014
- International Business Machines Corporation
- Brian D. Barrick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSOR AND METHOD FOR STORE DATA FORWARDING IN A SYSTEM WITH NO...
- Publication number 20090210679
- Publication date Aug 20, 2009
- International Business Machines Corporation
- Aaron Tsai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MICROPROCESSOR AND METHOD FOR DEFERRED STORE DATA FORWARDING FOR ST...
- Publication number 20090210632
- Publication date Aug 20, 2009
- International Business Machines Corporation
- Aaron Tsai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLOCK-GATED MODEL TRANSFORMATION FOR ASYNCHRONOUS TESTING OF LOGIC...
- Publication number 20080301603
- Publication date Dec 4, 2008
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING ASYNCHRONOUS BEHAVIOR FROM PRIMARY INPUTS AND LATCHES
- Publication number 20080295052
- Publication date Nov 27, 2008
- Zoltan T. Hidvegi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIM...
- Publication number 20080288234
- Publication date Nov 20, 2008
- BRADLEY NELSON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR UNFOLDING/REPLICATING LOGIC PATHS TO FACILITA...
- Publication number 20080270966
- Publication date Oct 30, 2008
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM PRODUCT FOR PROVIDING A CONFIGURATION SPECIFICATION LANGUAG...
- Publication number 20080256135
- Publication date Oct 16, 2008
- International Business Machines Corporation
- BRADLEY S. NELSON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods and Arrangements to Model an Asynchronous Interface
- Publication number 20080192645
- Publication date Aug 14, 2008
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Modeling Metastability Decay Through Latches...
- Publication number 20080072188
- Publication date Mar 20, 2008
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Asynchronous Clock Modeling in an Integrated...
- Publication number 20080072197
- Publication date Mar 20, 2008
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Accurately Modeling an Asynchronous Interface...
- Publication number 20080040695
- Publication date Feb 14, 2008
- Bing-Lun Chu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Unfolding/Replicating Logic Paths to Facilita...
- Publication number 20070271542
- Publication date Nov 22, 2007
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Clock-Gated Model Transformation for Asynchronous Testing of Logic...
- Publication number 20070253275
- Publication date Nov 1, 2007
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR MODELING METASTABILITY DECAY USING FENCE LOGIC INSERTION
- Publication number 20070244685
- Publication date Oct 18, 2007
- International Business Machines Corporation
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Modeling asynchronous behavior from primary inputs and latches
- Publication number 20070198238
- Publication date Aug 23, 2007
- Zoltan T. Hidvegi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods and arrangements to model an asynchronous interface
- Publication number 20070098020
- Publication date May 3, 2007
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for accurately modeling an asynchronous interface...
- Publication number 20060190858
- Publication date Aug 24, 2006
- Bing-Lun Chu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for unfolding/replicating logic paths to facilita...
- Publication number 20060190883
- Publication date Aug 24, 2006
- Yee Ja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system and program product for providing a configuration sp...
- Publication number 20060004556
- Publication date Jan 5, 2006
- International Business Machines Corporation
- Bradley S. Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and program product for modelling behavior of asynchronous c...
- Publication number 20050251773
- Publication date Nov 10, 2005
- International Business Machines Corporation
- Dean Gilbert Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system and program product supporting user tracing in a sim...
- Publication number 20050149309
- Publication date Jul 7, 2005
- International Business Machines Corp.
- Bradley Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system and program product for specifying a dial group for...
- Publication number 20040216075
- Publication date Oct 28, 2004
- International Business Machines Corp.
- Bradley Nelson
- G06 - COMPUTING CALCULATING COUNTING

Bradley S. Nelson

Person

Patents Grantslast 30 patents

Store data forwarding with no memory model restrictions

Store data forwarding with no memory model restrictions

Microprocessor and method for deferred store data forwarding for st...

Clock-gated model transformation for asynchronous testing of logic...

Methods and arrangements to model an asynchronous interface

Modeling asynchronous behavior from primary inputs and latches

Accurately modeling an asynchronous interface using expanded logic...

Method and system for unfolding/replicating logic paths to facilita...

Method, system and program product supporting user tracing in a sim...

Program product for providing a configuration specification languag...

Method for modeling metastability decay through latches in an integ...

Method for asynchronous clock modeling in an integrated circuit sim...

Clock-gated model transformation for asynchronous testing of logic...

Modeling asynchronous behavior from primary inputs and latches

Method and system for unfolding/replicating logic paths to facilita...

Method, system and program product for providing a configuration sp...

System and method for unfolding/replicating logic paths to facilita...

System and method for accurately modeling an asynchronous interface...

Method and program product for modelling behavior of asynchronous c...

Method, system and program product for specifying a dial group for...

Patents Applicationslast 30 patents

STORE DATA FORWARDING WITH NO MEMORY MODEL RESTRICTIONS

PROCESSOR AND METHOD FOR STORE DATA FORWARDING IN A SYSTEM WITH NO...

MICROPROCESSOR AND METHOD FOR DEFERRED STORE DATA FORWARDING FOR ST...

CLOCK-GATED MODEL TRANSFORMATION FOR ASYNCHRONOUS TESTING OF LOGIC...

MODELING ASYNCHRONOUS BEHAVIOR FROM PRIMARY INPUTS AND LATCHES

METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIM...

METHOD AND SYSTEM FOR UNFOLDING/REPLICATING LOGIC PATHS TO FACILITA...

PROGRAM PRODUCT FOR PROVIDING A CONFIGURATION SPECIFICATION LANGUAG...

Methods and Arrangements to Model an Asynchronous Interface

System and Method for Modeling Metastability Decay Through Latches...

System and Method for Asynchronous Clock Modeling in an Integrated...

System and Method for Accurately Modeling an Asynchronous Interface...

Method and System for Unfolding/Replicating Logic Paths to Facilita...

Clock-Gated Model Transformation for Asynchronous Testing of Logic...

METHOD FOR MODELING METASTABILITY DECAY USING FENCE LOGIC INSERTION

Modeling asynchronous behavior from primary inputs and latches

Methods and arrangements to model an asynchronous interface

System and method for accurately modeling an asynchronous interface...

System and method for unfolding/replicating logic paths to facilita...

Method, system and program product for providing a configuration sp...

Method and program product for modelling behavior of asynchronous c...

Method, system and program product supporting user tracing in a sim...

Method, system and program product for specifying a dial group for...