Gerrit Koch

Person

Ammerbuch, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Testing a data coherency algorithm
- Patent number 11,099,919
- Issue date Aug 24, 2021
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Branch prediction for indirect branch instructions
- Patent number 11,099,851
- Issue date Aug 24, 2021
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determine soft error resilience while verifying architectural compl...
- Patent number 10,896,118
- Issue date Jan 19, 2021
- International Business Machines Corporation
- Ophir Erez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ensuring completeness of interface signal checking in functional ve...
- Patent number 10,830,818
- Issue date Nov 10, 2020
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ensuring completeness of interface signal checking in functional ve...
- Patent number 10,823,782
- Issue date Nov 3, 2020
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data prefetching that stores memory addresses in a first table and...
- Patent number 10,684,857
- Issue date Jun 16, 2020
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 10,678,974
- Issue date Jun 9, 2020
- International Business Machines Corporation
- Carsten Greiner
- G01 - MEASURING TESTING
Information Patent Grant
Verifying a graph-based coherency verification tool
- Patent number 10,635,555
- Issue date Apr 28, 2020
- International Business Machines Corporation
- Thomas P. Grosser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 10,572,617
- Issue date Feb 25, 2020
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 10,558,510
- Issue date Feb 11, 2020
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quality of cache management in a computer
- Patent number 10,489,296
- Issue date Nov 26, 2019
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determine soft error resilience while verifying architectural compl...
- Patent number 10,318,406
- Issue date Jun 11, 2019
- International Business Machines Corporation
- Ophir Erez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying a graph-based coherency verification tool
- Patent number 10,282,265
- Issue date May 7, 2019
- International Business Machines Corporation
- Thomas P. Grosser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 9,959,155
- Issue date May 1, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 9,934,343
- Issue date Apr 3, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 9,928,321
- Issue date Mar 27, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 9,928,127
- Issue date Mar 27, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing a repair operation in arrays
- Patent number 9,921,906
- Issue date Mar 20, 2018
- International Business Machines Corporation
- Gerrit Koch
- G11 - INFORMATION STORAGE
Information Patent Grant
Performing a repair operation in arrays
- Patent number 9,916,195
- Issue date Mar 13, 2018
- International Business Machines Corporation
- Gerrit Koch
- G11 - INFORMATION STORAGE
Information Patent Grant
Handling virtual memory address synonyms in a multi-level cache hie...
- Patent number 9,274,959
- Issue date Mar 1, 2016
- GLOBALFOUNDRIES Inc.
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stack entry overwrite protection
- Patent number 9,262,626
- Issue date Feb 16, 2016
- International Business Machines Corporation
- Joerg Deutschle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stack entry overwrite protection
- Patent number 9,245,110
- Issue date Jan 26, 2016
- International Business Machines Corporation
- Joerg Deutschle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification assistance for digital circuit designs
- Patent number 9,026,968
- Issue date May 5, 2015
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Store buffer for transactional memory
- Patent number 8,977,823
- Issue date Mar 10, 2015
- International Business Machines Corporation
- Khary J. ALexander
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DYNAMIC CACHE LOADING AND VERIFICATION
- Publication number 20250028644
- Publication date Jan 23, 2025
- International Business Machines Corporation
- Yvo Thomas Bernard Mulder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20200142767
- Publication date May 7, 2020
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BRANCH PREDICTION FOR INDIRECT BRANCH INSTRUCTIONS
- Publication number 20200133678
- Publication date Apr 30, 2020
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSOR CACHE WITH A DATA PREFETCHER
- Publication number 20190235872
- Publication date Aug 1, 2019
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINE SOFT ERROR RESILIENCE WHILE VERIFYING ARCHITECTURAL COMPL...
- Publication number 20190227906
- Publication date Jul 25, 2019
- International Business Machines Corporation
- Ophir Erez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENSURING COMPLETENESS OF INTERFACE SIGNAL CHECKING IN FUNCTIONAL VE...
- Publication number 20190094300
- Publication date Mar 28, 2019
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENSURING COMPLETENESS OF INTERFACE SIGNAL CHECKING IN FUNCTIONAL VE...
- Publication number 20190094299
- Publication date Mar 28, 2019
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINE SOFT ERROR RESILIENCE WHILE VERIFYING ARCHITECTURAL COMPL...
- Publication number 20180239691
- Publication date Aug 23, 2018
- International Business Machines Corporation
- Ophir Erez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20180136998
- Publication date May 17, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL
- Publication number 20180129578
- Publication date May 10, 2018
- International Business Machines Corporation
- Thomas P. GROSSER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUALITY OF CACHE MANAGEMENT IN A COMPUTER
- Publication number 20180081814
- Publication date Mar 22, 2018
- International Business Machines Corporation
- WOLFGANG GELLERICH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUALITY OF CACHE MANAGEMENT IN A COMPUTER
- Publication number 20180081813
- Publication date Mar 22, 2018
- International Business Machines Corporation
- WOLFGANG GELLERICH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20180046742
- Publication date Feb 15, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20180046743
- Publication date Feb 15, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20170344684
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20170344679
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20170220439
- Publication date Aug 3, 2017
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20170220437
- Publication date Aug 3, 2017
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING A REPAIR OPERATION IN ARRAYS
- Publication number 20170199782
- Publication date Jul 13, 2017
- International Business Machines Corporation
- GERRIT KOCH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING A REPAIR OPERATION IN ARRAYS
- Publication number 20170199781
- Publication date Jul 13, 2017
- International Business Machines Corporation
- GERRIT KOCH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR BRANCH PREDICTION
- Publication number 20170039071
- Publication date Feb 9, 2017
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR BRANCH PREDICTION
- Publication number 20170039072
- Publication date Feb 9, 2017
- International Business Machines Corporation
- Wolfgang Gellerich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL
- Publication number 20160132417
- Publication date May 12, 2016
- International Business Machines Corporation
- Thomas P. GROSSER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STACK ENTRY OVERWRITE PROTECTION
- Publication number 20150169869
- Publication date Jun 18, 2015
- International Business Machines Corporation
- Joerg Deutschle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STACK ENTRY OVERWRITE PROTECTION
- Publication number 20150169868
- Publication date Jun 18, 2015
- International Business Machines Corporation
- Joerg Deutschle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HANDLING VIRTUAL MEMORY ADDRESS SYNONYMS IN A MULTI-LEVEL CACHE HIE...
- Publication number 20150032964
- Publication date Jan 29, 2015
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION ASSISTANCE FOR DIGITAL CIRCUIT DESIGNS
- Publication number 20140310668
- Publication date Oct 16, 2014
- International Business Machines Corporation
- CARSTEN GREINER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Store Buffer for Transactional Memory
- Publication number 20140082293
- Publication date Mar 20, 2014
- International Business Machines Corporation
- Khary J. ALexander
- G06 - COMPUTING CALCULATING COUNTING

