@techreport{weko_141656_1,
   author	 = "後藤,智哉 and 樋口,耕平 and 柳澤,政生 and 木村,晋二",
   title	 = "順序回路の時間展開に基づくクロックゲーティング制御信号抽出手法",
   year 	 = "2015",
   institution	 = "早稲田大学大学院基幹理工学研究科電子物理システム学専攻, 早稲田大学大学院基幹理工学研究科電子物理システム学専攻, 早稲田大学大学院基幹理工学研究科電子物理システム学専攻, 早稲田大学大学院情報生産システム研究科",
   number	 = "6",
   month	 = "may"
}