Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

11 results for M. Rimon

Learning microarchitectural behaviors to improve stimuli generation quality
- - Yoav Katz
  - Michal Rimon
  - et al.
- 2011
- DAC 2011
VLIW - A case study of parallelism verification
- - Allon Adir
  - Yaron Arbetman
  - et al.
- 2005
- DAC 2005
Industrial experience with test generation languages for processor verification
- - Michael Behm
  - John Ludden
  - et al.
- 2004
- DAC 2004
Generating instruction streams using abstract CSP
- - Yoav Katz
  - Michal Rimon
  - et al.
- 2012
- DATE 2012
Ontology-based tools in the service of hardware verification
- - Eyal Bin
  - Alaa Ghanayim
  - et al.
- 2010
- SEKE 2010
Addressing test generation challenges for configurable processor verification
- - M. Rimon
  - Yossi Lichtenstein
  - et al.
- 2006
- HLDVT 2006
Constraint-based random stimuli generation for hardware verification
- - Yehuda Naveli
  - Michal Rimon
  - et al.
- 2006
- AAAI/IAAI 2006
Improving test quality through resource reallocation
- - A. Adir
  - E. Marcus
  - et al.
- 2001
- HLDVT 2001
Solutions to IBM POWER8 verification challenges
- - Klaus-Dieter Schubert
  - John M. Ludden
  - et al.
- 2015
- IBM J. Res. Dev
Constraint-based random stimuli generation for hardware verification
- - Yehuda Naveh
  - Michal Rimon
  - et al.
- 2007
- AI Magazine