2007 |
6 | EE | Shady Copty,
Itai Jaeger,
Yoav Katz,
Michael Vinov:
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.
DAC 2007: 891-895 |
5 | EE | Allon Adir,
Sigal Asaf,
Laurent Fournier,
Itai Jaeger,
Ofer Peled:
A Framework for the Validation of Processor Architecture Compliance.
DAC 2007: 902-905 |
2006 |
4 | | Yehuda Naveh,
Michal Rimon,
Itai Jaeger,
Yoav Katz,
Michael Vinov,
Eitan Marcus,
Gil Shurek:
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI 2006 |
3 | EE | Shai Fine,
Ari Freund,
Itai Jaeger,
Yishay Mansour,
Yehuda Naveh,
Avi Ziv:
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers 55(11): 1344-1355 (2006) |
2005 |
2 | EE | Shady Copty,
Itai Jaeger,
Yoav Katz:
Path-Based System Level Stimuli Generation.
Haifa Verification Conference 2005: 1-13 |
2004 |
1 | EE | Roy Emek,
Itai Jaeger,
Yoav Katz,
Yehuda Naveh:
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD 2004: 204-206 |