@techreport{weko_28269_1,
   author	 = "高橋,隆一",
   title	 = "ブール式を要求駆動で評価するRTレベルシミュレーション",
   year 	 = "1990",
   institution	 = "日本電気（株）C＆Cシステム研究所",
   number	 = "14(1989-SLDM-051)",
   month	 = "feb"
}