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)

Model Based Test Generation for Processor Verification. - Yossi Lichtenstein; Yossi Malka; Aharon Aharon (IAAI, 1994)

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 (DAC, 1995)