| |
| 1999 | ||
|---|---|---|
| 2 | EE | Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret: A Methodology for the Verification of a ``System on Chip''. DAC 1999: 574-579 |
| 1996 | ||
| 1 | Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158 | |
| 1 | Tamarah Arons | [2] |
| 2 | Steve Barret | [2] |
| 3 | Giora Biran | [2] |
| 4 | Daniel Geist | [1] [2] |
| 5 | Karen Holtz | [2] |
| 6 | Dave King | [2] |
| 7 | Avner Landver | [1] |
| 8 | Yossi Lichtenstein | [1] |
| 9 | Andy Long | [2] |
| 10 | Yvgeny Nustov | [2] |
| 11 | Michael Slavkin | [2] |
| 12 | Shmuel Ur | [1] |
| 13 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |