@techreport{weko_213255_1,
   author	 = "熊谷,僚太 and 増田,豊 and 石原,亨",
   title	 = "ファジングと高位合成を用いた近似コンピューティング回路のタイミング検証手法",
   year 	 = "2021",
   institution	 = "名古屋大学情報学部コンピュータ科学科, 名古屋大学大学院情報学研究科, 名古屋大学大学院情報学研究科",
   number	 = "8",
   month	 = "oct"
}