Gerrit Koch

Person

Patents Grantslast 30 patents

Testing a data coherency algorithm

Branch prediction for indirect branch instructions

Determine soft error resilience while verifying architectural compl...

Ensuring completeness of interface signal checking in functional ve...

Ensuring completeness of interface signal checking in functional ve...

Data prefetching that stores memory addresses in a first table and...

System and method for generation of an integrated circuit design

Verifying a graph-based coherency verification tool

System and method for generation of an integrated circuit design

Testing a data coherency algorithm

Quality of cache management in a computer

Determine soft error resilience while verifying architectural compl...

Verifying a graph-based coherency verification tool

Testing a data coherency algorithm

System and method for generation of an integrated circuit design

System and method for generation of an integrated circuit design

Testing a data coherency algorithm

Performing a repair operation in arrays

Performing a repair operation in arrays

Handling virtual memory address synonyms in a multi-level cache hie...

Stack entry overwrite protection

Stack entry overwrite protection

Verification assistance for digital circuit designs

Store buffer for transactional memory

Patents Applicationslast 30 patents

DYNAMIC CACHE LOADING AND VERIFICATION

TESTING A DATA COHERENCY ALGORITHM

BRANCH PREDICTION FOR INDIRECT BRANCH INSTRUCTIONS

PROCESSOR CACHE WITH A DATA PREFETCHER

DETERMINE SOFT ERROR RESILIENCE WHILE VERIFYING ARCHITECTURAL COMPL...

ENSURING COMPLETENESS OF INTERFACE SIGNAL CHECKING IN FUNCTIONAL VE...

ENSURING COMPLETENESS OF INTERFACE SIGNAL CHECKING IN FUNCTIONAL VE...

DETERMINE SOFT ERROR RESILIENCE WHILE VERIFYING ARCHITECTURAL COMPL...

TESTING A DATA COHERENCY ALGORITHM

VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL

QUALITY OF CACHE MANAGEMENT IN A COMPUTER

QUALITY OF CACHE MANAGEMENT IN A COMPUTER

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

TESTING A DATA COHERENCY ALGORITHM

TESTING A DATA COHERENCY ALGORITHM

PERFORMING A REPAIR OPERATION IN ARRAYS

PERFORMING A REPAIR OPERATION IN ARRAYS

METHOD FOR BRANCH PREDICTION

METHOD FOR BRANCH PREDICTION

VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL

STACK ENTRY OVERWRITE PROTECTION

STACK ENTRY OVERWRITE PROTECTION

HANDLING VIRTUAL MEMORY ADDRESS SYNONYMS IN A MULTI-LEVEL CACHE HIE...

VERIFICATION ASSISTANCE FOR DIGITAL CIRCUIT DESIGNS

Store Buffer for Transactional Memory