Test program generation for functional verification of PowerPC processors in IBMAharon AharonDave Goodmanet al.1995DAC 1995
Model based test generation for processor verificationYossi LichtensteinYossi Malkaet al.1994IAAI 1994