Learning microarchitectural behaviors to improve stimuli generation quality
- Yoav Katz
- Michal Rimon
- et al.
- 2011
- DAC 2011
Publications
Date
Featured collections
Popular topics
11 results for M. Rimon
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