Design Reliability - Estimation through Statistical Analysis of Bug Discovery DataYossi MalkaAvi Ziv1998DAC 1998
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