| 2006 |
|---|
| 7 | EE | Amir Nahir,
Avi Ziv,
Roy Emek,
Tal Keidar,
Nir Ronen:
Scheduling-based test-case generation for verification of multimedia SoCs.
DAC 2006: 348-351 |
| 2005 |
|---|
| 6 | EE | Yehuda Naveh,
Roy Emek:
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
CP 2005: 882-882 |
| 2004 |
|---|
| 5 | EE | Roy Emek,
Itai Jaeger,
Yoav Katz,
Yehuda Naveh:
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD 2004: 204-206 |
| 2003 |
|---|
| 4 | EE | Allon Adir,
Roy Emek,
Yoav Katz,
Anatoly Koyfman:
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
MTV 2003: 3-6 |
| 2002 |
|---|
| 3 | | Rina Dechter,
Kalev Kask,
Eyal Bin,
Roy Emek:
Generating Random Solutions for Constraint Satisfaction Problems.
AAAI/IAAI 2002: 15-21 |
| 2 | EE | Eyal Bin,
Roy Emek,
Gil Shurek,
Avi Ziv:
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Systems Journal 41(3): 386-402 (2002) |
| 2000 |
|---|
| 1 | EE | Reuven Cohen,
Eyal Felstaine,
Roy Emek:
Framework for Multicast in Hierarchical Networks.
INFOCOM 2000: 1673-1682 |
