@techreport{weko_28242_1,
   author	 = "岡部,哲也 and 桜田,典世 and 小栗,澄男 and 吉田,宣郎 and 数馬,好和",
   title	 = "タイミング検証機能を強化した論理シミュレー夕の開発",
   year 	 = "1990",
   institution	 = "三菱電機（株）, 三菱電機（株）, 三菱電機（株）, 三菱電機（株）, 三菱電機（株）",
   number	 = "81(1990-SLDM-054)",
   month	 = "oct"
}