| 研究概要 |
平成17年度の研究では,単一縮退故障を対象に生成されたテストパターンのブリッジ故障検出能力向上手法を提案した.本手法は,与えられたテストパターンに潜在的に含まれるドントケアに着目し,テスト生成の動的圧縮を伴うテストパターン変換を用いた.テストパターン変換は,テストパターン中のドントケア判定と,ドントケアへの論理値割り当てによって構成される.したがって,テストパターン数を増加させず,縮退故障検出率も低下させないでブリッジ故障に対する検出率を向上させることができる.ISCASベンチマーク回路に対する実験では,提案手法が縮退故障用テストパターンでのブリッジ故障検出率を向上できることを示した.さらに,ブリッジ故障に対する検出率向上効果を最大限にいかすため,ある入力ベクトルから内部信号値を正当化する最小キューブ抽出手法を提案した.正当化する信号値が一つの場合を基に,複数の信号線を同時に正当化する最小キューブ抽出手法へ拡張した.複数信号値を正当化する場合は,正当化可能なすべてのキューブをBDDで表現し,キューブ抽出問題をBDD上での最短路間題に帰着させた.提案手法は,テストベクトルの特定ビット数が最小であるテストキューブを求めるため,テストパターンの品質向上の他,例えばテストデータコンプレッションの効果を高めるのに有効である.
また,論理回路のタイミング動作に影響するパス遅延故障に対応するための,テストパターン圧縮手法を提案した.テスト対象となる長いパスは,プロセス変動やノイズの影響で実際に製造された回路では長いパスにならない可能性があるが,提案手法は,テスト対象にはならなかったが実際には長いパスの故障を検出する可能性を高めることができる.実験では,提案手法が非対象の長いパスの故障を多く検出するコンパクトなテスト集合を効率的に生成できることを示した.
|
