Inventor · disambiguated record
Kevin Safford
Also filed as: SAFFORD KEVIN · SAFFORD KEVIN D · SAFFORD KEVIN DAVID
37 granted patents·14 pending applications·728 citations·filing 1999–2024
98Inventor score
Files withHEWLETT PACKARD DEVELOPMENT CO26INTEL CORP10DACHIS GROUP1ETHIRAJ VINOTHKUMAR V1PETSINGER JEREMY P1
Top patents by PatentIndex Score
51 records- 0198US7370232B2Method and apparatus for recovery from loss of lock stepHEWLETT PACKARD DEVELOPMENT CO·Filed 2006·Granted May 6, 2008·98 cites·20 claims
- 0292US7085959B2Method and apparatus for recovery from loss of lock stepHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Aug 1, 2006·66 cites·14 claims
- 0391US7992017B2Methods and apparatuses for reducing step loads of processorsINTEL CORP·Filed 2007·Granted Aug 2, 2011·34 cites·25 claims
- 0490US11544174B2Method and apparatus for protecting trace data of a remote debug sessionINTEL CORP·Filed 2020·Granted Jan 3, 2023·5 cites·18 claims
- 0589US9288123B1Method and system for temporal correlation of social signalsDACHIS GROUP·Filed 2012·Granted Mar 15, 2016·41 cites·19 claims
- 0686US7409524B2System and method for responding to TLB missesHEWLETT PACKARD DEVELOPMENT CO·Filed 2005·Granted Aug 5, 2008·16 cites·20 claims
- 0786US7237144B2Off-chip lockstep checkingHEWLETT PACKARD DEVELOPMENT CO·Filed 2004·Granted Jun 26, 2007·43 cites·33 claims
- 0885US10725848B2Supporting hang detection and data recovery in microprocessor systemsINTEL CORP·Filed 2018·Granted Jul 28, 2020·5 cites·20 claims
- 0984US8479029B2Methods and apparatuses for reducing step loads of processorsSAFFORD KEVIN·Filed 2011·Granted Jul 2, 2013·12 cites·15 claims
- 1083US7290169B2Core-level processor locksteppingHEWLETT PACKARD DEVELOPMENT CO·Filed 2004·Granted Oct 30, 2007·39 cites·34 claims
- 1183US7003691B2Method and apparatus for seeding differences in lock-stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Feb 21, 2006·32 cites·13 claims
- 1282US9641556B1Apparatus and method for identifying constituents in a social networkSPRINKLR INC·Filed 2012·Granted May 2, 2017·12 cites·18 claims
- 1380US6820190B1Method and computer system for decomposing macroinstructions into microinstructions and forcing the parallel issue of at least two microinstructionsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Nov 16, 2004·29 cites·4 claims
- 1479US10846439B2Functional safety over trace-and-debugINTEL CORP·Filed 2019·Granted Nov 24, 2020·2 cites·25 claims
- 1579US6609247B1Method and apparatus for re-creating the trace of an emulated instruction set when executed on hardware native to a different instruction set fieldHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Aug 19, 2003·35 cites·19 claims
- 1678US7155721B2Method and apparatus for communicating information between lock stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Dec 26, 2006·23 cites·19 claims
- 1776US7296181B2Lockstep error signalingHEWLETT PACKARD DEVELOPMENT CO·Filed 2004·Granted Nov 13, 2007·22 cites·48 claims
- 1876US6625759B1Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unitHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Sep 23, 2003·22 cites·18 claims
- 1975US7343479B2Method and apparatus for implementing two architectures in a chipHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Mar 11, 2008·18 cites·13 claims
- 2073US7287185B2Architectural support for selective use of high-reliability mode in a computer systemHEWLETT PACKARD DEVELOPMENT CO·Filed 2004·Granted Oct 23, 2007·18 cites·15 claims
- 2173US7139936B2Method and apparatus for verifying the correctness of a processor behavioral modelHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Nov 21, 2006·16 cites·18 claims
- 2273US7100097B2Detection of bit errors in maskable content addressable memoriesINTEL CORP·Filed 2002·Granted Aug 29, 2006·19 cites·20 claims
- 2372US12034649B2Routing traffics having primary and secondary destinations in communication networksINTEL CORP·Filed 2020·Granted Jul 9, 2024·1 cites·22 claims
- 2472US6883150B2Automatic manufacturing test case generation method and systemHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Apr 19, 2005·19 cites·20 claims
- 2572US6643800B1Method and apparatus for testing microarchitectural features by using tests written in microcodeHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Nov 4, 2003·18 cites·6 claims
- 2670US7725899B2Method and apparatus for communicating information between lock stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2006·Granted May 25, 2010·4 cites·17 claims
- 2770US7398419B2Method and apparatus for seeding differences in lock-stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2005·Granted Jul 8, 2008·4 cites·15 claims
- 2867US6745322B1Apparatus and method for conditionally flushing a pipeline upon a failure of a test conditionHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Jun 1, 2004·12 cites·18 claims
- 2965US6618801B1Method and apparatus for implementing two architectures in a chip using bundles that contain microinstructions and template informationHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Sep 9, 2003·10 cites·20 claims
- 3065US2024356868A1Routing traffics having primary and secondary destinations in communication networksINTEL CORP·Filed 2024·Application pending·0 cites
- 3164US8886979B2Methods and apparatuses for reducing step loads of processorsINTEL CORP·Filed 2013·Granted Nov 11, 2014·1 cites·18 claims
- 3264US6542862B1Determining register dependency in multiple architecture systemsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Apr 1, 2003·10 cites·19 claims
- 3360US6789186B1Method and apparatus to reduce penalty of microcode lookupHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Sep 7, 2004·8 cites·19 claims
- 3459US6807625B1Method and apparatus for efficiently generating, storing, and consuming arithmetic flags between producing and consuming macroinstructions when emulating with microinstructionsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Oct 19, 2004·7 cites·21 claims
- 3557US7774658B2Method and apparatus to search for errors in a translation look-aside bufferHEWLETT PACKARD DEVELOPMENT CO·Filed 2007·Granted Aug 10, 2010·1 cites·19 claims
- 3652US6681322B1Method and apparatus for emulating an instruction set extension in a digital computer systemHEWLETT PACKARD DEVELOPMENT CO·Filed 1999·Granted Jan 20, 2004·24 cites·18 claims
- 3752US2025307059A1Apparatus and method for on-die debug for multi-die processorsINTEL CORP·Filed 2024·Application pending·0 cites
- 3849US2023095914A1Test and debug support with hbi chiplet architectureINTEL CORP·Filed 2021·Application pending·0 cites
- 3947US9483374B2PSMI using at-speed scan captureETHIRAJ VINOTHKUMAR V·Filed 2011·Granted Nov 1, 2016·1 cites·23 claims
- 4046US2004068641A1Method and apparatus for exchanging the contents of registersFiled 2003·Application pending·0 cites
- 4144US2005108509A1Error detection method and system for processors that employs lockstepped concurrent threadsFiled 2003·Application pending·0 cites
- 4244US2005138478A1Error detection method and system for processors that employ alternating threadsFiled 2003·Application pending·0 cites
- 4344US2006036424A1Method and apparatus for verifying resources shared by multiple processorsPETSINGER JEREMY P·Filed 2004·Application pending·0 cites
- 4443US2005114735A1Systems and methods for verifying core determinacyFiled 2003·Application pending·0 cites
- 4543US2005120278A1Systems and methods for verifying lockstep operationFiled 2003·Application pending·0 cites
- 4642US2004064267A1Method and apparatus for testing microarchitectural features by using tests written in microcodeFiled 2003·Application pending·0 cites
- 4741US2004078650A1Method and apparatus for testing errors in microprocessorsFiled 2002·Application pending·0 cites
- 4839US2004034820A1Apparatus and method for pseudorandom rare event injection to improve verification qualityFiled 2002·Application pending·0 cites
- 4932US2003102897A1Radiation resistant CMOS latchFiled 2001·Application pending·0 cites
- 5030US6668315B1Methods and apparatus for exchanging the contents of registersHEWLETT PACKARD DEVELOPMENT CO·Filed 1999·Granted Dec 23, 2003·1 cites·14 claims
Showing the top 50 of 51 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →