Michal Rimon

Person

Michal Rimon is a researcher associated in the available sources with IBM's Haifa research laboratory and with work on knowledge-based systems, test program generation, planning, and constraint satisfaction for hardware verification.

First seen 5/23/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v2

WIKI

Overview

Michal Rimon is documented in the available evidence as a research staff member at the IBM Research Laboratory in Haifa. A 2004 author biography lists her research interests as knowledge-based systems, test program generation, planning, and constraint satisfaction. The same biography reports that she earned a BS in mathematics and computer science from Tel-Aviv University and an MS in information systems management from the Technion, Israel Institute of Technology.

Work in hardware-verification test generation

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification ← authored by 100% 1e

The paper is authored by Michal Rimon among others

Constraint-based Random Stimuli Generation for Hardware Verification ← authored by 100% 1e

Michal Rimon is listed as an author of the paper.

CITATIONS

8 sources

8 citations — click to expand

[1] Michal Rimon was identified in a 2004 author biography as a research staff member at the IBM Research Laboratory in Haifa. [PDF] Genesys-pro: innovations in test program generation for functional ...

[2] Rimon's research interests included knowledge-based systems, test program generation, planning, and constraint satisfaction. [PDF] Genesys-pro: innovations in test program generation for functional ...

[3] Rimon has a BS in mathematics and computer science from Tel-Aviv University and an MS in information systems management from the Technion, Israel Institute of Technology. [PDF] Genesys-pro: innovations in test program generation for functional ...

[4] Rimon was a coauthor of the 2004 article "Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification" from IBM Research Lab, Haifa. [PDF] Genesys-pro: innovations in test program generation for functional ...

[5] The Genesys-Pro article describes Genesys-Pro as a second-generation model-based test program generation tool with improvements including greater expressive power in the test-template language and more constraint-solving processing power. [PDF] Genesys-pro: innovations in test program generation for functional ...

[6] Rimon was a coauthor of the 2006 AAAI paper "Constraint-based Random Stimuli Generation for Hardware Verification" at IBM Haifa Research Lab. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[7] The 2006 AAAI paper reports on IBM random stimuli generation for hardware verification using AI technologies including knowledge representation, expert systems, and constraint satisfaction. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[8] The 2006 AAAI paper describes a system combining an ontology for hardware functionality and verification expertise, a special-purpose scenario language, and a CSP solver for constraint-based stimuli generation. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI