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

Browse the full ICCD paper archive.