WEKO3
-
RootNode
アイテム
不良組合せ回路の単一修正方法
https://ipsj.ixsq.nii.ac.jp/records/28069
https://ipsj.ixsq.nii.ac.jp/records/280692295426b-9bb8-40cc-a59f-3015d9fe7c03
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1993 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1993-01-21 | |||||||
タイトル | ||||||||
タイトル | 不良組合せ回路の単一修正方法 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Single Rectification Method of An Erroneous Combinational Circuit | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
(株)日立製作所 中央研究所 | ||||||||
著者所属 | ||||||||
(株)日立製作所 中央研究所 | ||||||||
著者所属 | ||||||||
(株)日立製作所 中央研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Central Research Laboratory, Hitachi Ltd. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Central Research Laboratory, Hitachi Ltd. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Central Research Laboratory, Hitachi Ltd. | ||||||||
著者名 |
伊藤, 雅樹
高嶺, 美夫
清水, 嗣雄
× 伊藤, 雅樹 高嶺, 美夫 清水, 嗣雄
|
|||||||
著者名(英) |
Masaki, Ito
Yoshio, Takamine
Tsuguo, Shimizu
× Masaki, Ito Yoshio, Takamine Tsuguo, Shimizu
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 不良を含む組合せ回路を自動修正する方法を提案する。本稿では、一箇所のみを修正することにより正しい回路が得られる場合を対象とする。処理は、修正位置の決定、修正条件の計算、修正の実施、修正の確認の四段階からなる。修正位置の決定では、論理関数を変更することにより正しい回路が得られるような内部信号線を修正位置と決める。修正条件の計算では、修正位置の信号線が満たすべき条件を計算する。修正の実施では、修正位置の論理関数が変わるように回路を変更し、修正の確認では、回路変更後の論理関数が修正条件を満たしているか否かを判定する。全ての処理を論理関数処理により行うため、二分決定グラフを用いて効率的に実現できる。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | This paper presents a new method to rectify an erroneous combinational circuit. It finds a line to be modified such that a correct circuit can be optained by replacing the logic function of the line and gets a necessary and sufficient condition for it to get a correct circuit. Then, the circuit is modified to meet the condition. This method can be applied in the case that a correct circuit can be obtained by modifying only one place in the erroneous circuit. Since this method utilizes only logic operations on logic functions, it can be implemented using binary decision diagram. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11451459 | |||||||
書誌情報 |
情報処理学会研究報告システムLSI設計技術(SLDM) 巻 1993, 号 6(1992-SLDM-065), p. 9-16, 発行日 1993-01-21 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |