Functional VLSI Design Verification Methodology for the CM-5 Massively Parallel Supercomputer. - Margaret A. St. Pierre; Shaw-Wen Yang; Dan Cassiday (ICCD, 1992)