Inventor
WINKELMANN RALF
DE20 patents
⚠️ This page may combine multiple inventors who share the name “WINKELMANN RALF”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
13 patentsUS9934343B2Apr 3, 2018
System and method for generation of an integrated circuit design
IBM3 citations71
US10635555B2Apr 28, 2020
Verifying a graph-based coherency verification tool
IBM4 citations70
US10282265B2May 7, 2019
Verifying a graph-based coherency verification tool
IBM4 citations70
US11099919B2Aug 24, 2021
Testing a data coherency algorithm
IBM0 citations62
US9959155B2May 1, 2018
Testing a data coherency algorithm
IBM1 citations62
US9928127B2Mar 27, 2018
Testing a data coherency algorithm
IBM1 citations62
US10678974B2Jun 9, 2020
System and method for generation of an integrated circuit design
IBM0 citations51
US10572617B2Feb 25, 2020
System and method for generation of an integrated circuit design
IBM0 citations51
US10558510B2Feb 11, 2020
Testing a data coherency algorithm
IBM0 citations51
US9928321B2Mar 27, 2018
System and method for generation of an integrated circuit design
IBM0 citations51
US8015451B2Sep 6, 2011
Controlling an unreliable data transfer in a data channel
IBM0 citations51
US11681567B2Jun 20, 2023
Method and processor system for executing a TELT instruction to access a data item during execution of an atomic primitive
IBM0 citations48
US11321146B2May 3, 2022
Executing an atomic primitive in a multi-core processor system
IBM0 citations48
HABERMANN CHRISTIAN
4 patentsUS8108197B2Jan 31, 2012
Method to verify an implemented coherency algorithm of a multi processor environment
HABERMANN CHRISTIAN7 citations82
US8302043B2Oct 30, 2012
Verification of logic circuit designs using dynamic clock gating
HABERMANN CHRISTIAN3 citations60
US9075732B2Jul 7, 2015
Data caching method
HABERMANN CHRISTIAN0 citations51
US8856444B2Oct 7, 2014
Data caching method
HABERMANN CHRISTIAN0 citations51