 | 2007 |
|---|
| 7 |       | Shady Copty,
Itai Jaeger,
Yoav Katz,
Michael Vinov:
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.
DAC 2007: 891-895 |
| 6 | | Allon Adir,
Sigal Asaf,
Laurent Fournier,
Itai Jaeger,
Ofer Peled:
A Framework for the Validation of Processor Architecture Compliance.
DAC 2007: 902-905 |
| 5 | | Yehuda Naveh,
Michal Rimon,
Itai Jaeger,
Yoav Katz,
Michael Vinov,
Eitan s Marcu,
Gil Shurek:
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Magazine 28(3): 13-30 (2007) |
| 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: 1720-1727 |
| 3 | | 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 | | Shady Copty,
Itai Jaeger,
Yoav Katz:
Path-Based System Level Stimuli Generation.
Haifa Verification Conference 2005: 1-13 |
| 2004 |
|---|
| 1 | | Roy Emek,
Itai Jaeger,
Yoav Katz,
Yehuda Naveh:
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD 2004: 204-206 |
Data released under the ODC-BY 1.0 license — See also our legal information page