 | 2006 |
|---|
| 5 |       | Yehuda Naveh,
Michal Rimon,
Itai Jaeger,
Yoav Katz,
Michael Vinov,
Eitan Marcus,
Gil Shurek:
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI 2006 |
| 4 |  | Hezi Azatchi,
Laurent Fournier,
Eitan Marcus,
Shmuel Ur,
Avi Ziv,
Keren Zohar:
Advanced Analysis Techniques for Cross-Product Coverage.
IEEE Trans. Computers 55(11): 1367-1379 (2006) |
| 2004 |
|---|
| 3 | | Sigal Asaf,
Eitan Marcus,
Avi Ziv:
Defining coverage views to improve functional coverage analysis.
DAC 2004: 41-44 |
| 2 | | Allon Adir,
Eli Almog,
Laurent Fournier,
Eitan Marcus,
Michal Rimon,
Michael Vinov,
Avi Ziv:
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Design & Test of Computers 21(2): 84-93 (2004) |
| 2002 |
|---|
| 1 | | Oded Lachish,
Eitan Marcus,
Shmuel Ur,
Avi Ziv:
Hole analysis for functional coverage data.
DAC 2002: 807-812 |
