Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7774658 | Method and apparatus to search for errors in a translation look-aside buffer | Kevin Safford | 2010-08-10 |
| 7725899 | Method and apparatus for communicating information between lock stepped processors | Kevin Safford | 2010-05-25 |
| 7398419 | Method and apparatus for seeding differences in lock-stepped processors | Kevin Safford | 2008-07-08 |
| 7155721 | Method and apparatus for communicating information between lock stepped processors | Kevin Safford | 2006-12-26 |
| 7139936 | Method and apparatus for verifying the correctness of a processor behavioral model | Kevin Safford, Karl Brummel, Russell C. Brockmann, Bruce Long, Patrick Knebel | 2006-11-21 |
| 7003691 | Method and apparatus for seeding differences in lock-stepped processors | Kevin Safford | 2006-02-21 |
| 6625759 | Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit | Kevin Safford, Karl Brummel, Russell C. Brockmann, Bruce Long, Patrick Knebel | 2003-09-23 |