Test program generation for functional verification of PowerPC processors in IBMAharon AharonDave Goodmanet al.1995DAC 1995