@techreport{weko_28167_1, author = "手嶋,茂晴 and 佐野,範佳", title = "宣言的仕様記述からの制御回路の自動合成", year = "1991", institution = "(株)豊田中央研究所 LSI設計・評価研究室, (株)豊田中央研究所 LSI設計・評価研究室", number = "110(1991-SLDM-060)", month = "dec" }