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

Rimon appears as a coauthor on IBM Research Lab, Haifa publications about functional processor verification and random test-program or stimuli generation. In the 2004 IEEE Design & Test of Computers article "Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification," she is listed among the IBM Research Lab, Haifa authors. The article describes Genesys-Pro as a second-generation model-based test program generation tool for functional processor verification, improving on Genesys with greater expressive power in the test-template language and more constraint-solving processing power.

Rimon is also listed as a coauthor of the 2006 AAAI paper "Constraint-based Random Stimuli Generation for Hardware Verification." That paper reports on IBM's use of artificial-intelligence techniques—including knowledge representation, expert systems, and constraint satisfaction—for random stimuli generation in hardware verification. It describes a system using an ontology to model hardware functionality and verification expertise, a special-purpose language for verification scenarios, and a CSP solver that translates models, expertise, and scenarios into constraints for stimuli generation.

Selected publications represented in the evidence

• "Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification" — Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, and Avi Ziv; IBM Research Lab, Haifa.
• "Constraint-based Random Stimuli Generation for Hardware Verification" — Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek; IBM Haifa Research Lab.

Evidence limitations

The provided evidence supports Rimon's IBM Haifa affiliation in the cited publication contexts, her stated research interests, education, and authorship on the listed hardware-verification publications. It does not provide independent biographical details such as birth date, nationality, later career history, or a complete publication record.