Michal Rimon

Person

Nofit, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Uniform process for generating multiple outputs with common section...
- Patent number 12,147,329
- Issue date Nov 19, 2024
- International Business Machines Corporation
- Michal Rimon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validating microprocessor performance
- Patent number 11,188,304
- Issue date Nov 30, 2021
- International Business Machines Corporation
- Gal Ashour
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing processor functional verification by generating and ru...
- Patent number 9,734,033
- Issue date Aug 15, 2017
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing processor functional verification by generating and ru...
- Patent number 9,720,793
- Issue date Aug 1, 2017
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic identification of information useful for generation-based...
- Patent number 9,208,451
- Issue date Dec 8, 2015
- GLOBALFOUNDRIES Inc.
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mutations on input for test generation
- Patent number 8,938,646
- Issue date Jan 20, 2015
- International Business Machines Corporation
- Laurent Fournier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stream generation
- Patent number 8,930,759
- Issue date Jan 6, 2015
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Solving constraint satisfaction problems having loosely interconnec...
- Patent number 8,826,075
- Issue date Sep 2, 2014
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic identification of information useful for generation-based...
- Patent number 8,683,282
- Issue date Mar 25, 2014
- International Business Machines Corporation
- Yoav Avraham Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of speculative execution
- Patent number 8,589,892
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Laurent Fournier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test quality through resource reallocation
- Patent number 7,133,816
- Issue date Nov 7, 2006
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
INSTRUCTION STREAM RETROGRADING TO ENHANCE RANDOM TEST GENERATION
- Publication number 20250061050
- Publication date Feb 20, 2025
- International Business Machines Corporation
- Bryan G. Hickerson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIFORM PROCESS FOR GENERATING MULTIPLE OUTPUTS WITH COMMON SECTION...
- Publication number 20240176729
- Publication date May 30, 2024
- International Business Machines Corporation
- Michal RIMON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...
- Publication number 20160162380
- Publication date Jun 9, 2016
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...
- Publication number 20160162381
- Publication date Jun 9, 2016
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC IDENTIFICATION OF INFORMATION USEFUL FOR GENERATION-BASED...
- Publication number 20140156572
- Publication date Jun 5, 2014
- International Business Machines Corporation
- YOAV KATZ
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mutations on input for test generation
- Publication number 20140115396
- Publication date Apr 24, 2014
- Laurent Fournier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Stream Generation
- Publication number 20130262932
- Publication date Oct 3, 2013
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOLVING CONSTRAINT SATISFACTION PROBLEMS HAVING LOOSELY INTERCONNEC...
- Publication number 20130219215
- Publication date Aug 22, 2013
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC IDENTIFICATION OF INFORMATION USEFUL FOR GENERATION-BASED...
- Publication number 20120226952
- Publication date Sep 6, 2012
- International Business Machines Corporation
- Yoav Avraham Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF SPECULATIVE EXECUTION
- Publication number 20120131386
- Publication date May 24, 2012
- International Business Machines Corporation
- Lurent Fournier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF PROCESSOR ARCHITECTURES ALLOWING FOR SELF MODIFYING...
- Publication number 20110320784
- Publication date Dec 29, 2011
- International Business Machines Corporation
- Eli Almog
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Test quality through resource reallocation
- Publication number 20040088600
- Publication date May 6, 2004
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING

Michal Rimon

Person

Patents Grantslast 30 patents

Uniform process for generating multiple outputs with common section...

Validating microprocessor performance

Implementing processor functional verification by generating and ru...

Implementing processor functional verification by generating and ru...

Automatic identification of information useful for generation-based...

Mutations on input for test generation

Stream generation

Solving constraint satisfaction problems having loosely interconnec...

Automatic identification of information useful for generation-based...

Verification of speculative execution

Test quality through resource reallocation

Patents Applicationslast 30 patents

INSTRUCTION STREAM RETROGRADING TO ENHANCE RANDOM TEST GENERATION

UNIFORM PROCESS FOR GENERATING MULTIPLE OUTPUTS WITH COMMON SECTION...

IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...

IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...

AUTOMATIC IDENTIFICATION OF INFORMATION USEFUL FOR GENERATION-BASED...

Mutations on input for test generation

Stream Generation

SOLVING CONSTRAINT SATISFACTION PROBLEMS HAVING LOOSELY INTERCONNEC...

AUTOMATIC IDENTIFICATION OF INFORMATION USEFUL FOR GENERATION-BASED...

VERIFICATION OF SPECULATIVE EXECUTION

VERIFICATION OF PROCESSOR ARCHITECTURES ALLOWING FOR SELF MODIFYING...

Test quality through resource reallocation