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.
@inproceedings{OkabayashiKHS92, title = {System Level Verification of Large Scale Computer}, author = {T. Okabayashi and K. Kubo and Z. Hirose and K. Suzuki}, year = {1992}, researchr = {https://researchr.org/publication/OkabayashiKHS92}, cites = {0}, citedby = {0}, pages = {149-152}, booktitle = {Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992}, publisher = {IEEE Computer Society}, isbn = {0-8186-3110-4}, }