@techreport{weko_28390_1,
   author	 = "池内,敦彦 and 高島,誠 and 田中,利一 and 小島,昌一 and 斎藤,玉樹 and 坂田,純一",
   title	 = "回路比較照合システム　－ルールベースを利用した擬似エラーのチェック－",
   year 	 = "1987",
   institution	 = "（株）東芝　集積回路事業部, （株）東芝　集積回路事業部, （株）東芝　システム・ソフトウェア技術研究所, （株）東芝　システム・ソフトウェア技術研究所, （株）東芝マイコンエンジニアリング, （株）東芝マイコンエンジニアリング",
   number	 = "74(1987-SLDM-039)",
   month	 = "oct"
}