JPH06194416A - 順序回路を含む論理回路の診断システムおよび診断方法 - Google Patents

Abstract

(57)【要約】 【目的】 スキャン不能な記憶素子を含む論理回路に診
断用の回路を特別に付加することなく、組合せ回路用の
アルゴリズムを用いてテストパタン、故障解析データを
生成する。 【構成】 順序回路を含む論理回路の診断システムに、
スキャン不能な順序回路を含む、第１の回路部分の中の
一部分である第２の回路部分に対する内部状態の設定と
観測をすることにより、故障診断の対象とする回路の診
断をするための間接スキャン手続きを、スキャン可能な
回路の入出力または外部入出力端子に設定する値の時系
列と、前記スキャン不能な記憶素子の入出力端子に出現
する論理値の時系列との対応の記述として入力し、前記
第２の回路部分を前記間接スキャン手続きの操作の元で
は等価となる組合せ回路モデルで置き換え、テストパタ
ン、故障解析データを作成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は、内部論理回路を通し
て状態設定がなされ、また内部論理回路を通してその信
号が出力される順序回路を内蔵する半導体集積回路の機
能試験に有効な技術に関するものである。

【０００２】

【従来の技術】本発明は、順序回路、例えばランダムア
クセスメモリ（ＲＡＭ）を内蔵する半導体集積回路の機
能試験に有効な技術に関するものであるが、また、その
順序回路を経由する再収れん経路の存在する半導体集積
回路の機能試験にも有効な技術に関するものである。

【０００３】大規模な論理回路はそのまま順序回路とし
て診断することが困難である。そこで通常は、特開昭４
９−７４８５７号公報等に示されたレベルセンシティブ
スキャンデザイン（ＬＳＳＤ）等の診断容易化設計を採
用して、内部論理回路を小規模な組み合わせ回路に分割
し、診断を行っている。ところが、大規模集積回路（Ｌ
ＳＩ）に内蔵されるＲＡＭのような記憶素子では、信号
遅延を避けるためスキャンの機能が付加されず、分割さ
れた各小規模回路が純粋な組み合わせ回路とならない場
合がある。そこで、内蔵ＲＡＭについては、データの書
き込みと読み出しを行う操作の単純な繰り返しを基礎と
した専用のテストにより単独で診断を行う方法もとられ
ていた。

【０００４】一方、本発明は、ＲＡＭ以外の回路部分の
診断を対象とするが、この診断対象回路については、以
下に述べるような２種類のアプローチが行われてきた。
第１のアプローチは、スキャン可能なフリップフロップ
やスキャン用論理回路または外部入出力端子から直接デ
ータを入出力できるようなセレクタ回路をＲＡＭ周辺に
新たに設けて、内部論理回路の可制御性・可観測性を満
たす方法である。第２のアプローチは、内蔵ＲＡＭを組
み合わせ回路として扱えるように、診断データ生成の際
に、書き込みモードの時はＲＡＭに入力されたデータが
直接出力端子に出力されるような回路表現で置き換えて
テストデータ生成を行う方法である。以下に前者を３
例、後者を１例挙げる。

【０００５】図１８は特開平１−２６０７００号公報等
に示された、テストパターン自動生成を考慮したＲＡＭ
周辺論理回路を示すブロック図である。メモリを内蔵し
た従来のＬＳＩにおいて、図１８に示されるように内部
論理回路１８０６から送出されるデータ入力信号及びア
ドレス信号を含む信号群１８０１と、外部入力端子１８
０２より入力されるテスト用のデータ入力信号およびア
ドレス信号を含む信号群とを入力信号とし、テストモー
ド制御信号１８０５によりそのいずれかの信号群を信号
群１８０３として出力する第１セレクタ回路と、前記信
号群１８０３を入力信号とする内蔵ＲＡＭ１８１０と、
この内蔵ＲＡＭの出力信号からなる信号群１８０４を入
力信号とする第２の内部論理回路１８０７と、前記信号
群１８０３と前記信号群１８０４とを入力信号とし、テ
ストモード制御信号１８０５よりそのいずれかの信号群
を、外部出力端子に出力する第２のセレクタ回路を備え
る。

【０００６】ＲＡＭ１８７０への入力信号線をチェック
するときは、内部論理回路１８０６の出力は第１のセレ
クタ回路と、信号群１８０３を通って第２のセレクタ回
路により、外部出力端子１８１２へ行くように選択さ
れ、外部出力端子１８１２から観測される。また、ＲＡ
Ｍ１８１０の出力信号線をチェックする時は、外部入力
端子１８０２からテストデータを入力すると、第１のセ
レクタ回路と、ＲＡＭ１８１０とを通って、内部論理回
路１８０７に印加される。こうして、ＲＡＭの入出力信
号線の可観測性、可制御性を満たす。

【０００７】図１９は特開昭６４−３７４４号公報等に
示された、メモリを内蔵した従来のＬＳＩにおいて、内
蔵メモリのテスタビリティをも考慮し（図１８では、Ｒ
ＡＭは正しいことを前提としている）、前述した図１８
に示すスキャンテスト方式によって内部論理回路とＲＡ
Ｍ間の可観測性・可制御性を満たした適用例を示す図で
ある。テストモードにおいては内部論理回路１９０５を
チェックするために、テストデータ入力信号１９０１は
内部論理回路１９０４を経由せず直接シフトレジスタラ
ッチ（ＳＲＬ）後段部１９０７に入力される。入力され
たデータはセレクタ回路１９０９を介して内部論理回路
１９０５に入力される。内部論理回路１９０４をチェッ
クするために、内部論理回路１９０４の出力信号は、Ｓ
ＲＬの前段部１９０６に入力され、ＲＡＭ１９１０を通
らずに、出力端子１９０２からシフトスキャンアウトさ
れる。

【０００８】しかし、前記の２つの方法は、多ビット構
成の内蔵ＲＡＭの場合にセレクタ回路に入力するエッジ
ピン数の増加や、ＲＡＭ周辺にスキャンパスを設けるこ
とにより、回路の複雑化および信号遅延時間増大等の問
題がある。

【０００９】図２０は、日経エレクトロニクスの’８４
４−２０号等に示されたＬＳＳＤに基づいて内蔵ＲＡ
Ｍの入出力にすべてレジスタが挿入されていることを前
提としたテスト容易化設計の例である。平常モードにお
いては、各レジスタはＲＡＭの入出力を適当なタイミン
グでラッチする。スキャンモードにおいては入力のアド
レス、データ、読みだし書き込み制御信号用のレジスタ
２０１０、２０１１、２０１２及び出力レジスタ２００
２をスキャンレジスタとして接続する。このモードでは
内部論理回路２００３の出力をチェックするために、内
部論理回路２００３の出力をスキャンレジスタ２００５
を通して観測することができる。また、テストデータを
スキャンレジスタ２００５を通して内部論理回路２００
４に印加することにより、内部論理回路２００４の出力
をチェックすることができる。

【００１０】しかし、この方法は、レジスタとＲＡＭ間
に論理回路が存在する場合、その論理回路は、テスト生
成対象外となる。また、特に高速性を求められる論理回
路の場合、レジスタでの信号遅延時間が問題となり、前
記のような設計方法を前提とできない。

【００１１】第２のアプローチの一例としては、１９８
６インターナショナルテストコンファレンス（ＩＴＣ）
プロシーディングの４７４〜４７９ページの記載を挙げ
ることができる。これは、ＲＡＭ部分の回路の動作の模
擬を、テスト時にＲＡＭが書き込みモードである場合
は、ＲＡＭの出力データはその時のＲＡＭのデータ入力
端子に印加されているデータに等しくなるとして行い、
回路を純粋な組み合わせ回路と見なして診断データ生成
を行う例である。回路記述の内蔵ＲＡＭの部分を例えば
図２１に示す回路記述２１００で置き換えることによっ
て実現される。図２１は、スキャン可能なＦＦ２１１
１、２１１２、２１１３、２１１４に囲まれた内部論理
回路を示しており、前記スキャン不能なＲＡＭ２１００
を含んでいる。書き込みと読み出し切り替え信号線２１
０３が論理値’１’即ち書き込み状態であると、入力デ
ータ信号線２１０２の値がそのまま出力データ信号線２
１０４に現れる。信号線２１０３が’１’でなければ信
号線２１０４には信号線２１０２の状態とは無関係に不
確定を表す論理値 ’Ｘ’が現れる。’８６ＩＴＣの前
記文献では、アドレス信号線２１０１は診断データ生成
時にＲＡＭの出力値に関与しないものとして、図２１の
ように回路の他の部分と接続のない表現となっている。

【００１２】ＲＡＭの入力側内部論理回路の出力観測は
信号線２１０３が’１’である場合に、信号線２１０
２、２１０４およびＲＡＭの出力側内部論理回路を通し
てなされる。また、ＲＡＭの出力側内部論理回路の入力
制御は同様にして、信号線２１０２、２１０４およびＲ
ＡＭの入力側内部論理回路を通してなされる。

【００１３】しかし、この方法では、ＲＡＭ前後の内部
論理回路間に前記ＲＡＭを通らない信号線があると、適
当なテストパターンを作成して、これを印加して観測す
ることにより検出可能な故障に対してこれを検出するテ
ストパターンを生成できない場合が生ずる。例えば図２
１に示すように、内蔵ＲＡＭを経由する再収れん経路２
１１７が存在すると、’１’縮退故障２１１６を検出す
るためには信号線２１０４を’１’、信号線２１１７
を’０’にする必要があるが、図２１の回路記述に従う
と信号線２１０４の論理値は信号線２１１７と同一か’
Ｘ’にしかならない。ＲＡＭに’１’を書き込み、こ
の’１’を読み出す操作を行い、信号線２１０２に’
０’を印加すればこの故障は検出可能であるが、従来の
方法では、この故障は未検出故障あるいは検出不能故障
として処理される。なぜならば、この故障を検出するた
めには、ＲＡＭの出力と信号線２１０２との値を反転さ
せる必要がある。しかし、従来のデータ入力と出力とを
直結させるモデルではＲＡＭの出力と信号線２１０２と
の値は常に同じになり、検出不能となる。

