著者

梶原 誠司 樹下 行三 ポメランツ イリス レディ スダーカ M.

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-1, 情報・システム 1-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.82, no.7, pp.888-895, 1999-07

---

製造した回路のタイミングに関するテストの重要性が高まっている. その一方で, ロバスト依存パスや機能的活性化不能パスのように, 遅延故障のテスト不要なパスが多く存在することがわかってきた. パス遅延故障のテスト生成において, テスト不要なパスを前もって指摘することは, テスト生成の効率化に重要な役割を果たす. 本論文は, 高速にロバスト依存パスと機能的活性化不能パス等のテスト不要なパスを識別する手法を提案する. パス数の多い回路に対するテスト不要パスの識別には従来多大な処理時間を要していたが, 提案手法は回路の局所的な解析に基づくため高速に処理可能である. 実験では, 本手法は従来手法と比較して短時間で計算でき, テスト不要なパスの判定能力はほぼ同等であることを示す. また, 従来手法ではパス数が10^<20>以上あるc6288を現実的には扱うことができなかったが, 本手法により99%以上のパスはテスト不要であることを示す.

著者

谷口 謙二郎 梶原 誠司 ポメランツ イリス レディ スダーカ

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. FTS, フォールトトレラントシステム (ISSN:09135685)

巻号頁・発行日

vol.101, no.476, pp.49-53, 2001-11-22

---

本論文では統計的符号化を使って得られたテスト集合に対するテストデータ圧縮手法について述べる.本手法はまず, テストベクトルを構成する入力値のうち不定値に変えても故障検出率が下がらないものを判定する.次に, 見つかった不定値に, 統計的符号化の効果を最大にするように, 適切な論理値を再び割り当てる.ISCAS-89ベンチマーク回路に対する実験では, 本手法がテストデータ量を元のテストデータの40%以下にまで減らすことを示す.

著者

梶原 誠司 樹下 行三 ポメランツ イリス レディ スダーカ M.

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. 設計自動化研究会報告

巻号頁・発行日

vol.97, no.17, pp.1-8, 1997-02-14

---

製造した回路のタイミング検証の重要性が高まっている一方で,ロバスト依存パスや機能的活性化不能パスのようなパス遅延故障のテストにおいてテスト不要であるパスを多く含む回路が存在することがわかってきた.テスト不要なパスをテスト生成の前に指摘し,テスト生成の対象としないことは,パス遅延故障のテスト生成の効率化に役立つ.本論文は,高速にロバスト依存バスと機能的活性化不能パスを識別する手法を提案する.提案手法は回路の局所的な解析に基づくため,従来多大な処理時間を要していたパス数の多い回路も高速に処理可能である.実験では,本手法は従来手法と比較して短時間で計算でき,テスト不要なパスの判定能力はほぼ同等であることを示す.また,従来手法ではパス数が10^<20>以上あるc6288を現実的には扱うことができなかったが,本手法により99%以上のパスはテスト不要であることを示す.

著者

梶原 誠司 ポメランツ イリス レディ スダーカ M

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. 設計自動化研究会報告

巻号頁・発行日

vol.99, no.12, pp.67-72, 1999-02-04

---

本論文では, 組合せ回路のトランジション故障を対象としたテスト生成におけるテストパターン圧縮手法を提案する. トランジション故障の検出には2つのテストパターンが必要であるが, 提案する手法は, 典型的なテスト圧縮手法の動的圧縮と静的圧縮を2パターンテストに拡張したものである. 動的圧縮については, 無駄な信号値の割当をできるだけ少なくする手法である。また, 静的圧縮については, 不要なテストベクトルが与えられたテスト系列に完全に含まれないようにする新しい手法である。ISCASのベンチマーク回路に対する実験では, 動的圧縮と静的圧縮のどちらにおいても提案手法が有効であることを示す。