Issued Patents All Time
Showing 1–19 of 19 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11681567 | Method and processor system for executing a TELT instruction to access a data item during execution of an atomic primitive | Michael Fee, Matthias Klein, Carsten Otte, Edward W. Chencinski, Hanno Eichelberger | 2023-06-20 |
| 11321146 | Executing an atomic primitive in a multi-core processor system | Michael Fee, Matthias Klein, Carsten Otte, Edward W. Chencinski, Hanno Eichelberger | 2022-05-03 |
| 11099919 | Testing a data coherency algorithm | Christian Habermann, Gerrit Koch, Martin Recktenwald | 2021-08-24 |
| 10678974 | System and method for generation of an integrated circuit design | Carsten Greiner, Gerrit Koch, Johannes C. Reichart | 2020-06-09 |
| 10635555 | Verifying a graph-based coherency verification tool | Thomas P. Grosser, Gerrit Koch | 2020-04-28 |
| 10572617 | System and method for generation of an integrated circuit design | Carsten Greiner, Gerrit Koch, Johannes C. Reichart | 2020-02-25 |
| 10558510 | Testing a data coherency algorithm | Christian Habermann, Gerrit Koch, Martin Recktenwald | 2020-02-11 |
| 10282265 | Verifying a graph-based coherency verification tool | Thomas P. Grosser, Gerrit Koch | 2019-05-07 |
| 9959155 | Testing a data coherency algorithm | Christian Habermann, Gerrit Koch, Martin Recktenwald | 2018-05-01 |
| 9934343 | System and method for generation of an integrated circuit design | Carsten Greiner, Gerrit Koch, Johannes C. Reichart | 2018-04-03 |
| 9928321 | System and method for generation of an integrated circuit design | Carsten Greiner, Gerrit Koch, Johannes C. Reichart | 2018-03-27 |
| 9928127 | Testing a data coherency algorithm | Christian Habermann, Gerrit Koch, Martin Recktenwald | 2018-03-27 |
| 9075732 | Data caching method | Christian Habermann, Martin Recktenwald, Hans-Werner Tast | 2015-07-07 |
| 8856444 | Data caching method | Christian Habermann, Martin Recktenwald, Hans-Werner Tast | 2014-10-07 |
| 8589735 | Creating randomly ordered fields while maintaining the temporal ordering based on the value of the fields | Clinton E. Bubb, Chaitanya Kancherla, Roopesh A. Matayambath | 2013-11-19 |
| 8495452 | Handling corrupted background data in an out of order execution environment | Michael Fee, Christian Habermann, Christian Jacobi, Diana L. Orf, Martin Recktenwald +1 more | 2013-07-23 |
| 8302043 | Verification of logic circuit designs using dynamic clock gating | Christian Habermann, Christian Jacobi, Matthias Pflanz, Hans-Werner Tast | 2012-10-30 |
| 8108197 | Method to verify an implemented coherency algorithm of a multi processor environment | Christian Habermann, Hans-Werner Tast, Christian Jacobi | 2012-01-31 |
| 8015451 | Controlling an unreliable data transfer in a data channel | Christian Habermann, Christian Jacobi, Matthias Pflanz, Hans-Werner Tast | 2011-09-06 |