Michal Rimon

Publication Activity (10 Years)

Years Active: 1992-2015
Publications (10 Years): 0

Top Topics

Arc Consistency

Transactional Data

Computational Issues

Top Venues

IBM J. Res. Dev.

Haifa Verification Conference

Publications

Klaus-Dieter Schubert, John M. Ludden, S. Ayub, J. Behrend, B. Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, L. S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
Solutions to IBM POWER8 verification challenges. IBM J. Res. Dev. 59 (1) (2015)
Yoav Katz, Michal Rimon, Avi Ziv
Generating instruction streams using abstract CSP. DATE (2012)
Yoav Katz, Michal Rimon, Avi Ziv
A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs. Haifa Verification Conference (2012)
Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked
Learning microarchitectural behaviors to improve stimuli generation quality. DAC (2011)
John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir
Advances in Simultaneous Multithreading Testcase Generation Methods. Haifa Verification Conference (2010)
Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
Ontology-Based Tools in the Service of Hardware Verification. SEKE (2010)
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
Constraint-Based Random Stimuli Generation for Hardware Verification. AI Mag. 28 (3) (2007)
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
Constraint-Based Random Stimuli Generation for Hardware Verification. AAAI (2006)
Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani
Addressing Test Generation Challenges for Configurable Processor Verification. HLDVT (2006)
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy
VLIW: a case study of parallelism verification. DAC (2005)
Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Des. Test Comput. 21 (2) (2004)
Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov
Industrial experience with test generation languages for processor verification. DAC (2004)
Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik
Improving test quality through resource reallocation. HLDVT (2001)
Richard M. Keller, Michal Rimon, Aseem Das
A knowledge-based prototyping environment for construction of scientific modeling software. Autom. Softw. Eng. 1 (1) (1994)
Richard M. Keller, Michal Rimon
A knowledge-based software development environment for scientific model-building. KBSE (1992)