Concepedia

Michal Rimon

MR

8

Publications

449

Citations

8

H-Index

1994

Active since

Affiliations

IBM Research - Haifa(Current)

Ames Research Center

IBM (United States)

Michal Rimon is an author at IBM Research - Haifa specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringComputer EngineeringComputer ArchitectureVerificationFormal VerificationSoftware EngineeringSoftware Design

Publications per year

1994–2012

8

Publications

8

Genesys-pro: innovations in test program generation for functional processor verification

Allon Adir, Eli Almog, Laurent Sébastien Fournier et al. · IEEE Design & Test of Computers · 2004 · 178 citations

Engineering, Hardware Verification Language, Verification +20

Constraint-Based Random Stimuli Generation for Hardware Verification

Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations

Artificial Intelligence, Engineering, Hardware Verification Language +21

Industrial experience with test generation languages for processor verification

Michael Behm, J. M. Ludden, Yossi Lichtenstein et al. · 2004 · 52 citations

Engineering, Hardware Verification Language, Verification +20

Constraint-based random stimuli generation for hardware verification

Y. Naveh, Michal Rimon, Itai Jaeger et al. · 2006 · 50 citations

Artificial Intelligence, Engineering, Hardware Verification Language +19

Learning microarchitectural behaviors to improve stimuli generation quality

Yoav Katz, Michal Rimon, Avi Ziv et al. · 2011 · 34 citations

Engineering, Verification, Computer Architecture +27

Rows per page

1–5 of 8