Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara. Design and verification of large-scale computers by using DDL. In David W. Hightower, editor, Proceedings of the 16th Design Automation Conference, DAC '79, San Diego, California, USA, June 25-27, 1979. pages 360-366, ACM, 1979. [doi]
Abstract is missing.