System-level design verification in the AT&T computer division: overview and strategy. - Miron Abramovici; J. W. Bierbauer; R. H. Hellman; C. L. Hong; David T. Miller; R. G. Taylor (ICCD, 1989)