On Processing Order for Obtaining Implication Relations in Static Learning

• ICHIHARA, Hideyuki

• KAJIHARA, Seiji

• KINOSHITA, Kozo

• 市原, 英行

抄録

application/pdf

Static learning is a procedure to extract implication relations of a logic circuit. In this paper we point out that the number of the extracted implication relations by static learning depends on the order of signal lines processed. Also, we show four procedures for ordering signal lines processed and the effectiveness of the ordering procedures by experiments.

収録刊行物

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E83-D (10), 1908-1911, 2000-10-20

  電子情報通信学会(IEICE)

詳細情報

• CRID: 1050015111530150656
• NII論文ID: 110003210202
• NII書誌ID: AA10826272
• ISSN: 09168532
• Web Site: https://hiroshima-cu.repo.nii.ac.jp/records/1310
• 本文言語コード: en
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles