| 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 |
