@techreport{weko_178858_1, author = "井上,恵介", title = "ロールバック機構を有するRTレベル回路の高位設計条件と最適化について", year = "2017", institution = "金沢工業高等専門学校グローバル情報学科", number = "16", month = "may" }