Roy Emek

11 papers A* 2A 1C 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2006 A* conf
Scheduling-based test-case generation for verification of multimedia SoCs.
DAC
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
2005 A conf
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
CP
Yehuda Naveh, Roy Emek
2005 — conf
Reuse in system-level stimuli-generation.
HLDVT
Yoav Katz, Itai Jaeger, Roy Emek, Yossi Lichtenstein, Anita Devadason, Audrey Romonosky
2004 C conf
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
2003 — conf
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
MTV
Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman
2003 — conf
Scheduling of transactions for system-level test-case generation.
HLDVT
Roy Emek, Yehuda Naveh
2002 — conf
Adaptive test program generation: planning for the unplanned.
HLDVT
Allon Adir, Roy Emek, Eitan Marcus
2002 — conf
Generating Random Solutions for Constraint Satisfaction Problems.
AAAI/IAAI
Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek
2002 J jnl
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Syst. J.
Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
2002 — conf
X-Gen: a random test-case generator for systems and SoCs.
HLDVT
Roy Emek, Itai Jaeger, Yehuda Naveh, Gadi Bergman, Guy Aloni, Yoav Katz, Monica Farkash, Igor Dozoretz, Alex Goldin
2000 A* conf
Framework for Multicast in Hierarchical Networks.
INFOCOM
Reuven Cohen, Eyal Felstaine, Roy Emek