@techreport{weko_99312_1,
   author	 = "松本,剛史 and 城,怜史 and 藤田,昌宏",
   title	 = "プログラム可能データパスとSMTソルバーを利用した高位設計デバッグ手法",
   year 	 = "2014",
   institution	 = "東京大学大規模集積システム設計教育研究センター, 東京大学工学系研究科電気系工学専攻, 東京大学大規模集積システム設計教育研究センター",
   number	 = "18",
   month	 = "mar"
}