| 講演抄録/キーワード |
| 講演名 |
2025-02-18 10:55
制御信号のドントケア割当てに基づく診断容易化設計のためのヒューリスティックアルゴリズム ○大塚裕衣・細川利典(日大)・山崎浩二(明大)・吉村正義(京都産大) DC2024-107 |
| 抄録 |
(和) |
VLSI の故障診断において,その診断分解能を向上させるために,レジスタ転送レベルにおける診断容易化設計手法が提案されている.レジスタ転送レベルにおいてコントローラがデータパスに供給する制御信号値にドントケアが含まれている場合,診断容易性のためにコントローラの各状態遷移における制御信号のドントケアに対して論理値を割当てる.しかしながら,ドントケア数が増大すると厳密解を求めることが困難である.したがって,各ハードウェア要素のテスト実行回数と識別可能故障ペア推定数への影響を考慮して,各状態遷移におけるX割当て候補数を絞り込み,そのX割当てを用いて識別可能故障ペア推定数を最大化させるヒューリスティックアルゴリズムを提案する. |
| (英) |
In order to improve diagnostic resolution on VLSI fault diagnosis, design-for-diagnosability methods at register transfer level have been proposed. When the control signal values supplied by a controller to a data-path contain don't cares (Xs), logical values are assigned to the don't cares of the control signals at each state transition of the controller for diagnosability. However, as the number of don't cares increases, it becomes difficult to obtain an exact solution for diagnosability. Therefore, taking into account the number of test executions for each hardware element and their impact on the estimated number of distinguishable fault pairs, we propose a heuristic algorithm. To increase the estimated number of distinguishable fault pairs as much as possible, the proposed algorithm narrows down the number of X-filling candidates at each state transition and selects X-fillings from the candidates. |
| キーワード |
(和) |
故障診断 / ドントケア割当て / レジスタ転送レベル / 擬似ブール最適化問題 / 診断容易化設計 / / / |
| (英) |
fault diagnosis / don’t care filling / register transfer level / pseudo Boolean optimization / design-for-diagnosability / / / |
| 文献情報 |
信学技報, vol. 124, no. 374, DC2024-107, pp. 7-12, 2025年2月. |
| 資料番号 |
DC2024-107 |
| 発行日 |
2025-02-11 (DC) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
DC2024-107 |
| 研究会情報 |
| 研究会 |
DC |
| 開催期間 |
2025-02-18 - 2025-02-18 |
| 開催地(和) |
機械振興会館 |
| 開催地(英) |
Kikai-Shinko-Kaikan Bldg. |
| テーマ(和) |
VLSI設計とテストおよび一般 |
| テーマ(英) |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
DC |
| 会議コード |
2025-02-DC |
| 本文の言語 |
日本語 |
| タイトル(和) |
制御信号のドントケア割当てに基づく診断容易化設計のためのヒューリスティックアルゴリズム |
| サブタイトル(和) |
|
| タイトル(英) |
A Heuristic Algorithm of Design for Diagnosability Based on Don't Care Filling of Control Signals |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
故障診断 / fault diagnosis |
| キーワード(2)(和/英) |
ドントケア割当て / don’t care filling |
| キーワード(3)(和/英) |
レジスタ転送レベル / register transfer level |
| キーワード(4)(和/英) |
擬似ブール最適化問題 / pseudo Boolean optimization |
| キーワード(5)(和/英) |
診断容易化設計 / design-for-diagnosability |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
大塚 裕衣 / Yui Otsuka / オオツカ ユイ |
| 第1著者 所属(和/英) |
日本大学 (略称: 日大)
Nihon University (略称: Nihon Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
細川 利典 / Toshinori Hosokawa / ホソカワ トシノリ |
| 第2著者 所属(和/英) |
日本大学 (略称: 日大)
Nihon University (略称: Nihon Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
山崎 浩二 / Kouji Yamazaki / ヤマザキ コウジ |
| 第3著者 所属(和/英) |
明治大学 (略称: 明大)
Meiji University (略称: Meiji Univ.) |
| 第4著者 氏名(和/英/ヨミ) |
吉村 正義 / Masayoshi Yoshimura / ヨシムラ マサヨシ |
| 第4著者 所属(和/英) |
京都産業大学 (略称: 京都産大)
Kyoto Sangyou University (略称: Kyoto Sangyou Univ.) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2025-02-18 10:55:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
DC |
| 資料番号 |
DC2024-107 |
| 巻番号(vol) |
vol.124 |
| 号番号(no) |
no.374 |
| ページ範囲 |
pp.7-12 |
| ページ数 |
6 |
| 発行日 |
2025-02-11 (DC) |