@misc{weko_27510_1,
   author	 = "小林,憲次",
   title	 = "kVerifierとSystemC",
   month	 = "mar",
   year 	 = "2002"
}