Michal Rimon

According to our database, Michal Rimon authored at least 14 papers between 1992 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Solutions to IBM POWER8 verification challenges.

Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop 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

IBM J. Res. Dev., 2015

2012

A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs.

Yoav Katz, Michal Rimon, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2012

Generating instruction streams using abstract CSP.

Yoav Katz, Michal Rimon, Avi Ziv

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Learning microarchitectural behaviors to improve stimuli generation quality.

Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked

Proceedings of the 48th Design Automation Conference, 2011

2010

Ontology-Based Tools in the Service of Hardware Verification.

Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Advances in Simultaneous Multithreading Testcase Generation Methods.

John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir

Proceedings of the Hardware and Software: Verification and Testing, 2010

2007

Constraint-Based Random Stimuli Generation for Hardware Verification.

Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek

AI Mag., 2007

2006

Addressing Test Generation Challenges for Configurable Processor Verification.

Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

VLIW: a case study of parallelism verification.

Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy

Proceedings of the 42nd Design Automation Conference, 2005

2004

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.

Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv

IEEE Des. Test Comput., 2004

Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Proceedings of the 41th Design Automation Conference, 2004

2001

Improving test quality through resource reallocation.

Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

1994

A knowledge-based prototyping environment for construction of scientific modeling software.

Richard M. Keller, Michal Rimon, Aseem Das

Autom. Softw. Eng., 1994

1992

A knowledge-based software development environment for scientific model-building.

Richard M. Keller, Michal Rimon

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992