Yoav Katz  Yoav Katz photo       

contact information

Software Architect - IBM Debating Technologies
Haifa Research Lab, Haifa, Israel

links



2009

Throughput maximization of real-time scheduling with batching
Amotz Bar-Noy, Sudipto Guha, Yoav Katz, Joseph Seffi Naor, Baruch Schieber, Hadas Shachnai
ACM Transactions on Algorithms (TALG) 5(2), 18, ACM, 2009


2007

Intelligent interleaving of scenarios: a novel approach to system level test generation
Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov
Design Automation Conference, pp. 891--895, 2007


2006


Constraint-Based Random Stimuli Generation for Hardware Verification
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
National Conference on Artificial Intelligence, pp. 13--30, 2006


2005

Reuse in system-level stimuli-generation
Yoav Katz, Itai Jaeger, Roy Emek, Yossi Lichtenstein, Anita Devadason, Audrey Romonosky
IEEE International High-Level Design Validation and Test Workshop, pp. 105--111, 2005

Path-Based System Level Stimuli Generation
Shady Copty, Itai Jaeger, Yoav Katz
Haifa Verification Conference, pp. 1--13, Springer, 2005


2004

Quality Improvement Methods for System-Level Stimuli Generation
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
International Conference on Computer Design, pp. 204--206, 2004


2003



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
IEEE International High-Level Design Validation and Test Workshop, pp. 145--150, 2002




Projects and Groups