System Level Verification of Large Scale Computer. - T. Okabayashi; K. Kubo; Z. Hirose; K. Suzuki (ICCD, 1992)