組合せ回路の冗長除去における含意関係の不変性について

• Material Type: 文書・図像類
• Title: 組合せ回路の冗長除去における含意関係の不変性について
• Author/Editor: 梶原, 誠司; 市原, 英行; 樹下, 行三; KAJIHARA, Seiji; ICHIHARA, Hideyuki; KINOSHITA, Kozo
• Author Heading: 梶原, 誠司; 市原, 英行; 樹下, 行三; KAJIHARA, Seiji; ICHIHARA, Hideyuki; KINOSHITA, Kozo
• Publication, Distribution, etc.: 情報処理学会
• Publication Date: 1995-10-19
• Publication Date (W3CDTF): 1995-10-19
• Alternative Title: On Invariant Implication Relations in Redundancy Removal for Combinational Circuits
• Periodical title: 情報処理学会研究報告. 設計自動化研究会報告
• No. or year of volume/issue: 95 99
• Volume: 95
• Issue: 99
• Pages: 105-111
• ISSN (Periodical Title): ISSN : 09196072
• Text Language Code: jpn
• Target Audience: 一般
• Note (General): application/pdf
• Access Restrictions: 限定公開
• Rights (production): 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。; 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から複製したものである。
• Related Material: 情報処理学会; http://www.ipsj.or.jp/
• Periodical Title (NCID): AN1011091X; https://ci.nii.ac.jp/ncid/AN1011091X
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 広島市立大学 : 広島市立大学学術リポジトリ

• Summary, etc.: SOCRATES に基づくテスト生成アルゴリズムを用いた組合せ回路の冗長除去では,一つの冗長故障を取り除くごとに回路内の含意関係が変化することがあるため,静的学習をやり直すことが求められている.本論文では,冗長除去による回路変換における,静的学習で得られる含意関係の不変性について考察する.次に,静的...