Roy Emek

According to our database, Roy Emek authored at least 11 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Scheduling-based test-case generation for verification of multimedia SoCs.

Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen

Proceedings of the 43rd Design Automation Conference, 2006

2005

Reuse in system-level stimuli-generation.

Yoav Katz, Itai Jaeger, Roy Emek, Yossi Lichtenstein, Anita Devadason, Audrey Romonosky

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Random Stimuli Generation for Functional Hardware Verification as a CP Application.

Yehuda Naveh, Roy Emek

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Quality Improvement Methods for System-Level Stimuli Generation.

Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.

Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Scheduling of transactions for system-level test-case generation.

Roy Emek, Yehuda Naveh

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

Using a constraint satisfaction formulation and solution techniques for random test program generation.

Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv

IBM Syst. J., 2002

X-Gen: a random test-case generator for systems and SoCs.

Roy Emek, Itai Jaeger, Yehuda Naveh, Gadi Bergman, Guy Aloni, Yoav Katz, Monica Farkash, Igor Dozoretz, Alex Goldin

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Adaptive test program generation: planning for the unplanned.

Allon Adir, Roy Emek, Eitan Marcus

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Generating Random Solutions for Constraint Satisfaction Problems.

Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2000

Framework for Multicast in Hierarchical Networks.

Reuven Cohen, Eyal Felstaine, Roy Emek

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000