Solutions to IBM POWER8 verification challenges
- Klaus-Dieter Schubert
- John M. Ludden
- et al.
- 2015
- IBM J. Res. Dev
Publications
11 results for M. Rimon
Generating instruction streams using abstract CSP
- Yoav Katz
- Michal Rimon
- et al.
- 2012
- DATE 2012
Learning microarchitectural behaviors to improve stimuli generation quality
- Yoav Katz
- Michal Rimon
- et al.
- 2011
- DAC 2011
Ontology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
Constraint-based random stimuli generation for hardware verification
- Yehuda Naveh
- Michal Rimon
- et al.
- 2007
- AI Magazine
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
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
Genesys-Pro: Innovations in test program generation for functional processor verification
- Allon Adir
- Eli Almog
- et al.
- 2004
- IEEE Design and Test of Computers