| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-02-08 15:40 テストパターンの静的圧縮における厳密解と貪欲解の比較 ○八木澤 圭・山崎浩二（明大）・細川利典（日大）・玉木久夫（明大）  DC2007-79 |
|
| 抄録 | （和） | 本稿ではドントケアに基づく静的テストパターン圧縮をクリーク被覆問題や頂点彩色問題として定式化し，厳密解法と貪欲解法による解法実験を行った．その結果，今回実験を行ったほとんどのテストパターンについて圧縮されたテストパターン数の上界と下界が厳密解と一致することがわかった．また，この性質はテストパターンの生成方法を変えても保たれていた．このことから，貪欲法の解は厳密解に非常に近いことがわかり，多数の回路に対して長時間かけて厳密解を求める効果が少ないことがわかった．さらに圧縮の妨げになっているテストパターンを示し，圧縮効果を高める方法を考察する． |
| （英） | In this paper, we formulate static test compaction using don't cares as a minimum clique cover problem and a vertex coloring problem. We made experiments on exact solution methods and greedy solution methods. For most test patterns used in this experiment, the upper and lower bounds are close to the exact solution. This holds for wide variety of test generation methods. We coclude that greedy solutions are very close to exact solutions and there is small advantage in computing exact solutions for many circuits. Moreover, we indicate the subset of test patterns which is a bottleneck of test compaction, and consider the way to improve the compaction efficiency. |
|
| キーワード | （和） | 静的圧縮 / 最小クリーク被覆問題 / 最大独立点集合 / / / / / |
| （英） | Static Compaction / Minimum Clique Cover / Maximum Independent Sets / / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 482, DC2007-79, pp. 77-82, 2008年2月. | |
| 資料番号 | DC2007-79 | |
| 発行日 | 2008-02-01 (DC) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | DC2007-79 |
|
| 研究会情報 | |
| 研究会 | DC |
| 開催期間 | 2008-02-08 - 2008-02-08 |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | VLSI設計とテストおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2008-02-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | テストパターンの静的圧縮における厳密解と貪欲解の比較 |
| サブタイトル（和） | |
| タイトル（英） | Comparison of exact solutions and greedy solutions in static test compaction |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 静的圧縮 / Static Compaction |
| キーワード(2)（和/英） | 最小クリーク被覆問題 / Minimum Clique Cover |
| キーワード(3)（和/英） | 最大独立点集合 / Maximum Independent Sets |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 八木澤 圭 / Kei Yagisawa / ヤギサワ ケイ |
| 第1著者 所属（和/英） | 明治大学 (略称： 明大) Meiji University (略称： Meiji Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 山崎 浩二 / Koji Yamazaki / ヤマザキ コウジ |
| 第2著者 所属（和/英） | 明治大学 (略称： 明大) Meiji University (略称： Meiji Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 細川 利典 / Toshinori Hosokawa / ホソカワ トシノリ |
| 第3著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 玉木 久夫 / Hisao Tamaki / タマキ ヒサオ |
| 第4著者 所属（和/英） | 明治大学 (略称： 明大) Meiji University (略称： Meiji Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-02-08 15:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | DC |
| 資料番号 | DC2007-79 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.482 |
| ページ範囲 | pp.77-82 |
| ページ数 | 6 |
| 発行日 | 2008-02-01 (DC) |
[研究会発表申込システムのトップページに戻る]