1995年 Information Extraction from HDL Description Trans IPSJ 巻 36 号 12 開始ページ 2844 終了ページ 2852 エクスポート BibTeX RIS