Aharon Aharon

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

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)
Yossi Lichtenstein, Yossi Malka, Aharon Aharon
Model Based Test Generation for Processor Verification. IAAI (1994)
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 Syst. J. 30 (4) (1991)