@techreport{weko_27984_1,
   author	 = "中田,恒夫 and 古渡,聡 and 岩下,洋哲 and 広瀬,文保",
   title	 = "論理シミュレーションをベースとしたプロセサ制御の効率的検証手法",
   year 	 = "1994",
   institution	 = "富士通研究所CAD研究部, 富士通研究所CAD研究部, 富士通研究所CAD研究部, 富士通研究所CAD研究部",
   number	 = "93(1994-SLDM-072)",
   month	 = "oct"
}