タイトル：New Redundancy Identification Method on Logic Optimization Using Implication Relation
著者: Hideyuki Ichihara, Kozo Kinoshita
雑誌名：Technology Reports of Osaka University
Volume: 48
Number: 2301-2318
ページ: 55-63
発行月: 4
発行年: 1998
タイプ: techreport
アブストラクト: NULL
