Inventor · disambiguated record
Jeremy Petsinger
Also filed as: PETSINGER JEREMY · PETSINGER JEREMY P
7 granted patents·8 pending applications·102 citations·filing 2000–2024
86Inventor score
Technology areasG06F
Files withHEWLETT PACKARD DEVELOPMENT CO7BROWN ADAM C1INTEL CORP1PETSINGER JEREMY1PETSINGER JEREMY P1
Top patents by PatentIndex Score
15 records- 0183US7003691B2Method and apparatus for seeding differences in lock-stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Feb 21, 2006·32 cites·13 claims
- 0278US7155721B2Method and apparatus for communicating information between lock stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Dec 26, 2006·23 cites·19 claims
- 0376US6625759B1Method 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
- 0473US7139936B2Method and apparatus for verifying the correctness of a processor behavioral modelHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Nov 21, 2006·16 cites·18 claims
- 0570US7725899B2Method and apparatus for communicating information between lock stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2006·Granted May 25, 2010·4 cites·17 claims
- 0670US7398419B2Method and apparatus for seeding differences in lock-stepped processorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2005·Granted Jul 8, 2008·4 cites·15 claims
- 0758US2025068438A1Autonomous generation of network and device configurationsINTEL CORP·Filed 2024·Application pending·0 cites
- 0857US7774658B2Method 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
- 0944US2006036424A1Method and apparatus for verifying resources shared by multiple processorsPETSINGER JEREMY P·Filed 2004·Application pending·0 cites
- 1043US2005114735A1Systems and methods for verifying core determinacyFiled 2003·Application pending·0 cites
- 1143US2005120278A1Systems and methods for verifying lockstep operationFiled 2003·Application pending·0 cites
- 1242US2005261859A1Systems and methods for evaluating a test casePETSINGER JEREMY·Filed 2004·Application pending·0 cites
- 1342US2005262399A1Aggregating and prioritizing failure signatures by a parsing programBROWN ADAM C·Filed 2004·Application pending·0 cites
- 1441US2004078650A1Method and apparatus for testing errors in microprocessorsFiled 2002·Application pending·0 cites
- 1539US2004034820A1Apparatus and method for pseudorandom rare event injection to improve verification qualityFiled 2002·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Jeremy Petsinger files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →