Inventor · disambiguated record
Michal Rimon
Also filed as: RIMON MICHAL
12 granted patents·1 pending application·54 citations·filing 2002–2023
87Inventor score
Top patents by PatentIndex Score
13 records- 0186US8589892B2Verification of speculative executionFOURNIER LAURENT·Filed 2010·Granted Nov 19, 2013·16 cites·20 claims
- 0278US8683282B2Automatic identification of information useful for generation-based functional verificationKATZ YOAV AVRAHAM·Filed 2011·Granted Mar 25, 2014·5 cites·23 claims
- 0374US7133816B2Test quality through resource reallocationIBM·Filed 2002·Granted Nov 7, 2006·25 cites·40 claims
- 0469US9208451B2Automatic identification of information useful for generation-based functional verificationGLOBALFOUNDRIES US 2 LLC·Filed 2014·Granted Dec 8, 2015·4 cites·15 claims
- 0563US8930759B2Stream generationKATZ YOAV·Filed 2012·Granted Jan 6, 2015·2 cites·20 claims
- 0661US8938646B2Mutations on input for test generationIBM·Filed 2012·Granted Jan 20, 2015·1 cites·15 claims
- 0759US12481577B2Instruction stream retrograding to enhance random test generationIBM·Filed 2023·Granted Nov 25, 2025·0 cites·20 claims
- 0858US8826075B2Solving constraint satisfaction problems having loosely interconnected sub-problemsKATZ YOAV·Filed 2012·Granted Sep 2, 2014·1 cites·20 claims
- 0955US12147329B2Uniform process for generating multiple outputs with common section in pseudo-random software systemIBM·Filed 2022·Granted Nov 19, 2024·0 cites·20 claims
- 1054US11188304B1Validating microprocessor performanceIBM·Filed 2020·Granted Nov 30, 2021·0 cites·20 claims
- 1150US9734033B2Implementing processor functional verification by generating and running constrained random irritator tests for multiple processor system and processor core with multiple threadsIBM·Filed 2014·Granted Aug 15, 2017·0 cites·11 claims
- 1245US9720793B2Implementing processor functional verification by generating and running constrained random irritator tests for multiple processor system and processor core with multiple threadsIBM·Filed 2015·Granted Aug 1, 2017·0 cites·13 claims
- 1328US2011320784A1Verification of processor architectures allowing for self modifying codeALMOG ELI·Filed 2010·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →