| 10830818 |
Ensuring completeness of interface signal checking in functional verification |
Carsten Greiner, Minh Cuong Tran, Joerg Walter |
2020-11-10 |
| 10823782 |
Ensuring completeness of interface signal checking in functional verification |
Carsten Greiner, Minh Cuong Tran, Joerg Walter |
2020-11-03 |
| 10684857 |
Data prefetching that stores memory addresses in a first table and responsive to the occurrence of loads corresponding to the memory addresses stores the memory addresses in a second table |
Wolfgang Gellerich, Peter M. Held, Martin Schwidefsky |
2020-06-16 |
| 10678974 |
System and method for generation of an integrated circuit design |
Carsten Greiner, Johannes C. Reichart, Ralf Winkelmann |
2020-06-09 |
| 10635555 |
Verifying a graph-based coherency verification tool |
Thomas P. Grosser, Ralf Winkelmann |
2020-04-28 |
| 10572617 |
System and method for generation of an integrated circuit design |
Carsten Greiner, Johannes C. Reichart, Ralf Winkelmann |
2020-02-25 |
| 10558510 |
Testing a data coherency algorithm |
Christian Habermann, Martin Recktenwald, Ralf Winkelmann |
2020-02-11 |
