Aharon Aharon

Dynamic method for generating pseudo-random test patterns for testing the function of Hardware Designs

Aharon Aharon, Ayal Bar-David, Emanuel Gofman, 1991 .

Test Program Generation for Functional Verification of PowePC Processors in IBM

Aharon Aharon, Gil Shurek, Yossi Lichtenstein, 1995, 32nd Design Automation Conference.

Method for Measuring Architectural Test Coverage for Design Verification

Aharon Aharon, Yossi Lichtenstein, Laurent Fournier, 1998 .

Model Based Test Generation for Processor Verification

Aharon Aharon, Yossi Lichtenstein, Yossi Malka, 1994, IAAI.

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

Aharon Aharon, Ayal Bar-David, Emanuel Gofman, 1991, IBM Syst. J..