Design verification via simulation and automatic test pattern generation (1995)

by H Al-Asaad, J P Hayes
Venue:In Proc. Int. Conf. CAD