Scheduling-based test-case generation for verification of multimedia SoCs
- Amir Nahir
- Avi Ziv
- et al.
- 2006
- DAC 2006
Conference paper
Publications
8 results for Roy Emek
Reuse in system-level stimuli-generation
- Yoav Katz
- Itai Jaeger
- et al.
- 2005
- HLDVT 2005
Conference paperQuality improvement methods for system-level stimuli generation
- Roy Emek
- Itai Jaeger
- et al.
- 2004
- ICCD 2004
Conference paperScheduling of transactions for system-level test-case generation
- R. Emek
- Y. Naveh
- 2003
- HLDVT 2003
Conference paperDeepTrans - A model-based approach to functional verification of address translation mechanisms
- A. Adir
- R. Emek
- et al.
- 2003
- MTV 2003
Conference paperGenerating random solutions for constraint satisfaction problems
- Rina Dechter
- Kalev Kask
- et al.
- 2002
- AAAI/IAAI 2002
Conference paperAdaptive test program generation: Planning for the unplanned
- A. Adir
- R. Emek
- et al.
- 2002
- HLDVT 2002
Conference paperUsing a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
Paper