Issued Patents 2011
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8015451 | Controlling an unreliable data transfer in a data channel | Christian Habermann, Christian Jacobi, Hans-Werner Tast, Ralf Winkelmann | 2011-09-06 |
| 7987384 | Method, system, and computer program product for handling errors in a cache without processor core recovery | Christian Jacobi, Chung-Lung K. Shum, Hans-Werner Tast, Aaron Tsai | 2011-07-26 |
| 7949968 | Method and system for building binary decision diagrams optimally for nodes in a netlist graph using don't-caring | Christian Jacobi, Udo Krautz, Viresh Paruthi, Kai Weber | 2011-05-24 |
| 7890903 | Method and system for formal verification of an electronic circuit design | Kai Weber, Christian Jacobi, Udo Krautz | 2011-02-15 |