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 (HLDVT, 2002)

Quality Improvement Methods for System-Level Stimuli Generation. - Roy Emek; Itai Jaeger; Yoav Katz; Yehuda Naveh (ICCD, 2004)

Reuse in system-level stimuli-generation. - Yoav Katz; Itai Jaeger; Roy Emek; Yossi Lichtenstein; Anita Devadason; Audrey Romonosky (HLDVT, 2005)

Path-Based System Level Stimuli Generation. - Shady Copty; Itai Jaeger; Yoav Katz (Haifa Verification Conference, 2005)

Addressing Test Generation Challenges for Configurable Processor Verification. - Michal Rimon; Yossi Lichtenstein; Allon Adir; Itai Jaeger; Michael Vinov; S. Johnson; D. Jani (HLDVT, 2006)

Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation. - Shai Fine; Ari Freund 001; Itai Jaeger; Yishay Mansour; Yehuda Naveh; Avi Ziv (IEEE Trans. Computers, 2006)

A Framework for the Validation of Processor Architecture Compliance. - Allon Adir; Sigal Asaf; Laurent Fournier; Itai Jaeger; Ofer Peled (DAC, 2007)

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. - Shady Copty; Itai Jaeger; Yoav Katz; Michael Vinov (DAC, 2007)

Constraint-Based Random Stimuli Generation for Hardware Verification. - Yehuda Naveh; Michal Rimon; Itai Jaeger; Yoav Katz; Michael Vinov; Eitan Marcus; Gil Shurek (AI Mag., 2007)