Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara
Design and verification of large-scale computers by using DDL
DAC, 1979.
@inproceedings{DAC-1979-KawatoSMU,
acmid = "811740",
author = "Nobuaki Kawato and Takao Saito and Fumihiro Maruyama and Takao Uehara",
booktitle = "{Proceedings of the 16th Design Automation Conference}",
pages = "360--366",
publisher = "{ACM}",
title = "{Design and verification of large-scale computers by using DDL}",
year = 1979,
}