Aharon Aharon

According to our database, Aharon Aharon authored at least 3 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1995

Test Program Generation for Functional Verification of PowerPC Processors in IBM.

Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek

Proceedings of the 32st Conference on Design Automation, 1995

1994

Model Based Test Generation for Processor Verification.

Yossi Lichtenstein, Yossi Malka, Aharon Aharon

Proceedings of the Sixth Annual Conference on Innovative Applications of Artificial Intelligence, 1994

1991

Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator.

Aharon Aharon, Ayal Bar-David, Barry Dorfman, Emanuel Gofman, Moshe Leibowitz, Victor Schwartzburd

IBM Syst. J., 1991