@techreport{weko_185177_1,
   author	 = "竹内,勇矢 and 豊永,昌彦 and 村岡,道明",
   title	 = "マルチコアを用いた高速並列論理シミュレーション手法",
   year 	 = "2015",
   institution	 = "高知大学大学院理学専攻情報科学分野, 高知大学大学院理学専攻情報科学分野, 高知大学大学院理学専攻情報科学分野",
   number	 = "10",
   month	 = "jan"
}