Roy Emek

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

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