ランダムテストパターンの生成と故障シミュレーション.ppt

5 テスト技術5.1 テストとは LISのテスト 製造不良の判別 故障診断 fault diagnosis 故障箇所の特定 故障解析 fault analysis 故障の物理的要因の究明 5.1.1 論理回路のテストの基本5.1.2 テスト品質とテストコスト テストパターン テストで用いる入力のこと テスト品質 例．故障のカバー率 テストコスト テスト時間，テスト装置，テスト用の回路，テストパターン生成時間．．． 5.2 故障モデル 全数テスト 現実的でないことが多い 故障モデル fault model 想定される故障を検出するようテストパターンを生成 5.2.1 故障モデルの考え方 5.2.1 故障モデルの考え方 良い故障モデルの条件 実際によく生じる欠陥の振る舞いを表現 生成したテストパターンが他のモデルの故障も検出 計算機での扱いが簡単 故障モデルの分類 論理故障と非論理故障 単一故障と多重故障 5.2.2 縮退故障 stuck-at fault 最も広く用いられている故障モデル 0縮退故障 1縮退故障 5.3 テストパターン生成5.3.1 テストパターンと故障検出率 前提 組み合わせ回路 f(X) 論理故障 a 故障差関数 F(X) = f(X) ? fa(X) テストパターン F(X)=1となるX 等価故障 equivalent fault 故障関数が同じ故障 考慮すべき故障の数とテストパターン数 テスト不能故障，冗長故障 テストできない故障 組み合わせ回路の場合，冗長故障 その部分の回路は冗長なため 故障研修率，故障検出効率 故障検出率 (%) 故障検出効率(%) 自動テストパターン生成 ATPG 生成におけるポイント 生成時間が短い 故障検出率が高い テストパターン数が少ない 基本技術 5.3.2 故障シミュレーション パターンから検出できる故障を求める 5.3.3 テスト生成 故障から，検出できるパターンを求める テスト生成の流れ ランダムテストパターンの生成と故障シミュレーション 未処理の故障が無ければ終了．あれば３へ． ある未検出故障に対するテストパターンを生成． パターンが生成できなければ２へ．できれば５へ． 生成されたパターンに対し故障シミュレーション．２へ． 5.3.2 故障シミュレーション 与えられたテストパターンが検出できる故障を求める 故障n個のとき，n+1個の回路をシミュレート 5.3.3 アルゴリズムによるテスト生成 与えられた故障を検出するテストパターンを求める 2分決定グラフ(BDD)による故障差関数 充足可能性問題(SAT) 経路活性法 (path sensitization method) 回路の形状を基に，信号伝搬経路を見てゆく Dアルゴリズム，PODEM, FAN, SOCRATES 5値論理 5.3.5 順序回路のテスト 極めて困難 時間展開モデル 5.4 スキャン設計 テスト容易化設計（DFT, Design for Testability）の一種 フリップフロップの値を外部から制御?観測できるように回路を設計 5.5 組込み自己テストBIST (built-in self test) テストパターン発生，出力系列の解析などを内蔵回路によって行う手法 5.3.2 テスト発生回路 LFSRがよく用いられる 5.5 組込み自己テストBIST (built-in self test) 応答解析回路 シグネチャ(signature)を出力 出力系列を圧縮したもの 見逃し(aliasing)の可能性 エラーが含まれている出力系列のシグネチャが，正常な場合と一致してしまうこと 確率は少ない * * 回路 0 0 1 0 正常時：1 故障時：0 故障発見! VDD 0 1 1 1 欠陥 defect 正常時：1 故障時：0 故障 fault 誤り error VDD 1 GND 0 VDD 1 故障関数 x1 x2 x1 x2 GND 0 GND 0 0 ≤ 2N 2N 全縮退故障 2n 全数テスト ≤ 0.8N～1.2N 0.8N～1.2N 等価故障から代表故障を選択 テストパターン数 故障の数 N: 信号線数 n: 入力ビット数 x1 x2 x1 x2 a/1 x1 x2 x1x2 0 0 0 1 1 0 1 1 1 0 1 1 検出する故障数 総仮定故障数 ×100 検出する故障数 総仮定故障数－テスト不能故障数 ×100 a/1 1 0 0 1 0 0 a/0 1 0 0 a/1 1 0 1 a/0 1 0 0 a/1 1 0 1 a/0 1 0 0 1 0 D 1 1 1 未割当 未割当 X 0 1 D 0 0 0 故障回路 正常回路