![]() |
| 1995 | ||
|---|---|---|
| 2 | EE | Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek: Test Program Generation for Functional Verification of PowerPC Processors in IBM. DAC 1995: 279-285 |
| 1991 | ||
| 1 | Aharon Aharon, Ayal Bar-David, Barry Dorfman, Emanuel Gofman, Moshe Leibowitz, Victor Schwartzburd: Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator. IBM Systems Journal 30(4): 527-538 (1991) | |
| 1 | Ayal Bar-David | [1] |
| 2 | Barry Dorfman | [1] |
| 3 | Emanuel Gofman | [1] |
| 4 | Dave Goodman | [2] |
| 5 | Moshe Leibowitz | [1] |
| 6 | Moshe Levinger | [2] |
| 7 | Yossi Lichtenstein | [2] |
| 8 | Yossi Malka | [2] |
| 9 | Charlotte Metzger | [2] |
| 10 | Moshe Molcho | [2] |
| 11 | Victor Schwartzburd | [1] |
| 12 | Gil Shurek | [2] |