講演名 2004/11/25
入力ベクトルからの信号値を正当化する最小キューブ抽出(テスト設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
宮瀬 紘平, 永山 忍, 梶原 誠司, 温 暁青, レディ スダーカ,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) ある入力ベクトルによって組合せ回路内部の信号値が正当化されるとき,その内部信号値を正当化する外部入力値はキューブで表すことができる.本論文では,ある入力ベクトルから内部信号値を正当化する最小キューブ抽出手法を提案する.正当化する信号値が一つの場合を基に,複数の信号線を同時に正当化する最小キューブ抽出手法へ拡張する.複数信号値を正当化する場合は,正当化可能なすべてのキューブをBDDで表現し,キューブ抽出問題をBDD上での最短路問題に帰着させる.提案手法は,テストベクトルの特定ビット数が最小であるテストキューブの探索に使用でき,そのようなテストキューブは例えばテストデータコンプレッションの効果を高めるのに有効である.
抄録(英) When there are internal logic values in a combinational circuit that must be justified by a given input vector, necessary input values to justify them are expressed as a cube. In this paper we propose methods to extract a cube with the minimum number of specified values from an input vector. One is the case of justifying a single line value and the other is the case when the number of signal values to be justified is more than one. In the latter case, we utilize a BDD to extract the cube, and we reduce the problem to a shortest path problem. We also present how to reduce the size of BDDs used. The method can be used for finding test cubes with minimal numbers of specified bits in test vectors. Such test cubes can be used to achieve higher test data compression.
キーワード(和) 正当化操作 / BDD / 最短路問題 / テストデータコンプレッション
キーワード(英) Justification / BDD / Shortest path problem / Test data compression
資料番号 VLD2004-77,ICD2004-163,DC2004-63
発行日

研究会情報
研究会 ICD
開催期間 2004/11/25(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Integrated Circuits and Devices (ICD)
本文の言語 JPN
タイトル(和) 入力ベクトルからの信号値を正当化する最小キューブ抽出(テスト設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
サブタイトル(和)
タイトル(英) On the Extraction of a Minimum Cube to Justify Signal Line Values
サブタイトル(和)
キーワード(1)(和/英) 正当化操作 / Justification
キーワード(2)(和/英) BDD / BDD
キーワード(3)(和/英) 最短路問題 / Shortest path problem
キーワード(4)(和/英) テストデータコンプレッション / Test data compression
第 1 著者 氏名(和/英) 宮瀬 紘平 / Kohei MIYASE
第 1 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 2 著者 氏名(和/英) 永山 忍 / Shinobu NAGAYAMA
第 2 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 3 著者 氏名(和/英) 梶原 誠司 / Seiji KAJIHARA
第 3 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 4 著者 氏名(和/英) 温 暁青 / Xiaoqing Wen
第 4 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 5 著者 氏名(和/英) レディ スダーカ / Sudhakar M. REDDY
第 5 著者 所属(和/英) アイオワ大学
University of Iowa
発表年月日 2004/11/25
資料番号 VLD2004-77,ICD2004-163,DC2004-63
巻番号(vol) vol.104
号番号(no) 480
ページ範囲 pp.-
ページ数 6
発行日