WEKO3
アイテム
組合せ回路の冗長除去における含意関係の不変性について
https://hiroshima-cu.repo.nii.ac.jp/records/1807
https://hiroshima-cu.repo.nii.ac.jp/records/18077c35f60e-2f41-4e45-9520-7fa31ec00b76
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110002930583.pdf (609.0 kB)
|
|
| Item type | テクニカルレポート / Technical Report_02(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2023-05-26 | |||||
| タイトル | ||||||
| タイトル | 組合せ回路の冗長除去における含意関係の不変性について | |||||
| タイトル | ||||||
| タイトル | On Invariant Implication Relations in Redundancy Removal for Combinational Circuits | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 冗長除去 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | テスト生成 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 論理合成 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 静的学習 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 組合せ回路 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||
| 資源タイプ | technical report | |||||
| 著者 |
梶原, 誠司
× 梶原, 誠司× 市原, 英行× 樹下, 行三× KAJIHARA, Seiji× ICHIHARA, Hideyuki× KINOSHITA, Kozo |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | SOCRATES に基づくテスト生成アルゴリズムを用いた組合せ回路の冗長除去では,一つの冗長故障を取り除くごとに回路内の含意関係が変化することがあるため,静的学習をやり直すことが求められている.本論文では,冗長除去による回路変換における,静的学習で得られる含意関係の不変性について考察する.次に,静的学習をやり直す代わりに,回路変換前後で不変である含意関係を冗長判定に用いることで冗長除去を効率化する手法を提案する.静的学習のやり直す回数を削減することで,全体の処理時間は大幅に短縮する.ベンチマーク回路の組合せ回路的冗長を取り除く実験では,従来手法に比較して,最高60倍高速化できたことを示す. | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | In redundancy removal for combinational circuits using SOCRATES based test generation, it was required to do over static learning again whenever a redundant fault is removed because implication relations of the original circuits may change. In this paper we discuss invariance of implication relations derived by static learning in modifying circuits by redundancy removal, then propose an efficient redundancy removal method in which invariant implication relations are used for redundancy identification in spite of doing over static learning. Experimental results for benchmark circuits show that the proposed method is up to 60 times faster than the previous method. | |||||
| 書誌情報 |
情報処理学会研究報告. 設計自動化研究会報告 巻 95, 号 99, p. 105-111, 発行日 1995-10-19 |
|||||
| 出版者 | ||||||
| 出版者 | 情報処理学会 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 09196072 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN1011091X | |||||
| 権利 | ||||||
| 権利情報 | 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 | |||||
| 権利 | ||||||
| 権利情報 | The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. | |||||
| 権利 | ||||||
| 権利情報 | 本文データは学協会の許諾に基づきCiNiiから複製したものである。 | |||||
| 関連サイト | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ipsj.or.jp/ | |||||
| 関連名称 | 情報処理学会 | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