【００１４】また、このようなＲＡＭ部分のモデル化に
よると、回路に前記ＲＡＭを含むフィードバックループ
が存在すると、組合せ回路として表現できない場合が考
えられる。なぜなら、組合せ回路とは、いかなる入力パ
タンに対しても、そのとき印加されたパタンに対して一
意的に回路の状態が決るというものであるが、フィード
バックループがあると図２４のように同じ入力に対して
複数の安定な状態が存在する場合があるからである。

【００１５】本発明の回路モデルでは、データ入力から
データ出力を経由する同様なフィードバックループが存
在しても、図２５のように切断されるので、取扱が可能
になる。

【００１６】順序回路を繰り返し展開することにより組
合せ回路として表現し、診断データ生成を行う技術は樹
下著「ディジタル回路の故障診断（上）」の１５８ペー
ジから１７７ページ等に記述があるが、繰り返しにより
回路の記述が莫大となり、また、各故障検出に必要な繰
り返し数が不定で、前記数に応じて仮定される故障も多
重化しなければならない。処理に必要な記憶容量が多
く、時間がかかるため、大規模な回路に適用するのは困
難であることが知られている。

【００１７】

【発明が解決しようとする課題】従来、スキャン不能な
ＲＡＭなどの記憶素子を含む論理回路の診断を組み合わ
せ回路に準ずる簡潔さで行うためには、ハードウェアの
増加および信号遅延、または本質的には検出可能である
のに未検出と判定される故障の出現が不可避であった。

【００１８】本発明の目的は、診断対象回路にハードウ
ェアの増加および信号遅延を生じない順序回路を含む論
理回路の診断システムを提供することである。

【００１９】

【課題を解決するための手段】本発明は、上記課題を解
決するために、順序回路を含む論理回路を診断するため
の診断データを作成する順序回路を含む論理回路の診断
システムにおいて、診断対象である前記論理回路は、ス
キャン可能な第１の論理回路または外部入力端子と、こ
れらに後続する第１の回路部分と、前記第１の回路部分
に後続する、スキャン可能な第１の論理回路または外部
出力端子とを有し、前記第１の回路部分は、診断の対象
である診断対象回路と、前記診断対象回路に後続し、診
断の対象としない第２の回路部分とを有し、前記第２の
回路部分は、スキャン不能な順序回路を含み、前記診断
システムは、前記論理回路を構成する素子の接続関係
と、前記第１の論理回路に前記外部入力端子から値を設
定し、前記論理回路の外部出力端子で値を観測するため
のスキャン手続きと、前記順序回路に前置する、前記第
１の論理回路または前記外部入力端子に値を設定するこ
とにより、前記診断対象回路が出力する値を前記順序回
路に保持させ、前記順序回路が保持する上記値を前記外
部出力端子または前記順序回路に後続する第１の論理回
路により観測する間接スキャン手続きとを入力される受
付部と、前記接続関係と、前記スキャン手続と、前記間
接スキャン手続とにより、前記論理回路に入力する診断
のためのテストデータおよび前記テストデータに対する
故障モードごとの期待値とを出力する処理部とを有し、
前記診断対象回路が出力する値を前記順序回路を通し
て、間接スキャンするためのデータを作成することとし
たものである。

【００２０】

【作用】論理回路を診断するための診断データを作成す
る順序回路を含む論理回路の診断システムにおいて、受
付部は、前記論理回路を構成する素子の接続関係と、前
記第１の論理回路に前記外部入力端子から値を設定し、
前記論理回路の外部出力端子で値を観測するためのスキ
ャン手続きと、前記順序回路に前置する、前記第１の論
理回路または前記外部入力端子に値を設定することによ
り、前記診断対象回路が出力する値を前記順序回路に保
持させ、前記順序回路が保持する上記値を前記外部出力
端子または前記順序回路に後続する第１の論理回路によ
り観測する間接スキャン手続きとを入力される。処理部
は、前記接続関係と、前記スキャン手続と、前記間接ス
キャン手続とにより、前記論理回路に入力する診断のた
めのテストデータおよび前記テストデータに対する故障
モードごとの期待値とを出力し、前記診断対象回路が出
力する値を前記順序回路を通して、間接スキャンするた
めのデータを作成する。

【００２１】この結果、故障診断の対象とする回路の直
後にスキャン回路を設けなくてもすむため、故障診断の
対象とする回路にハードウェアの増加および信号遅延が
生じない順序回路を含む論理回路の診断システムを提供
できる。

【００２２】

【実施例】本実施例は、論理回路を診断するための診断
データを作成する診断システムであって、論理回路を構
成する素子の接続関係と、第１の論理回路１３０，１３
１に前記外部入力端子から値を設定し、前記論理回路の
外部出力端子で値を観測するためのスキャン手続きと、
前記順序回路１００に前置または後続する、前記第１の
論理回路１３０，１３１または前記外部入力端子に値を
設定することにより、前記診断対象回路が出力する値を
前記順序回路１００に保持させ、前記順序回路１００が
保持する上記値を前記外部出力端子または前記順序回路
１００に前置または後続する第１の論理回路１３０，１
３１により観測する間接スキャンアウト手続きとを入力
される受付部（図示しない）と、前記接続関係と、前記
スキャンアウト手続と、前記間接スキャンアウト手続と
により、前記論理回路に入力する診断のためのテストデ
ータおよび前記テストデータに対する故障モードごとの
期待値とを出力する処理部とを有し、前記診断対象回路
が出力する値を前記順序回路を通して、間接スキャンア
ウトするためのデータを作成する。

【００２３】本実施例の原理について述べる。

【００２４】スキャン回路を持つ論理回路を診断するシ
ステムにおいて、スキャン可能フリップフロップと外部
入力端子によって切り出される第１の回路部分内のスキ
ャン不能な記憶素子を含む第２の回路部分のある記憶素
子に任意のデータを書き込み、読み出す間接スキャン手
続きの記述を受付ける手段を付加する。

【００２５】また、前記第２の回路部分のテストパタン
印加前の初期内部状態を演算するために必要な論理値の
組み合わせを設定する入力信号線と、前記テストパタン
の印加後の、前記第２の回路部分の内部状態を観測する
ための出力信号線とを、回路記述上にのみ存在する仮想
的な端子として新たに設けた、仮想の組み合わせ回路記
述で、順序回路である前記第２の回路部分の記述を置き
換える。

【００２６】また、あらかじめ前記第２の回路部分の記
述、真理値表またはそれに相当する論理的動作表現から
生成された前記仮想の回路記述を保持する。

【００２７】あるいは前記仮想の回路記述を生成するこ
ととしてもよい。

【００２８】さらに、生成されたテストパタンを論理回
路に印加する操作に先立って、前記システムに入力され
る間接スキャン手続きの記述から、前記仮想の回路記述
の仮想的な外部入力端子に生成されたテストパタンをス
キャン論理および外部入力端子を通して前記第２の回路
部分に印加する操作に翻訳する処理と、第２の回路部分
の仮想的な出力端子に生成されたこれらテストパタンに
対する期待値と実在の論理回路の応答との照合を、スキ
ャン論理およびその外部出力端子を通して観測する結果
と照合をとる操作に翻訳する。

【００２９】さらに、前記第１の回路部分に対する診断
データ生成手段に、システムに入力される前記間接スキ
ャン手続きの記述を用いて、第２の回路部分の持つある
記憶素子に’１’または’０’を書き込むパタンを生成
する。

【００３０】前記パタンを用いて故障シミュレーション
を行った結果で検出可能と判定される故障を、組み合わ
せ回路表現された第１の回路部分に対する処理対象から
外す。

【００３１】なお、検出できる間接スキャン経路である
かどうかは、例えば、以下のように考えることができ
る。

【００３２】間接スキャン経路は回路構造や、間接スキ
ャン手続きの記述の仕方によって一意ではないが、例え
ばＦＦのデータ入力端子上の故障は第１のテストパタン
群で検出できる故障である。なぜなら、間接スキャンで
は当該信号線の論理値を０，１のいづれにも設定し、ま
たその値を観測するからである。これに対し、間接スキ
ャンで使用しない信号線の故障は検出されない。間接ス
キャン手続きに、観測点として図２３のＡが指定されて
いると、当然Ｂ，Ｃの故障は検出されない。

【００３３】次に、動作の概略を述べる。

【００３４】以上の様に構成されているために、本実施
例においては、前記受付ける手段により、システムに入
力される前記間接スキャン手続きに従えば、外部入力端
子の値と、スキャン可能な前記第１の記憶素子の出力値
とを制御することにより、第１の記憶素子と外部入出力
端子とによって囲まれた第１の回路部分にテストパタン
を印加するに先立って、スキャン不能な第２の記憶素子
を含んだ第２の回路部分の内部初期状態を制御すること
ができる。

【００３５】さらに、テストパタン印加後の第２の回路
部分の内部状態を外部出力端子またはスキャン論理を通
して観測することができる。

【００３６】従って、テストパタン印加時に前記第２の
記憶素子の間接スキャン手続きによって初期化した内部
状態を読み出す状態にすることによって、第２の回路部
分の出力信号線の値を任意に制御することができ、ま
た、任意のテストパタン印加後、第２の回路部分の記憶
素子に書き込む操作を行い、その後前記記憶素子の内部
状態を間接スキャン手続きにより外部から観測すること
により、任意のテストパタンに対する第２の回路部分の
入力信号線の応答を間接的に観測することができる。即
ち、第２の回路部分の出力信号線を第１の回路部分の仮
想的外部入力端子として取り扱い、また、第２の回路部
分の入力信号線を第１の回路部分の仮想的外部出力端子
として取り扱うことができるので、テストパタンは、組
み合わせ回路に対するテスト生成と同じアルゴリズムで
生成できる。前記間接スキャン手続きは、例えば、前記
論理回路の設計者が回路の設計資料から容易に記述する
ことができる。

【００３７】前記間接スキャン手続きによる操作を含ん
だテストパタンの生成処理を従来から知られている組み
合わせ回路に対するテスト生成アルゴリズムにて行うこ
とは、第２の回路部分の記述を前記操作の元では等価と
みなせるような組み合わせ回路である仮想の回路記述で
置き換えることによって可能となる。

【００３８】前記仮想の回路記述は例えば設計者が作成
し、格納するか、あるいは前記第２の回路部分の回路記
述から生成し、入力情報とする。

【００３９】順序回路である第２の回路部分の記述から
前記仮想回路の記述を生成するには、入力信号線群Ｉと
出力信号線群Ｏとを持つ前記第２の回路部分の回路記述
と、それに含まれる素子の真理値表とから、間接スキャ
ン手続きにしたがって設定する初期状態を表現する論理
値を外部から入力するための信号線群Ｓ０（図２のＳ
Ｉ）と信号線群Ｉ（図２のＱ２）に１対１に対応する信
号線群Ｉ１と、前記信号線群Ｓ０に設定された初期状態
である第２の回路部分において信号線群Ｉに任意のテス
トパタンが印加された時の応答を模擬して出力する信号
線群であって、前記信号線群Ｏと１対１に対応する信号
線群Ｏ１とを入出力とする組合せ回路記述を生成する。
さらに、信号線群Ｓ０と、信号線群Ｉ１と、信号線群Ｓ
０に設定された初期状態において信号線群Ｉに任意のテ
ストパタンが印加された時の第２の回路部分の内部状態
を間接スキャン手続きにしたがって外部から観測する論
理値を模擬して外部から観測する出力信号線群Ｓ１（図
２の２０５、図１６の１６０７）と、第２の回路部分の
内部状態を間接スキャン手続きにしたがって外部から観
測するときの条件を外部から入力するための信号線群Ｓ
２（図２の２０２、図１６の１６０８）とを入出力とす
る組み合わせ回路記述を生成し、都合２つの部分からな
る仮想の回路記述を生成する。

【００４０】例えば、各記憶素子の真理値表に記された
旧状態値を入力端子Ｓ０に変換すれば、当該真理値表は
組合せ回路表現になる。また、前記真理値表における次
の状態値を出力端子として引き出せば、前記記憶素子の
内部状態と仮想回路の出力値とは１対１に対応すること
になり、前記記憶素子に保持されるが１回のテストパタ
ン印加では外部に伝わらない故障の影響も直ちに外部か
ら観測されるような組合せ回路記述となる。この様な回
路記述にしたのは、組合せ回路用のアルゴリズムを使う
ためには、記憶素子の動作は完全に組合せ回路記述によ
って表現されていなければならなく、記憶素子に一旦保
持しなければ観測不能な故障の影響をシミュレートする
ためには質問に転記されているような機能を持ったモデ
ル化が必要だからである。

【００４１】第２の回路部分が複数の素子を含む場合
も、各素子の真理値表、またはそれに相当する記述と、
素子間の接続情報を用いて同様に組合せ回路である前記
仮想の回路記述が得られる。

【００４２】前記入出力端子群Ｓ０、Ｓ１、Ｓ２は診断
データ生成時に記述上にのみ存在する仮想の外部入出力
端子とする。

【００４３】前記第２の回路部分を前記仮想回路で置き
換えた論理回路に対してテスト生成を行うと前記仮想の
外部入出力端子に対しても印加すべきテストパタンと観
測すべき期待値とが生成される。

【００４４】その後、前記仮想の外部入出力端子に対し
て生成されたテストパタンを実在の端子に対する時系列
テストパタンに翻訳する。翻訳で生成するテストパタン
の印加は３つの部分に区分される。第１の区分では前記
信号線群Ｓ０に生成されたテストパタンの値を前記間接
スキャン手続きに従って前記第２の回路部分内部の記憶
素子群に設定する時系列テストパタンの印加となり、第
２の区分では前記仮想の外部入出力端子以外の端子に対
して生成されたテストパタンの印加と観測となり、第３
の区分では前記信号線群Ｓ２に生成されたテストパタン
の値を前記間接スキャン手続きに従って印加し、前記信
号線群Ｓ１に生成された期待値を間接スキャン手続きに
従って観測する時系列となる。

【００４５】間接スキャンによって、第２の回路部分内
部記憶素子群に影響が保持される故障または第２の回路
部分の出力信号線に影響が伝搬する故障については、間
接スキャン中の故障の影響を模擬するための回路記述が
省略されて間接スキャン手続きの記述で代用されている
ため、故障仮定が正しく行われないので、正しい診断デ
ータを作成できない。故障仮定が正しくできない場合と
しては以下がある。

【００４６】図２３のゲートＢの入力ピンの０縮退故障
を考える。間接スキャン操作である第１のパタンではＡ
しか観測しないので見つからないが、第２のテストパタ
ン群の生成においては入力側にあるＦＦを仮想の外部入
力端子として取り扱うため、Ｂの入力ピンを１にすれ
ば、すなわちＦＦに１を書き込めば検出できる。この場
合故障シミュレーションのアルゴリズムは関係なく、第
１のテストパタン群の生成においては間接スキャン経路
の故障しか取り扱わないためである。

【００４７】そこで、前記故障を診断するテストパタン
を生成し、順序回路を取り扱える故障シミュレータを用
いて診断データを作成する。ここでは間接スキャン手続
きから、具体的に設定する値を’１’か’０’に決めた
第２の回路部分への間接的スキャン操作の一つまたは複
数を組にして、スキャン手続きにしたがって前記論理回
路に実際に印加するテストパタンと期待値に変換する。
テストパタン、期待値は間接スキャン手続きの記述にそ
のまま従うので、テスト生成は容易である。

【００４８】前記テストパタンにて検出される故障は、
以後になされる前記第１の回路部分の診断データ生成で
処理の対象とする必要はない。そこで、前記テストパタ
ンで処理の対象となった故障を判定し、第１の回路部分
の処理にて対象から外す。

【００４９】このようにしたのは、間接スキャン経路上
の故障の影響は第２の回路部分に存在する直接スキャン
不能な記憶素子に伝わる可能性がある。これは組合せ回
路記述に変換した場合では仮想の外部入出力端子に伝わ
ってくることに相当する。間接スキャン経路は組合せ回
路化した記述上では表現されていないためそのような故
障の取扱はできない。そこで、第１のテストパタン群を
実施例の１４０３で生成し、検出する。実施例の１４０
６のなかでこれらの故障を認識し、組合せ回路化した回
路記述上での故障仮定を回避する。

【００５０】なお、第１のテストパターンを生成する主
目的は、前記のような単純なモデルで組合せ回路化する
と、取扱が困難になるような故障を検出するためであ
る。実施例の１４０３はこのテストパタン生成のことで
あり、検出のアルゴリズム自体は単に期待値と実回路の
応答を比較するだけである。なお、間接スキャンの手続
きに従ったパタンの翻訳処理が必要にはなる。

【００５１】以下に、第１の実施例を図面により詳細に
説明する。図１は対象とする論理回路の本発明を適用す
る前の状態を表したものである。前記論理回路は外部入
出力端子１２７とスキャン可能フリップフロップ１３
０、１３１に囲まれた第１の回路部分１３４を持ち、回
路部分１３４のうち第２の回路部分１００を除く回路を
本発明の対象とし、スキャン方式を用いてテストするも
のとする。また図の信号線部分１３２に’１’縮退故障
があると仮定した場合のテスト生成について述べる。

【００５２】回路部分１３４は再収れんするパスを持
ち、内部に記憶素子を含む第２の回路部分１００を内蔵
している。フリップフロップ１３０、１３１は図９に示
すような通常のデータ入力９０１、出力端子９０６、ト
リガ端子９０２の他、スキャンデータ入力端子９０３お
よび出力端子９０７とスキャンデータのシフト用の２相
のクロック入力端子９０４、９０５とを持つ、１９７７
デザインオートメーションコンファレンスのプロシーデ
ィングの４６２から４６８頁にあるような例を用いる。
図２は前記回路部分１００の本発明による組合せ回路表
現である。

【００５３】従来のスキャン回路を持つ論理回路の診断
では前記回路部分１３４等は記憶素子を持たないものと
し、例えば、図１３に示す手順で行われる。処理１３０
１は論理ファイル１３１１、部品ライブラリ１３１２か
らの回路情報の入力処理である。処理１３０２でスキャ
ン回路を考慮した診断データ生成のための回路変換処理
を行う。例えば、前記論理回路における回路部分１３４
を切り出す処理に相当する。処理１３０３で処理１３０
１の情報を元に回路の故障仮定を行い、前記の例では要
素数２個の仮定故障リストを作成する。例えば、図１に
おける回路部分１００内の経路上に故障１３２、１３５
を仮定する。処理１３０４で組合せ回路用テスト生成ア
ルゴリズムを用いて仮定故障を検出するためのテストデ
ータを生成する。回路部分１３４は記憶素子を含んでい
るのでそのままでは処理出来ない。本発明の従来技術の
項にある第２のアプローチと類似の方法によって回路部
分１００を組み合わせ回路にすると、図１の回路部分１
００は１０１、１０３を直結する回路に置換され、組み
合わせ回路となる。Ｄアルゴリズムを用いて仮定故障１
３５を検出するテストパタンを探索すると、入力端子１
１１、１１２に対し、’１’，’Ｘ’が得られる。処理
１３０５で故障シミュレーションを行い、回路のテスト
時における出力期待値と前記故障が存在する時の出力値
を算出する。ここでは故障１３５の影響により、出力端
子１１３からは’０’が算出される。故障のない状態に
おける出力期待値は’１’となる。仮定した故障の中で
未処理のものが無いか処理１３０６でチェックをし、未
処理故障がある場合は処理１３０４にもどる。無い場合
は処理１３０７にうつる。前記の例では、故障１３２に
ついても処理１３０４以下がなされる。しかし、この故
障に対するテスト生成は、信号線１３３には故障と反対
の値’０’が要求されるのに、直結された端子１０１か
らは’１’が要求され、矛盾を生じて生成は失敗する。
処理１３０７は故障シミュレーションにより生成された
データから故障検出率等の故障解析データを生成する。
処理１３０８では、処理１３０４、１３０５、１３０７
で生成したデータをもとに前述した診断データファイル
を作成する。診断データには、各テストパタンとその出
力期待値、及び各テストパタンで検出される故障番号、
テストパタンの故障検出率があり、これらを編集して格
納したファイルを診断データファイルと呼んでいる。処
理１３０９で処理１３０８で作成された診断データをテ
スタに入力し、テスタ内部でスキャン手続きに従って前
記第１の回路部分の入出力端子に設定されたテストパタ
ンと期待値を前記論理回路の外部入出力端子におけるパ
タンの印加、観測シーケンスに翻訳する処理をしてから
テスタによる機能テストを行い、良品不良品の判定を行
う。すなわち、テスタでテストパタンを実物の回路に印
加してその応答を観測し、診断データファイル内のその
パタンにおける出力期待値と比較し、相違のある回路は
不良品と判定される。処理１３１０で診断データファイ
ルの故障解析データを用いて不良品と判定された回路の
故障解析を行う。すなわち、不良回路の中で、診断デー
タにある出力期待値と異なる値を持つテストパタン番号
をリストアップし、診断データファイルの中から該当す
るテストパタン番号で検出される故障番号を取りだし、
当該回路の故障候補点とする。

【００５４】これに対して本発明では、図１４に示され
るように処理を追加する。ファイル入力処理１４０１で
は間接スキャン手続き１４１６の入力処理を追加する。
処理１４０４で前記間接スキャン手続きで指定された各
順序部分回路に対する組み合わせ回路モデルを生成す
る。処理１４０５で順序回路の組合せ回路変換処理を行
う。処理１４０６から処理１４１０までは図１３で示さ
れる処理１３０３から１３０７までと同様の処理を行
う。

【００５５】処理１４１１では、間接スキャン手続き１
４１６に従って回路変換によって生じた仮想外部入出力
端子への入出力データをスキャン可能フリップフロップ
または前記論理回路の外部入出力端子におけるパターン
印加と観測のシーケンスに翻訳する処理を行う。処理１
４１２では、処理１４１０で作成されたデータにより診
断データファイルを作成する。また、間接スキャン経路
故障解析データ作成処理１４０３を追加する。

【００５６】前記処理１４０３の概要は図１５に示す。
処理１５０１は間接スキャン手続きによる間接スキャン
操作をテストパターンに変換する処理で順序回路をその
まま取り扱える故障シミュレーション処理１５０３（故
障判定手段）を行って間接スキャン経路に対する故障解
析データ作成処理１５０４を行う。図１４の処理１４１
３では、処理１４０３で生成された前記間接スキャン経
路について、故障解析データを用いて間接スキャン経路
のテスタによる機能テストを行う。処理１４１４で処理
１４１２で作成された診断データ１４１７を用いてテス
タ内部でスキャン手続きによるテストパターン翻訳処理
をしてからテスタによる機能テストを行い、良品不良品
を判定する。処理１４１５では診断データファイルの故
障解析データを用いて不良品の故障解析を行う。

【００５７】部分順序回路の組合せ回路モデルは、シス
テム内部で作る１４０４以外にも、システム外部から入
力する方法が考えられる。また、処理１４１１の前記間
接スキャン手続きによる入出力データ翻訳は、テスタに
診断データを入力した後で行うことも考えられる。

【００５８】なお、間接スキャン手続が存在しない場合
とは、第２の回路部分に複数の記憶素子が存在し、互い
に独立には状態を設定できないような場合である。

【００５９】例えば、図２２のように２つのＦＦの状態
が何時も同じだとすると、そのような状態を必要とする
テストパタンは作っても意味がないことになるので生成
後に削除するか、生成しないようにテスト生成アルゴリ
ズムを改造しなければならない。

【００６０】図１に示されている回路部分１００に対す
る間接スキャン手続きによる内部状態の設定、観測操作
即ち間接スキャン操作を、前記論理回路の外部入出力端
子または回路部分１３４の切り口信号線に設定観測され
る値のシーケンスに対応させたものが間接スキャン手続
きの記述であり、例えば回路の設計者が記述する。

【００６１】次に第１の実施例における間接スキャン手
続きをどのように記憶装置上に表現するかを図３で例示
する。尚、部分回路１００の番号および入出力信号線１
０１から１１３の番号は、図１に対応する。

【００６２】間接スキャン手続きの表現は６つのテーブ
ルで構成される。テーブル３００は、本発明により組み
合わせ回路に置換される順序回路部分のリストで、前記
回路部分１００の入力信号線数３１１と出力信号線数３
１３と、内部状態の設定および観測に関与する前記回路
部分１３４の入力信号線数３１５と出力信号線数３１９
と、前記回路部分１００の入力信号線に現れる回路部分
１３４の応答を回路部分１００にとり込む操作の時系列
の長さ３１７と取り込んだ値を間接スキャンアウトする
操作の時系列の長さ３１８と、間接スキャンイン操作の
時系列の長さ３２１とが格納される。

【００６３】入出力信号線数は不確定なので、各入出力
信号線のリストと間接スキャンの時系列は別々のテーブ
ル（３０１から３０５）にし、テーブル３００には各テ
ーブル内での格納開始アドレス３１２、３１４、３１
６、３２０を格納する。テーブル３０１には、回路部分
１００の入力信号線の番号３２２と、前記入力信号線か
ら取り込んだ値を間接スキャンアウトする回路部分１３
４での出力信号線の番号３２４と取り込んだ値が出現す
る前記間接スキャンアウトの時系列での時刻３２５と、
回路部分１００の入力信号線における論理値と間接スキ
ャンによって回路部分１３４の出力信号線に現れる論理
値とが互いに反転している場合にのみ’１’となる反転
フラグ３２３とがアドレス３１２で示された所から信号
線数３１１の数だけ記述されている。

【００６４】テーブル３０２では、回路部分１００の出
力信号線の番号３２８と、前記出力信号線に間接スキャ
ンインしたい値を印加する回路部分１３４での入力信号
線の番号３３０と前記論理値を設定すべき前記間接スキ
ャンインの時系列での時刻３３１と、回路部分１００の
出力信号線における論理値と回路部分１３４の入力信号
線に設定する論理値とが互いに反転している場合にの
み’１’となる反転フラグ３２９とがアドレス３１４で
示された所から信号線数３１３の数だけ記述されてい
る。各第２の回路部分の切り口は前記信号線番号３２２
と３２８によって定義される。

【００６５】テーブル３０３には、間接スキャン操作で
使用される回路部分１３４の入力信号線番号３３２がア
ドレス３１６で指された所から信号線数３１５の数だ
け、同出力信号線番号３３２がアドレス３２０で指され
た所から信号線数３１９の数だけ記述されている。

【００６６】テーブル３０４はテーブル３０３に平行
で、回路部分１００の入力信号線に現れる回路部分１３
４の応答を回路部分１００にとり込む操作の時系列３３
３、３３４と取り込んだ値を間接スキャンアウトする操
作の時系列３３５とが順に記述される。

【００６７】テーブル３０５は、テーブル３０４の入力
信号線番号部分に平行で、間接スキャンインする操作の
時系列３３６、及び間接スキャンイン結果を保持するた
めのパターン３３７が記述される。

【００６８】本例において図１の回路部分１００への間
接スキャンイン操作は、信号線１０３に設定したい論理
値と同じ値を回路部分１３４の信号線１１１に印加し、
信号線１１２に論理的’０’の状態で正のパルス’Ｐ’
を印加すれば完了する。そこで、テーブル３０５の時刻
３３６の信号線１１１に相当する場所に、当該時刻に当
該信号線に印加した値が間接スキャンインで出現するこ
とになる出力信号線の番号’１０３’を記述し、信号線
１１２に相当する場所に’Ｐ’を記述する。さらに、間
接スキャンインを行った後、その時の第２の回路部分１
００の出力信号線の値を保持し続けるために必要な第１
の回路部分１３４の入力信号線におけるテストパターン
を最後の時刻に記述する。すなわち、次の時刻３３７で
は、信号線１１２に相当する場所に’０’を記述し、信
号線１１１に相当する場所にはどんな値でも構わないと
いう意味で’Ｘ’を記述する。

【００６９】本例においての図１の回路部分１００への
応答取り込み操作は、信号線１１２に正のパルス’Ｐ’
を印加して信号線１０１の値をフリップフロップにとり
込んで、次に信号線１１２を’０’にすることによって
なされ、時系列の長さは２である。したがってテーブル
３０４の信号線１１２に相当する場所には、時刻３３３
では’Ｐ’を記述し、次の時刻３３４では’０’を記述
し、信号線１１１に相当する場所には時刻３３３、時刻
３３４とも、何の操作を加えないという意味で’Ｘ’を
記述する。

【００７０】本例において、前記の応答取り込み操作後
の取り込んだ応答の間接スキャンアウト操作は、信号線
１１２を’０’にしたまま信号線１１１を’１’にする
ことによって、信号線１３３が’１’になり、その結果
フリップフロップの出力信号値が信号線１１３に伝わ
り、完了する。したがって、時系列の長さは１で、テー
ブル３０４の時刻３３５では、信号線１１２に相当する
場所に’０’、信号線１１１に相当する場所に’１’を
記述する。

【００７１】図３の間接スキャン手続きは回路部分１３
４の切り口信号線での手続きを記述したが、フリップフ
ロップ１３０、１３１のスキャン操作を含めて、論理回
路の外部端子での手続きを記述することも考えられる。

【００７２】次に、図１４の間接スキャン経路故障解析
データ作成処理１４０３の例を述べる。図１の信号線１
１１に例えば’０’縮退故障があると間接スキャンが正
しく行われない。従って間接スキャンインが正しいこと
を前提とする図１４のテストデータ生成処理１４０７で
正しいテスト生成が行われない。処理１４０３は前記間
接スキャンイン、スキャンアウト動作を保証するための
テスト生成である。間接スキャンに要求される機能は各
記憶素子への’０’、’１’書き込みとその読み出しだ
けであり、前記間接スキャン手続きに全て記述されてい
るので、間接スキャン手続きをテストパターンに変換す
れば間接スキャン操作結果に影響を及ぼす故障を検出す
るテストが可能となる。前記故障を処理１４０７での処
理対象から外すことにより、正しい故障仮定とテスト生
成が行われる。図１０に図３の間接スキャン手続きのテ
ストパターンへの変換例を示す。論理値は図３に記述し
たものと同じとする。パターン１１０１、パターン１１
０３は各々テーブル３０５にしたがった’１’、’０’
の間接スキャンインパターンで、パターン１１０２、パ
ターン１１０４はテーブル３０４にある操作のうち、応
答取り込み操作の長さ３１７の分を除いた間接スキャン
アウト操作に従ったテストパターンである。テーブル３
０５の時刻３３７の操作はテーブル３０４の時刻３３５
の操作に包含されるので図１０の例では省略してある。
前記’０’縮退故障がある場合はパターン１１０２で故
障時の応答１１０６と期待値１１０５とが異なり、検出
される。

【００７３】次に、図１の回路部分１００の組合せ回路
記述への変換について述べる。回路部分１００は、図２
に示される回路モデルで表現される。このモデルは、回
路部分１００の動作を表す論理式である下記の数１と、
図３に示した間接スキャン手続きとから得ることができ
る。ここで論理値Ｑ０は初期状態における回路部分１０
０のフリップフロップが保持している値、Ｃ、Ｄはそれ
ぞれ信号線１０２、１０１に印加される論理値、Ｑは初
期状態Ｑ０にてＣ、Ｄが印加された後の信号線１０３の
とる論理値である。また、回路部分１００の入出力信号
線１０１、１０２、１０３にそれぞれ１対１で対応する
入出力信号線の論理値をＤ２、Ｃ２、Ｑ２と表すものと
する。

【００７４】回路部分１００は、図３の間接スキャン手
続きの元では、ＳＩ、Ｃ２、Ｄ２の３入力とＱ２、ＳＯ
の２出力を持つ、下記の数２，３で表される組合せ回路
２００と等価となる。

【００７５】

【数１】

【００７６】

【数２】

【００７７】

【数３】

【００７８】これらの式の導出は、記憶素子の動作を表
す式を間接スキャン時の各端子への信号印加条件に従っ
て変形することである。数２と数３は記憶素子１００の
動作を表す数１が基になっている。数１を代入の繰り返
しによって３つの連続するパタンでの動作にすると、

【００７９】

【数４】

【００８０】となる。１番目のパタンが書き込みすなわ
ち間接スキャンインである上、Ｃ１＝‘Ｘ’であるの
で、Ｑ１＝Ｄ１となり、さらに、２番目のパタンにおけ
る期待値観測は１００回路部分の内容が壊されないうち
になされることになっているので、Ｃ２＝‘０’であ
り、この結果、Ｑ２＝Ｄ１となり、Ｄ１を間接スキャン
インデータＳＩにするとＱ２＝ＳＩとなり、数２が得ら
れる。その後１００回路部分の内容が壊されるかそのま
まかはＣ２に依存し、３番目のパタンが観測すなわち間
接スキャンアウトであると、Ｃ３＝‘０’であり、これ
らを数４に代入することによって、Ｑ３＝Ｃ２・Ｄ２＋
Ｃ２′・Ｄ１すなわち数３が得られる。

【００８１】すなわち、図３の手続きから、間接スキャ
ンインによって制御されるのは信号線１０３だけで、論
理値は間接スキャンインされる論理値ＳＩが直ちに反映
される。したがって論理値Ｑ２は数２で表される。初期
状態がＳＩで、Ｄ２、Ｃ２が印加された場合の回路部分
１００の応答は数１によって計算され、また図３の手続
きによると信号線１０３の値は間接スキャンアウトによ
り観測される値ＳＯに一致するので、数３が成り立つ。

【００８２】このような変換によって、回路部分１００
と置換すべき組合せ回路モデル２００が得られる。回路
部分１００の入力信号線１０１、１０２と置換するのは
信号線２０３、信号線２０４、出力信号線１０３と置換
するのは信号線２０５で、間接スキャンインで設定され
るＳＩと間接スキャンアウトで観測されるＳＯは、仮想
入出力端子２０１、２０２での値として取り扱う。

【００８３】つぎに、図１の回路部分１００を、図２に
示した回路モデル２００で置換した状態を図４に示す。
回路部分４００は回路モデル２００で置換された部分で
あり、端子４０１、４０４が仮想的外部入出力端子とな
り、端子４０２、４０３、４０５がそれぞれ図１の診断
対象回路部分１３４の入出力端子１１１、１１２、１１
３と対応する。また、図４の回路は組合せ回路なの
で、’１’縮退故障１３２に対応する４０６を検出する
ためのテストパターンを、従来から知られているアルゴ
リズムによって探索することができる。例えば、工学図
書出版の’ディジタル回路の故障診断（上）’の６５ペ
ージに記載されているＤアルゴリズムによると図５に示
されるようなテストパターンが得られる。すなわち、４
０１、４０２、４０３の３入力値と、４０４、４０５の
２出力期待値は順に’１’、’０’、’１’、’
０’、’０’となる。

【００８４】ただし実物においては、記憶素子への書き
込みをするクロックなどの信号線における信号値の変化
をその他の入力信号線における信号値の遷移が完了した
後に与えないと、内部状態の設定が正しく行われない。
実物の動作を模擬する場合もこれを避けるため、順序回
路に対するテストパターンの記述では、図３の例のよう
に、パルス論理値’Ｐ’などを定義し、各時刻で他の論
理値が確定した後’０’から’１’、または’１’か
ら’０’へ遷移することを表現している。

【００８５】一方、組合せ回路の表現に対するテストパ
ターン生成では、パルス論理値は意味を持たないため出
現しない。前記の図２に示した回路モデル２００は、書
き込み信号線に’Ｐ’が入力されるのと、対応する組み
合わせ回路の信号線に’１’が入力されるのと等価であ
ると見なして生成する。このため、組合せ回路記述にお
ける元の書き込み信号線などに対応する信号線に対して
生成された論理値は、実際の回路に印加するテストパタ
ーンの表現では、適宜パルス論理値などに変換する。こ
れは、回路モデルの記述に変換を要する端子と変換方法
を定義しておくか、間接スキャン手続きにおいて、例え
ば図３の記述では’Ｐ’などの記述のある信号線を探索
することによって実現する。図５の入力端子４０３は元
の順序回路においてはフリップフロップの書き込み信号
線に対応するので、生成された論理値’１’は実際に印
加するテストパターンでは’Ｐ’と表現する。

【００８６】次に間接スキャン手続きによる入出力デー
タ翻訳処理１４１１について述べる。図５のテストパタ
ーンの内、端子４０１、４０４に対する論理値は前記回
路モデルが持つ仮想の入出力端子にて印加観測される値
であるが、実際の値は、間接スキャン手続きにより図１
の回路部分１３４での時系列展開した印加観測パターン
に翻訳してから、さらに外部入出力端子におけるスキャ
ン手続きにしたがった時系列パターンに翻訳する二重の
翻訳処理を経て、外部入力端子１２１から１２７までよ
り入力され、スキャンアウト端子１２９より観測され
る。信号線４０２に対応する論理値は図１の外部入力端
子１２４、１２２から、また信号線４０３に対する論理
値は図１の入力端子１２７からスキャンインの時系列に
翻訳されて入力され、出力信号線４０５も同様にスキャ
ンアウト操作の時系列で外部出力端子１２９で観測され
る。

【００８７】図５のテストパターンの間接スキャン手続
きによる翻訳の結果を図６に示す。ここで、信号線番号
は図１の番号に対応する。本例では図３に示したよう
に、間接スキャンイン６０１は２段階で行われ、間接ス
キャンアウト６０３は１段階で行われ、間に仮想入出力
端子以外でのテストパターンの印加観測６０２が入るの
で、全部で４段階のテストパターンで表される。

【００８８】テストパターンはさらにスキャン手続きに
よって翻訳され、この時系列展開を図１１にタイムチャ
ートで示す。時刻０から５は前記間接スキャンイン６０
１を翻訳したもので、時刻６から１６は仮想入力端子以
外の端子へのテストパターンの印加観測６０２を翻訳し
たもので、時刻１４から２３は前記間接スキャンアウト
６０３を翻訳したものとなっている。時刻１５から１７
はテストパターン印加のためのスキャンアウト操作と、
間接スキャンアウトのために設定する必要のある値のス
キャンイン操作を同時に行っている部分である。

【００８９】間接スキャンインはさらに２つのステップ
からなっており、第１のステップ時刻０から３は図６の
操作６０１で要求する信号線１１１への’１’設定の
為、フリップフロップ１３０へ’１’をスキャンインす
る時系列となっており、第２のステップ時刻４、５はそ
れぞれ操作６０１における外部入力端子から直接設定で
きる端子１１２へのパターン印加になっている。

【００９０】仮想入力端子以外の端子へのテストパター
ンの印加観測はさらに５つのステップからなっている。
先ず第３のステップ時刻６から９で、診断する回路部分
の入力となっているスキャン用フリップフロップ１３０
に、テスト生成の結果要求される論理値’０’をスキャ
ンインする。次に、第４のステップ時刻１０で、診断す
る回路部分の外部入力端子にテストパターンを印加し、
外部出力端子の応答を観測し、期待値と比較する。本例
では回路部分１３４に外部出力端子がないためここでの
応答観測はない。また、図６の操作６０２は信号線１１
２に’１’即ち’実際の印加では’Ｐ’を要求している
が、時刻１０の対応する外部入力端子１２７には’０’
が印加されている。これは、部分回路１３４の、部分回
路１００以外の部分の応答観測は、初めの間接スキャン
インによって設定された状態でなされることをテスト生
成の前提としているためで、図３の手続きのテーブル３
０５の最後の時刻３３７に記述された状態保持パターン
と操作６０２とを比較し、前記保持パターンと矛盾しな
い値以外は前記保持パターンを上書きした前記操作６０
２のテストパターンを印加する。前記比較において矛盾
する値とは書き込みのパターンであり、このような値が
テストパターンに要求されている場合は、次の第５のス
テップで回路部分１００への書き込みを行う。第５のス
テップ時刻１１では、システムクロック１２１を有効に
し、回路部分１３４の出力側スキャン用フリップフロッ
プ１３１に、回路部分１３４の応答を取り込み、また、
時刻１１、１２では、操作６０２に書き込みパターンが
要求されているため、テーブル３０４の時刻３３３、３
３４に記述された回路部分１００への回路部分１３４の
応答取り込みパターンを、テーブル３０４において任意
となっている信号線の値を、図１１において対応する信
号線の直前のステップでの値から変化しない値にして印
加する。 第６のステップ時刻１３から１６は、第５の
ステップでスキャン用フリップフロップ１３１に取り込
んだ応答をスキャンアウトにより外部出力端子１２９で
観測するパターンとなっている。操作６０２の信号線１
１３に生成された期待値’０’を観測するのはこの出力
端子１２９において、時刻１４のスキャン用パルスが端
子１２６に印加された直後である。

【００９１】前記第５のステップでフリップフロップ１
３１に書き込む値は前記第１から第３のステップで設定
したパターンに対する回路部分１３４の応答である。従
って、回路部分の入力側にあるスキャン用フリップフロ
ップと出力側にあるスキャン用フリップフロップとのク
ロック入力が同時に有効になるような回路の場合は、次
に述べるような信号遅延時間を考慮した設計がなされて
いる必要がある。即ち、前記クロックによる前記入力側
スキャン用フリップフロップの出力値の変化の影響が、
前記出力側スキャン用フリップフロップの入力端子に達
する前に、前記出力側フリップフロップへの書き込みが
完了するような、および、前記入力側スキャン用フリッ
プフロップの出力値の変化の影響が、間接スキャンの対
象となる第２の記憶素子の入力端子に達する前に、第２
の記憶素子への書き込みが完了するような、および、第
２の記憶素子への書き込みによる出力値の変化の影響
が、前記出力側スキャン用フリップフロップの入力端子
に達する前に、前記出力側フリップフロップへの書き込
みがそれぞれ完了するような設計がなされている必要が
ある。これに対し、完全なＬＳＳＤに基づく回路では前
記第２の記憶素子に対する書き込み操作を出力側スキャ
ン用フリップフロップへの書き込みより後で行えばよ
い。

【００９２】間接スキャンアウトはさらに４つのステッ
プからなっている。このうちの初めの時刻１４から１７
の第８のステップは、図６の操作６０３で要求する信号
線１１１への’１’設定の為、フリップフロップ１３０
へ’１’をスキャンインする時系列となっているが、第
７のスキャンアウト操作のステップと共用することがで
き、時刻１４から１６が重なっている。第９のステップ
時刻１８は操作６０３における外部入力端子から直接設
定できる端子１１２への間接スキャンアウトパターン印
加になっており、この時刻の直後では、第５のステップ
で取り込んだ回路部分１３４の応答が、回路部分１００
の出力信号線を通って回路部分１３４の出力まで導かれ
ている。次の第１０のステップ時刻１９ではシステムク
ロック１２１を有効にし、回路部分１３４の出力側スキ
ャン用フリップフロップ１３１に、第８のステップで間
接スキャンアウトした応答を取り込む。第１１のステッ
プ時刻２０から２３は、前記応答をスキャンアウトによ
り外部出力端子１２９で観測するパターンとなってい
る。操作６０３の信号線１１３に生成された期待値’
０’を観測するのはこの出力端子１２９において、時刻
２０のスキャン用パルスが端子１２６に印加された直後
である。

【００９３】’１’縮退故障１３２が図１に示される位
置に仮定された場合のタイムチャートを図１２に示す。
組合せ回路で表現された図４の回路に対して生成された
図５のテストパターンでは、出力信号線１１３で正常
時’０’、故障時’１’となって故障が検出される。従
って実際にテストする場合では図１１、１２の時刻１３
のスキャンアウト端子１２９を観測する。このとき故障
があると図１１では’０’であるのに対し、図１２で
は’１’となる違いがでてくるので、故障を検出でき
る。

【００９４】以上により本発明の回路展開と間接スキャ
ン手続きによるテストパターン翻訳処理の追加により図
１に示されるような記憶素子を経由する再収れん経路の
存在する回路部分の故障診断が可能となる。

【００９５】次に、第２の実施例について述べる。順序
部分回路に含まれる記憶素子がＲＡＭである場合も、請
求項１と同様に組合せ回路でモデル化し、診断すること
ができるが、ＲＡＭ自体ではなく、ＲＡＭ周囲の回路を
診断するという目的にあっては、ＲＡＭの持つ多数の内
部状態変数の内の数個のアドレスを利用するだけでよ
い。例えば図８に示すような、スキャン回路によって切
り出された部分回路８００が、図７に示すようなＲＡＭ
７００（図８のＲＡＭ８２０）を含む場合を述べる。

【００９６】図７において前記ＲＡＭの動作を説明する
と、書き込み信号線７０３が’１’の時、データ出力信
号線７０４にはデータ入力信号線７０２と同じデータが
出力され、かつアドレス信号線７０１で示されるアドレ
スに前記データが格納される。書き込み信号線７０３
が’０’の時、信号線７０４には信号線７０１でその時
刻に示されるアドレスに格納されているデータが出力さ
れる。

【００９７】図８のＲＡＭ８２０について間接スキャン
手続きを記述した例が図１７で、ＲＡＭ８２０の番号お
よび入出力信号線８０１から８１４の番号は、図８での
番号に対応する。間接スキャン手続きは図３と同様に６
つのテーブルで構成され、ＲＡＭへの書き込みや読みだ
しが必ずアドレスを伴っているところに特徴がある。テ
ーブル１７００は、本発明により組み合わせ回路に置換
される順序回路部分のリストで、ＲＡＭ８２０の入力信
号線数１７１１と出力信号線数１７１３と、内部状態の
設定と観測に関与する回路部分８００の入力信号線数１
７１５と出力信号線数１７１９と、前記ＲＡＭ８２０の
入力信号線に現れる回路部分８００の応答をＲＡＭ８２
０にとり込む操作の時系列の長さ１７１７と取り込んだ
値を間接スキャンアウトする操作の時系列の長さ１７１
８と、間接スキャンイン操作の時系列の長さ１７２１と
が格納される。

【００９８】テーブル１７０１には、ＲＡＭ８２０の入
力信号線の番号１７２２と、信号線が複数の信号線から
なる束信号線であった場合にそれを認識するために信号
線数１７２３を格納し、前記入力信号線から取り込んだ
値を間接スキャンアウトする回路部分８００での出力信
号線の番号１７２５と、前記間接スキャンアウトの時系
列での出現する時刻１７２６と、ＲＡＭ８２０の入力信
号線における論理値と間接スキャンによって回路部分８
００の出力信号線に現れる論理値とが互いに反転してい
る場合にのみ’１’となる反転フラグ１７２４とがアド
レス１７１２で示された所から信号線数１７１１の数だ
け記述されている。

【００９９】テーブル１７０２では、ＲＡＭ８２０の出
力信号線の番号１７２７と、信号線が複数の信号線から
なる束信号線であった場合にそれを認識するために信号
線数１７２８と、ＲＡＭ８２０の出力信号線に間接スキ
ャンインしたい値を印加する回路部分８００での入力信
号線の番号１７３０と前記論理値を設定すべき前記間接
スキャンインの時系列での時刻１７３１と、フラグ１７
２４と同様な反転フラグ１７２９とがアドレス１７１４
で示された所から信号線数１７１３の数だけ記述されて
いる。回路部分８００の切り口は前記信号線番号１７２
２と１７２７によって定義される。

【０１００】テーブル１７０３には、間接スキャン操作
で使用される回路部分８００の入力信号線番号１７３２
がアドレス１７１６で指された所から信号線数１７１５
の数だけ、同じく出力信号線番号１７３２がアドレス１
７２０で指された所から信号線数１７１９の数だけ記述
されている。

【０１０１】テーブル１７０４はテーブル１７０３に平
行で、ＲＡＭ８２０の入力信号線に現れる回路部分８０
０の応答をＲＡＭ８２０にとり込む操作の時系列１７３
３、１７３４と、取り込んだ値を間接スキャンアウトす
る操作の時系列１７３５とが順に記述される。

【０１０２】テーブル１７０５は、テーブル１７０４の
入力信号線番号部分に平行で、間接スキャンインする操
作の時系列１７３６と、間接スキャンインした値を保持
するパタン１７３７が記述される。

【０１０３】ＲＡＭ８２０への間接スキャンイン操作
は、信号線８１４に設定したい論理値と同じ値を回路部
分８００の信号線８０２に印加し、信号線８０３に論理
的’０’の状態で正のパルス’Ｐ’を印加すれば、この
時信号線８０１に印加されるアドレスに書き込まれ、完
了する。そこで、テーブル１７０５の時刻１７３６の信
号線８０２に相当する場所に、当該時刻に当該信号線に
印加した値が間接スキャンインで出現することになる出
力信号線の番号’８１４’を記述し、アドレスを印加す
る信号線８０１に相当するところにＲＡＭ８２０へその
アドレスが伝わってくる信号線番号’８１１’を記述
し、信号線８０３に相当する場所に’Ｐ’を記述する。
さらに、間接スキャンインを行った後、その時のＲＡＭ
８２０の出力信号線の値を保持し続けるために必要な第
１の回路部分８００の入力信号線におけるテストパタン
を最後の時刻に記述する。すなわち、次の時刻１７３７
では、信号線８０３に相当する場所に’０’を記述し、
信号線８０１、８０２に相当する場所にはどんな値でも
構わないという意味で’Ｘ’を記述する。

【０１０４】ＲＡＭ８２０への応答取り込み操作は、信
号線８０３に正のパルス’Ｐ’を印加して、次に信号線
８０３を’０’にして保持することによってなされ、時
系列の長さは２である。したがってテーブル１７０４の
信号線８０３に相当する場所には、時刻１７３３では’
Ｐ’を記述し、次の時刻１７３４では’０’を記述し、
信号線８０１、８０２に相当する場所には時刻１７３
３、時刻１７３４とも、何の操作を加えないという意味
で’Ｘ’を記述する。

【０１０５】本例においての前記で取り込んだ応答の間
接スキャンアウト操作は、信号線８０３を’０’にした
まま信号線８０２を’１’にすることによって完了す
る。したがって、時系列の長さは１で、テーブル１７０
４の時刻１７３５では、信号線８０３に相当する場所
に’０’、信号線８０２に相当する場所に’１’を記述
する。

【０１０６】ＲＡＭが複数のアドレス入力信号線群を持
つ場合、例えば書き込み用アドレスと読みだし用アドレ
スとが別々に存在する場合などでは、テーブル１７０４
と１７０５とで異なるアドレス信号線番号が出現する。

【０１０７】以上で説明した図１７の手続きにおける設
定、観測のシーケンスのアドレスはそれぞれ１種類であ
るから、図８の回路部分８２０と置換する組合せ回路モ
デルは、間接スキャンイン時のアドレスＳＩＡとその時
のデータＳＩＤ、及び間接スキャンアウト時のアドレス
ＳＯＡとその時のデータＳＯＤを仮想的外部入出力端子
とする。すなわち、本例のテストにおける回路部分８２
０の機能は、任意のアドレスＳＩＡ一つだけが、任意の
データＳＩＤに初期化された状態においてテストパタン
を印加し、前記テストパタンでの信号線８０１の値Ａが
前記アドレスＳＩＡに等しいなら、この時ＲＡＭ８２０
の出力信号線を前記の任意データＳＩＤに固定しておく
ことができ、また前記テストパタンでの信号線８１３が
書き込み状態であれば、この時のＲＡＭ８２０の入力信
号線８１２に現れた回路部分８００の応答をアドレスＡ
に読み込むことができ、次にアドレスＳＯＡを前記アド
レスＡと一致させれば、その保持するデータＳＯＤを読
み出すことができるというものになる。

【０１０８】次に、前記ＲＡＭ８２０の組合せ回路モデ
ルについて述べる。図７のＲＡＭの動作から、データ出
力信号線Ｏ及びＳＯＤの値を論理式で記述すると、下記
の数５，６となる。

【０１０９】

【数５】

【０１１０】

【数６】

【０１１１】ここで［ａ＝ｂ］はａとｂとが等しいとき
論理的’１’、そうでないときは’０’となる変数とす
る。

【０１１２】これらの式の導き方は、数１，２，３と同
様である。すなわち、ＲＡＭの動作を３つの連続するパ
タンについて本文中の記法を用いて一般的に記述する
と、下記の数７となる。

【０１１３】

【数７】

【０１１４】ここで、パタン１では書き込みのみという
ことでＷ１＝１とし、パタン２では読みだしのみという
ことでＷ２＝０とし、また、パタン３ではＷ２は固定せ
ず、パタン３での読みだしのみということでＷ３＝０と
し、更に、Ａ１＝ＳＩＡ、Ｄ１＝ＳＩＤ、Ａ２＝Ａ、Ｄ
２＝Ｄ、Ｗ２＝Ｗ、Ａ３＝ＳＯＡ、Ｏ２＝Ｏ、Ｏ３＝Ｓ
ＯＤとすると、それぞれ式２２０１と式２２０２が得ら
れる。

【０１１５】前記の論理式を組合せ回路の記述にすると
図１６になる。ここで信号線１６０３、１６０４、１６
０５、１６０７はそれぞれ図８の回路部分８２０の信号
線８１１、８１２、８１３、８１４と置換し、信号線１
６０１、１６０２、１６０６、１６０８は仮想的外部入
出力端子として取り扱う。テスト生成は第１の実施例の
場合と同様の方法で行うことができる。また、組合せ回
路記述で生成されたテストパタンの実際の回路へ印加す
るパタンへの翻訳も同様になされる。例えば、図１１の
タイムチャートの時刻０から３のスキャンインに相当す
るところではアドレスＳＩＡもスキャンインし、時刻１
３から１６のスキャンインに相当するところではアドレ
スＳＯＡもスキャンインする。

【０１１６】アドレス入力信号線に影響が伝播してくる
故障の検出情報を他の手段、例えばＲＡＭ自体のテスト
をするときのパタンでのアドレス信号伝播経路上の故障
検出情報を別の故障シミュレーションなどで求めておく
場合は、前記仮想アドレス入力信号線ＳＩＡ、ＳＯＡを
省略し、例えばアドレスは常に’０’に固定するか、Ｓ
ＩＡは’０’、ＳＯＡは’１’などに固定する組合せ回
路モデルとすることもできる。

【０１１７】このようにしたのは、ＲＡＭ自体はＲＡＭ
テストなどの方法でテストすることが前提であるため、
アドレス信号線に伝わってくる故障は取り扱わなくてよ
い場合も考えられ、この場合は、アドレスをいろいろ変
化させなくても、一つの記憶単位を用いてテストを完遂
することが可能であるからである。すなわち、アドレス
を間接スキャン時もテストパタン印加時も同じにしてお
くということで、モデルとしてはアドレス信号線は仮想
外部端子でなく、内部で固定しておくこととした。

【０１１８】以上に述べた方法により内部回路にＲＡＭ
を含んだ論理回路の診断を、診断用の回路を付加するこ
となく、組合せ回路に対するのと同程度の容易さで行う
ことが可能となる。

【０１１９】以上の説明のように、スキャン不能な記憶
素子を含む論理回路を診断するシステムにおいて、前記
記憶素子に対する間接スキャンの手続きを記述し入力す
ることによって、また、記憶素子部分を組合せ回路モデ
ルで置換することによって、診断用入出力端子や回路に
セレクタ等の部品を加えることなく、組合せ回路の診断
と同等の簡潔さで診断データを生成し、かつ従来より未
検出故障を低減する効果がある。前記記憶素子がＲＡＭ
である場合、回路モデルにアドレス信号用の仮想的な外
部入力端子を設定することにより、第１の実施例と同様
な効果を得ることができる。

【０１２０】

【発明の効果】以上の説明のように、本発明によれば、
故障診断の対象とする回路の直前または直後にスキャン
回路が無くても故障診断が可能になり、故障診断の対象
とする回路にハードウェアの増加および信号遅延のよう
な問題点が生じない順序回路を含む論理回路の診断シス
テムを提供できる。

【図面の簡単な説明】

【図１】本発明の第１の実施例による診断例で対象とす
る論理回路の回路図

【図２】前記論理回路の記憶素子を含む回路部分の組合
せ回路モデルの説明図

【図３】前記論理回路の記憶素子を含む内部回路部分へ
の間接スキャン手続きの表現方法の説明図

【図４】内部回路部分の組合せ回路モデルの説明図

【図５】組合せ回路表現した内部回路部分の診断用テス
トパタンの説明図

【図６】組合せ回路表現した内部回路部分に対して生成
されたテストパタンの間接スキャン手続きによる翻訳結
果の説明図

【図７】本発明の第２の実施例の適用対象とする記憶素
子（ＲＡＭ）の回路表現の説明図

【図８】前記ＲＡＭを含む内部回路部分の組合せ回路モ
デルの説明図

【図９】スキャン用フリップフロップの構成図

【図１０】間接スキャンの操作に影響する故障を検出す
るテストパタンの、間接スキャン手続き記述からの生成
例の説明図

【図１１】第１の実施例におけるテストパタンに対する
正常時のタイムチャート

【図１２】第１の実施例におけるテストパタンに対する
故障時のタイムチャート

【図１３】従来の診断システムの処理のフローチャート

【図１４】本発明における診断システムの処理のフロー
チャート

【図１５】間接スキャン経路故障解析データ作成処理の
フローチャート

【図１６】ＲＡＭの組合せ回路モデルの説明図

【図１７】ＲＡＭを含む内部回路部分への間接スキャン
操作の手続きの表現方法の説明図

【図１８】従来技術に係る、内部回路のテスト方法の説
明図

【図１９】従来技術に係る、内部回路のテスト方法の説
明図

【図２０】従来技術に係る、内部回路のテスト方法の説
明図

【図２１】従来のＲＡＭの組合せ回路モデルの説明図

【図２２】間接スキャン手続が存在しない場合の説明図

【図２３】第１のテストパターンで検出できない場合の
説明図

【図２４】組合せ回路で表現できない場合の説明図

【図２５】従来は、組合せ回路で表現できなかったが、
本発明により表現できる場合の説明図

【符号の説明】

１３４…第１の回路部分、２００…組合せ回路、７００
…ＲＡＭ、８００…回路部分、１６００…組合せ回路、
１６０１、１６０２、１６０６、１６０８…仮想的外部
入出力端子。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 南雲 宇晴 神奈川県秦野市堀山下１番地 株式会社日 立製作所汎用コンピュータ事業部内

Claims (9)

【特許請求の範囲】
1. 【請求項１】順序回路を含む論理回路を診断するための
   診断データを作成する順序回路を含む論理回路の診断シ
   ステムであって、 診断対象である前記論理回路は、 スキャン可能な第１の論理回路または外部入力端子と、 前記のスキャン可能な第１の論理回路または外部入力端
   子に後続する第１の回路部分と、 前記第１の回路部分に後続する、スキャン可能な第１の
   論理回路または外部出力端子とを有し、 前記第１の回路部分は、 診断の対象である診断対象回路と、 前記診断対象回路に後続し、診断の対象としない第２の
   回路部分とを有し、 前記第２の回路部分は、スキャン不能な順序回路を含
   み、 前記診断システムは、 前記論理回路を構成する素子の接続関係と、前記第１の
   論理回路に前記外部入力端子から値を設定し、前記論理
   回路の外部出力端子で値を観測するためのスキャン手続
   きと、前記順序回路に前置する、前記第１の論理回路ま
   たは前記外部入力端子に値を設定することにより、前記
   診断対象回路が出力する値を前記順序回路に保持させ、
   前記順序回路が保持する上記値を前記外部出力端子また
   は前記順序回路に後続する第１の論理回路により観測す
   る間接スキャン手続きとが入力される受付部と、 前記接続関係と、前記スキャン手続と、前記間接スキャ
   ン手続とにより、前記論理回路に入力する診断のための
   テストデータと、前記テストデータに対する故障モード
   ごとの期待値とを出力する処理部とを有し、 前記診断対象回路が出力する値を前記順序回路を通し
   て、間接スキャンするためのデータを作成することを特
   徴とする順序回路を含む論理回路の診断システム。
2. 【請求項２】論理回路を診断するための診断データを作
   成する順序回路を含む論理回路の診断システムであっ
   て、 診断対象である前記論理回路は、 第１の回路部分と、 前記第１の回路部分に前置する、スキャン可能な第１の
   論理回路または外部入力端子とを有し、 前記第１の回路部分は、 診断の対象である診断対象回路と、 前記診断対象回路に前置し、診断の対象としない第２の
   回路部分とを有し、 前記第２の回路部分は、スキャン不能な順序回路を含
   み、 前記診断システムは、 前記論理回路を構成する素子の接続関係と、前記第１の
   論理回路に前記論理回路の外部入力端子から値を設定あ
   るいは前記論理回路の外部出力端子で値を観測するスキ
   ャン手続きと、前記順序回路に前置する第１の論理回路
   または前記外部入力端子に値を設定することにより、前
   記順序回路が保持する値を設定し、前記順序回路が保持
   する値を後続する診断対象回路に入力するための間接ス
   キャン手続きとを入力される受付部と、 前記接続関係と、前記スキャン手続と、前記間接スキャ
   ン手続とにより、前記論理回路に入力する診断のための
   テストデータと前記テストデータに対する故障モードご
   との期待値とを出力する処理部とを有し、 前記順序回路が保持する値を後続する前記診断対象回路
   に間接スキャンするための診断データを作成することを
   特徴とする順序回路を含む論理回路の診断システム。
3. 【請求項３】請求項１または２記載の順序回路を含む論
   理回路の診断システムにおいて、 前記間接スキャン手続きは、 前記第１の論理回路の入力または前記外部入力端子に設
   定する値および、前記第１の論理回路の出力または前記
   外部出力端子に出現する値の時系列と、 第２の回路部分の入出力値との対応として入力されるこ
   とを特徴とする順序回路を含む論理回路の診断システ
   ム。
4. 【請求項４】請求項１、２または３記載の順序回路を含
   む論理回路の診断システムにおいて、 上記処理部は、前記間接スキャン手続きに従って第１の
   テストパタン群を生成し、前記第１のテストパタン群に
   対し、故障シミュレーションを実施し、検出可能故障を
   判定する故障判定手段を有することを特徴とする順序回
   路を含む論理回路の診断システム。
5. 【請求項５】請求項４記載の順序回路を含む論理回路の
   診断システムにおいて、 上記処理部は、前記第２の回路部分の順序回路を、テス
   トパターン印加時の応答を求めるための組合せ回路記述
   であって、前記テストパターン印加前の前記第２の回路
   部分の内部状態を表す第２の回路部分内部の順序回路が
   保持する値、及び、前記テストパターン印加後の前記順
   序回路が保持する値を前記論理回路の外部から設定ある
   いは観測するための仮想の入出力端子群を持つ仮想の回
   路記述に置き換え、故障を検出するための第２のテスト
   パターン群を生成することを特徴とする順序回路を含む
   論理回路の診断システム。
6. 【請求項６】請求項５記載の順序回路を含む論理回路の
   診断システムにおいて、 上記処理部は、 前記第２のテストパターン群のうち前記仮想の入力端子
   群に対して生成されたテストパターンを、間接スキャン
   手続きに従って、元の順序回路および外部入力端子に対
   するテストパターンの印加操作に翻訳する第１の処理手
   段と、 前記第２のテストパターン群のうち前記仮想の出力端子
   群に対して生成された期待値を、間接スキャン手続きに
   従って、前記順序回路および外部入力端子に対するテス
   トパターンの観測操作に翻訳する第２の処理手段とを有
   することを特徴とする順序回路を含む論理回路の診断シ
   ステム。
7. 【請求項７】請求項６記載の順序回路を含む論理回路の
   診断システムで得られた前記第２のテストパターンに基
   づいて、診断を３段階に分けて実行する、回路の診断方
   法であって、 第１段階では前記第２の回路部分の内部状態の初期化を
   行い、 第２段階ではスキャン手続きによる前記第１の論理回路
   への設定を行い、外部入出力端子での前記第２のテスト
   パターンの設定および観測を行った後、 前記後続する第１の論理回路への前記第１の回路部分の
   この時点での応答の格納、および、前記第２のテストパ
   ターンにおいて仮想でない第２の回路部分の入力端子を
   通して前記第２の回路部分内部の順序回路への書き込み
   をするテストパターンが存在する場合は当該書き込みを
   行い、 次にスキャン手続きによって前記第１の論理回路の内容
   を観測する操作を行い、 第３段階では前記第２の回路部分の内部状態の観測を行
   うことを特徴とする診断方法。
8. 【請求項８】請求項５または６記載の順序回路を含む論
   理回路の診断システムにおいて、 前記第２の回路部分がランダムアクセスメモリであると
   き、前記仮想の回路記述は、 前記ＲＡＭの第１のアドレス入力信号線群に置換する第
   １のアドレス入力信号線群と、第１のデータ入力信号線
   群に置換する第１のデータ入力信号線群と、第１の書き
   込み読み出し制御信号線群に置換する第１の制御信号線
   群と、第１の出力信号線群に置換する第１の出力信号線
   群とを有し、 さらに、回路の動作を模擬するために使用する回路記述
   上にのみ存在する仮想的な外部入出力端子である、第
   ２、第３のアドレス入力信号線群と第２のデータ入力信
   号線群と第２の出力信号線群とを有することを特徴とす
   る順序回路を含む論理回路の診断システム。
9. 【請求項９】請求項８記載の順序回路を含む論理回路の
   診断システムにおいて、 前記仮想の回路記述は、 第１のアドレス入力信号線群に印加されたアドレスが第
   ２のアドレス信号線群に印加されるアドレスと等しい場
   合は、第２のデータ入力信号線群に印加された値と同じ
   値が第１の出力信号線に出力され、 第３のアドレス信号線群に印加されるアドレスが第１の
   アドレス信号線群に印加されるアドレスと等しく、かつ
   第１の制御信号線群にＲＡＭへの書き込み動作がなされ
   るような値が印加される場合では、第１の入力信号線群
   に印加される値が第２の出力信号線群に出力され、 第３のアドレス信号線群に印加されるアドレスが第２の
   アドレス信号線群に印加されるアドレスと等しく、か
   つ、第１の制御信号線群にＲＡＭへの書き込み動作がな
   されないような値が印加される場合または第１の制御信
   号線群にＲＡＭへの書き込み動作がなされるような値が
   印加されるが第１のアドレス入力と第２のアドレス入力
   とが等しくない場合では、第２のデータ入力信号線群に
   印加される値が第２の出力信号線群に出力されるような
   組み合わせ回路の記述であることを特徴とする順序回路
   を含む論理回路の診断システム。