Itai Jaeger

11 papers A* 3C 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2007 A* conf
A Framework for the Validation of Processor Architecture Compliance.
DAC
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled
2007 J jnl
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag.
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2007 A* conf
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.
DAC
Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov
2006 — conf
Addressing Test Generation Challenges for Configurable Processor Verification.
HLDVT
Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani
2006 A* conf
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2006 J jnl
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers
Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv
2005 — conf
Harnessing machine learning to improve the success rate of stimuli generation.
HLDVT
Shai Fine, Ari Freund, Itai Jaeger, Yehuda Naveh, Avi Ziv, Yishay Mansour
2005 — conf
Path-Based System Level Stimuli Generation.
Haifa Verification Conference
Shady Copty, Itai Jaeger, Yoav Katz
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
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