検査系列圧縮装置

発明者： , ,
出願人/特許権者：
代理人 (1件)：小鍜治明 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平6-121209
公開番号（公開出願番号）：特開平7-325131
出願日： 1994年06月02日
公開日（公表日）： 1995年12月12日
要約：

【要約】【目的】高速に検査系列を圧縮する装置を提供する。【構成】入力パターンの各ビットとPユニット132の各ビットを対応させて、入力パターンの各ビットが1の時は1を、0またはドント・ケアの時は0または1を任意にPユニットの対応するビットへ格納し、また、入力パターンの各ビットとXユニット131の各ビットを対応させて、入力パターンの各ビットがドント・ケアの時は0を、0または1の時は1をXユニットの対応するビットへ格納する。格納した入力パターンとバッファ中のパターンとのビット毎の論理演算をワード単位で行い、2つのパターンを1つのパターンに圧縮できるか否かの判定を行う。圧縮できるならば圧縮パターンをバッファへ上書きする。圧縮できなければバッファへそのまま格納する。

請求項（抜粋）：

組合せ回路の検査系列から同時に外部入力ピンに設定される値の組であるパターンを1つずつ入力するパターン入力手段と、読み書き可能な記憶装置に1ワードをnビット(nは自然数)とし、組合せ回路の入力ピン数とn-1との和をnで割った商の小数点以下を切捨てた整数個分のワードを持つメモリ領域であるXユニットと、前記Xユニットと同じ構造を持つメモリ領域であるPユニットと、前記Xユニットと同じ構造を持つメモリ領域であるXユニット格納部と、前記Pユニットと同じ構造を持つメモリ領域であるPユニット格納部との対を持つバッファと、組合せ回路の外部入力ピンに1から順に番号iを任意に割り当てた時、i(iは自然数)をnで割った商の小数点以下を切捨てた整数をj(jは自然数)、iをnで割った余りをk(kは自然数)とすると、前記Xユニットのj番目のワードのkビット目へi番目の入力ピンに対応するパターンのビットがドント・ケアの時と0または1の時で異なる値を格納し、前記Pユニットのj番目のワードのkビット目へ前記パターンのビットが1の時と0の時で異なる値を格納する変換をし、ドント・ケアの時は0または1を任意に格納することを前記パターンの全てのビットについて行なう第一の手段と、前記バッファにパターンが存在しない時は、前記バッファの任意のXユニット格納部へ前記Xユニットの値を格納し、前記Xユニット格納部と対になっているPユニット格納部へ前記Pユニットの値を格納する第二の手段と、前記Xユニットと前記Pユニットと前記バッファ中のパターンが格納されている任意のXユニット格納部と前記Xユニットと対になっているPユニット格納部のビット毎の論理演算をワード単位で行ない、2つのパターンのいずれとも矛盾しないパターンが存在するか否かを判定する第三の手段と、前記第三の手段において2つのパターンのいずれとも矛盾しないパターンが存在する時、そのパターンをビット毎の論理演算をワード単位で行なうことで生成し、前記Xユニット格納部と前記Pユニット格納部へ格納する第四の手段と、前記バッファにパターンが格納されていて、かつ前記第三の手段が行なわれていないXユニット格納部とPユニット格納部の対があるならば、前記第三の手段において2つのパターンのいずれとも矛盾しないパターンが存在することを判定されるまで前記第三の手段を繰り返す第五の手段と、前記バッファにパターンが格納されていて、かつ前記第三の手段が行なわれていないXユニット格納部とPユニット格納部の対が存在しない時、前記バッファにパターンが格納されていないXユニット格納部とPユニット格納部の対が存在するならば、前記バッファ中のパターンが格納されていない任意のXユニット格納部へ前記Xユニットの値を格納し、前記Xユニット格納部と対になっているPユニット格納部へ前記Pユニットの値を格納し、前記バッファにパターンが格納されていないXユニット格納部とPユニット格納部の対が存在しないならば、前記Xユニットと前記バッファ中の全てのXユニット格納部との中でパターンのビットがドント・ケアの時に格納される値であるビットの個数が最少であるものを最少Xユニット候補とし、前記最少Xユニット候補の中の任意の1つを最少Xユニットとし、前記最少Xユニットと対になっているPユニットまたはPユニット格納部を最少Pユニットとし、前記最少Xユニットの中の値がドント・ケアを示す値であるものと同じビット位置にある前記最少Pユニットのビットへ任意の値を格納し、前記最少Pユニットのj番目のワードのkビット目の値を前記第一の手段で行なった変換の逆の変換により、i番目の入力ピンに対応する値とすることで求まるパターンを外部へ出力し、前記最少Xユニットが前記バッファ中のXユニット格納部ならば、そのXユニット格納部へ前記Xユニットの値を格納し、前記Xユニット格納部と対になっているPユニット格納部へ前記Pユニットの値を格納する第六の手段と、前記パターン入力手段からの全てのパターンについて前記第一の手段から前記第六の手段を適用し終えたならば、前記バッファ中のXユニット格納部の中の値がドント・ケアを示す値であるものと同じビット位置にある前記Xユニット格納部と対になっているPユニット格納部のビットへ任意の値を格納し、前記Pユニット格納部のj番目のワードのkビット目の値を前記第一の手段で行なった変換の逆の変換により、i番目の入力ピンに対応する値とすることで求まるパターンを前記バッファの全てのPユニット格納部について求めて、外部へ出力する手段とを備えた検査系列圧縮装置。

IPC (2件)：

G01R 31/3183 , G06F 11/22 330

前のページに戻る