Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |