Issued Patents 2011
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8041894 | Method and system for a multi-level virtual/real cache system with synonym resolution | Barry W. Krumm, Chung-Lung K. Shum, Hans-Werner Tast, Aaron Tsai, Ching-Farn E. Wu | 2011-10-18 |
| 8015362 | Method and system for handling cache coherency for self-modifying code | Gregory W. Alexander, Barry W. Krumm, Chung-Lung K. Shum, Aaron Tsai | 2011-09-06 |
| 8015451 | Controlling an unreliable data transfer in a data channel | Christian Habermann, Matthias Pflanz, Hans-Werner Tast, Ralf Winkelmann | 2011-09-06 |
| 8001411 | Generating a local clock domain using dynamic controls | Sean Michael Carey, William V. Huott, Guenter Mayer, Timothy G. McNamara, Chung-Lung K. Shum +2 more | 2011-08-16 |
| 7987384 | Method, system, and computer program product for handling errors in a cache without processor core recovery | Matthias Pflanz, 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 | Udo Krautz, Viresh Paruthi, Matthias Pflanz, Kai Weber | 2011-05-24 |
| 7890903 | Method and system for formal verification of an electronic circuit design | Kai Weber, Matthias Pflanz, Udo Krautz | 2011-02-15 |