@techreport{weko_24145_1,
   author	 = "高山,浩一郎 and 広瀬,文保 and 下郡慎太郎 and 庄司,稔 and 岩下,洋哲",
   title	 = "大規模論理装置に対する高速設計検証システム",
   year 	 = "1995",
   institution	 = "（株）富士通研究所, （株）富士通研究所, （株）富士通研究所, （株）富士通研究所, （株）富士通研究所",
   number	 = "6(1994-ARC-110)",
   month	 = "jan"
}