Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $42,104,000 |
| 6304944 | Mechanism for storing system level attributes in a translation lookaside buffer | — | 2001-10-16 | $3,616,000 |
| 6189074 | Mechanism for storing system level attributes in a translation lookaside buffer | — | 2001-02-13 | $5,609,000 |
| 5682310 | Computer system including in-circuit emulation mode for debugging system management software | Hans Magnusson, Dan S. Mudgett | 1997-10-28 | $8,781,000 |
| 5566312 | Processimg unit with programmable mis-aligned byte addressing | — | 1996-10-15 | $6,626,000 |
| 5377200 | Power saving feature for components having built-in testing logic | — | 1994-12-27 | $9,009,000 |