{"created":"2023-07-25T10:24:29.455312+00:00","id":1807,"links":{},"metadata":{"_buckets":{"deposit":"c1e800f0-4f15-4f4c-b2b7-66602164553e"},"_deposit":{"created_by":1,"id":"1807","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"1807"},"status":"published"},"_oai":{"id":"oai:hiroshima-cu.repo.nii.ac.jp:00001807","sets":["54:383:405"]},"author_link":["10431","10434","10435","10433","10432","10436"],"item_3_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1995-10-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"99","bibliographicPageEnd":"111","bibliographicPageStart":"105","bibliographicVolumeNumber":"95","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告. 設計自動化研究会報告"}]}]},"item_3_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_3_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"SOCRATES に基づくテスト生成アルゴリズムを用いた組合せ回路の冗長除去では,一つの冗長故障を取り除くごとに回路内の含意関係が変化することがあるため,静的学習をやり直すことが求められている.本論文では,冗長除去による回路変換における,静的学習で得られる含意関係の不変性について考察する.次に,静的学習をやり直す代わりに,回路変換前後で不変である含意関係を冗長判定に用いることで冗長除去を効率化する手法を提案する.静的学習のやり直す回数を削減することで,全体の処理時間は大幅に短縮する.ベンチマーク回路の組合せ回路的冗長を取り除く実験では,従来手法に比較して,最高60倍高速化できたことを示す.","subitem_description_type":"Abstract"},{"subitem_description":"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.","subitem_description_type":"Abstract"}]},"item_3_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会"}]},"item_3_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"情報処理学会"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ipsj.or.jp/","subitem_relation_type_select":"URI"}}]},"item_3_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"},{"subitem_rights":"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."},{"subitem_rights":"本文データは学協会の許諾に基づきCiNiiから複製したものである。"}]},"item_3_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN1011091X","subitem_source_identifier_type":"NCID"}]},"item_3_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"09196072","subitem_source_identifier_type":"ISSN"}]},"item_3_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"梶原, 誠司"},{"creatorName":"カジハラ, セイジ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"10431","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"市原, 英行"},{"creatorName":"イチハラ, ヒデユキ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"10432","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"樹下, 行三"},{"creatorName":"キノシタ, コウゾウ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"10433","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KAJIHARA, Seiji","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"10434","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"ICHIHARA, Hideyuki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"10435","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KINOSHITA, Kozo","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"10436","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-05-26"}],"displaytype":"detail","filename":"110002930583.pdf","filesize":[{"value":"609.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110002930583.pdf","url":"https://hiroshima-cu.repo.nii.ac.jp/record/1807/files/110002930583.pdf"},"version_id":"e90c5ba6-f6ad-4c77-baed-3396972d6250"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"冗長除去","subitem_subject_scheme":"Other"},{"subitem_subject":"テスト生成","subitem_subject_scheme":"Other"},{"subitem_subject":"論理合成","subitem_subject_scheme":"Other"},{"subitem_subject":"静的学習","subitem_subject_scheme":"Other"},{"subitem_subject":"組合せ回路","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"technical report","resourceuri":"http://purl.org/coar/resource_type/c_18gh"}]},"item_title":"組合せ回路の冗長除去における含意関係の不変性について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組合せ回路の冗長除去における含意関係の不変性について"},{"subitem_title":"On Invariant Implication Relations in Redundancy Removal for Combinational Circuits","subitem_title_language":"en"}]},"item_type_id":"3","owner":"1","path":["405"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-05-26"},"publish_date":"2023-05-26","publish_status":"0","recid":"1807","relation_version_is_last":true,"title":["組合せ回路の冗長除去における含意関係の不変性について"],"weko_creator_id":"1","weko_shared_id":1},"updated":"2023-07-25T10:32:37.944466+00:00"}