論理シミュレーション専用マシンを用いたテスト生成システムにおける高検出率化手法

概要

論文の詳細を見る
我々は,論理シミュレーション専用マシンSPを応用した,組合せ回路の単一縮退故障に対する高速な自動テスト生成システムを研究中である.本システムでは,図1に示すように,被検査回路(組合せ回路)と仮定故障リストを入力して「テスト生成回路」をホスト上で自動合成し,SPを用いてテスト生成回路の動作を高速に模擬することによテスト系列を自動生成する.テスト生成回路のアルゴリズムには乱数を入力パターンとするモードがあり,これをランダムパターン(RP)型と呼ぶ.また,入力空間の縦型探索を行うモードがある.これは,現在検査対象となっている故障がある入力に対して検出不能であるとき,入力をバックトラックするか,入力をそのままにして故障を取り替えるかを選択でき,前者を故障先行(FF)型,後者を入力先行(IF)型と呼ぶ.これまでに,RP型とIF型を実現して,その性能評価を行った.今回,さらに高い検出率を達成するためにFF型を実現し,アルゴリズムをRP型からFF型に切り換えて実験を行い有効性を確認した.また,入力の探索順序を故障に応じて動的に変更することでさらに高い検出率が得られることがわかった.
社団法人情報処理学会の論文
1989-10-16