Scheduling-based test-case generation for verification of multimedia SoCs
- Amir Nahir
- Avi Ziv
- et al.
- 2006
- DAC 2006
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
Featured collections
Popular topics
8 results for Roy Emek
Reuse in system-level stimuli-generation
- Yoav Katz
- Itai Jaeger
- et al.
- 2005
- HLDVT 2005
Quality improvement methods for system-level stimuli generation
- Roy Emek
- Itai Jaeger
- et al.
- 2004
- ICCD 2004
Scheduling of transactions for system-level test-case generation
- R. Emek
- Y. Naveh
- 2003
- HLDVT 2003
DeepTrans - A model-based approach to functional verification of address translation mechanisms
- A. Adir
- R. Emek
- et al.
- 2003
- MTV 2003
Generating random solutions for constraint satisfaction problems
- Rina Dechter
- Kalev Kask
- et al.
- 2002
- AAAI/IAAI 2002
Adaptive test program generation: Planning for the unplanned
- A. Adir
- R. Emek
- et al.
- 2002
- HLDVT 2002
Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal