System Level Verification of Large Scale Computer

T. Okabayashi, K. Kubo, Z. Hirose, K. Suzuki. System Level Verification of Large Scale Computer. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992. pages 149-152, IEEE Computer Society, 1992.

Abstract

Abstract is missing.