Test program generation for functional verification of PowerPC processors in IBMAharon AharonDave Goodmanet al.1995DAC 1995
Productivity issues in high-level design: are tools solving the real problems?Reinaldo A. Bergamaschi1995DAC 1995