Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10108767 | Methods, systems, and computer program product for implementing deadlock detection with formal verification techniques in an electronic design | Victor Markus Purri, Lars Lundgren, Pradeep Goyal | 2018-10-23 |
| 6304944 | Mechanism for storing system level attributes in a translation lookaside buffer | — | 2001-10-16 |
| 6189074 | Mechanism for storing system level attributes in a translation lookaside buffer | — | 2001-02-13 |
| 5682310 | Computer system including in-circuit emulation mode for debugging system management software | Hans Magnusson, Dan S. Mudgett | 1997-10-28 |
| 5566312 | Processimg unit with programmable mis-aligned byte addressing | — | 1996-10-15 |
| 5377200 | Power saving feature for components having built-in testing logic | — | 1994-12-27 |