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