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. In DAC. pages 279-285, 1995. [doi]
Abstract is missing.