System-level design verification in the AT&T Computer Division: tools.

Miron Abramovici, James J. Kulikowski, David T. Miller, Prem R. Menon

Browse the full ICCD paper archive.