![]() | ![]() |
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] |