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. 279-285 1995 DAC http://doi.acm.org/10.1145/217474.217542 db/conf/dac/dac95.html#AharonGLLMMMS95