@techreport{weko_28452_1, author = "高木,茂", title = "論理合成環境", year = "1985", institution = "日本電信電話株式会社 武蔵野電気通信研究所", number = "32(1985-SLDM-028)", month = "sep" }