JP4099359B2 - テストパターンデータベースを再利用する順序回路自動テストパターン生成システム - Google Patents

テストパターンデータベースを再利用する順序回路自動テストパターン生成システム Download PDF

Info

Publication number
JP4099359B2
JP4099359B2 JP2002201383A JP2002201383A JP4099359B2 JP 4099359 B2 JP4099359 B2 JP 4099359B2 JP 2002201383 A JP2002201383 A JP 2002201383A JP 2002201383 A JP2002201383 A JP 2002201383A JP 4099359 B2 JP4099359 B2 JP 4099359B2
Authority
JP
Japan
Prior art keywords
test pattern
database
test
circuit
pattern generation
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP2002201383A
Other languages
English (en)
Other versions
JP2004045145A (ja
Inventor
一之 山村
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP2002201383A priority Critical patent/JP4099359B2/ja
Publication of JP2004045145A publication Critical patent/JP2004045145A/ja
Application granted granted Critical
Publication of JP4099359B2 publication Critical patent/JP4099359B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Images

Landscapes

  • Tests Of Electronic Circuits (AREA)

Description

【0001】
【発明の属する技術分野】
本発明は、LSI等の順序回路のテストパターンを生成する順序回路自動テストパターン生成装置を利用した自動テストパターン生成システムに関する。
【従来の技術】
順序回路の自動テストパターン生成は、故障表を予め作成して順序回路に存在する故障を仮定した後で、順序回路自動テストパターン生成装置(ATPG;Automatic Test Pattern Generator)を用いて自動的にテストパターン生成を行う。この順序回路自動テストパターン生成装置はコンピュータプログラム(ソフトウェア)として実現されるものであり、与えられた故障集合(故障表)に対して順序回路のためのテストパターンを求める操作(検出)が実行される。以下、この明細書では、この順序回路自動テストパターン生成装置を順序回路ATPGという。
【0002】
順序回路ATGPは、与えられた故障表に基づいて対象故障を取得し、対象故障を活性化させるテストパターンと、対象故障を出力に伝播させるテストパターンとを生成する。ただし、順序回路であるため、入力信号のパターンの順序によって出力信号が変化することを考慮する。
【0003】
また、順序回路のテストパターンを生成する手法として、故障を活性化させるテストパターンを記録しておき、検出が難しいテストパターンを検出する際に、そのテストパターンを利用して検出する手法がある。
【発明が解決しようとする課題】
しかしながら、従来の順序回路テストパターン生成手法では、順序回路ATPGにより一度テストパターンを生成した順序回路について、回路の修正を行った場合、故障表を作り直すため、すでに生成したテストパターンを再利用することができなかった。
【0004】
また、故障を活性化させるテストパターンや、故障を出力に伝播させるテストパターンの順序データベースを用いる従来の手法も、回路の変更が行われた場合には、テストパターンのシーケンス(順序)が変更されるため、最初からテストパターンを生成する必要があった。
【0005】
さらに、新規に順序回路のテストパターンを生成する際に、回路の複雑さによっては、順序回路ATPGを用いてテストパターン生成ができない場合や、テストパターン生成に膨大な時間がかかる等の問題があった。
【0006】
本発明は、上記の点に鑑みてなされたものであり、テストパターンが既に生成されている順序回路に回路変更が行われた場合に、既に生成されたテストパターン、テストシーケンスを再利用することを可能とし、テストパターン生成にかかる時間を短縮できる自動テストパターン生成システムを提供することを目的とする。
【課題を解決するための手段】
上記課題を解決するため、請求項1に記載した発明は、自動テストパターン生成システムが、順序回路の自動テストパターン生成装置と、前記テストパターン生成装置により生成されたテストパターン、故障表、ネットリストを記録したデータベースと、前記データベースに各故障ごとに記録された各々のテストパターンと、前記ネットリストの各回路ブロックとを関連付けするインデックスを作成するインデックス作成手段と、前記インデックスを用いて前記データベースを検索するデータベース検索手段と、前記順序回路の一部が変更された場合に、前記データベース検索手段を用いて前記データベースより既に生成されたテストパターンの一部を取得すると共に、前記テストパターン生成装置を用いて新しいテストパターンを生成するデータベース制御手段とを備えることを特徴とする。 本発明では、データベースにネットリスト、故障表、自動テストパターン生成装置が生成したテストパターン、テストシーケンスを取り込み、データベースに各故障ごとに記録してある各々のデータを部品化することで順序回路自動テストパターン生成装置がテストパターン生成を行うときに、これらのデータにアクセスすることが可能になる。
【0007】
請求項2に記載の発明は、請求項1記載の自動テストパターン生成システムにおいて、前記自動テストパターン生成システムが、前記データベースに記録されたテストパターン、故障表、ネットリストをネットワーク上の端末において参照可能に構成され、前記データベース制御手段が、前記テストパターン生成装置を用いたテストパターン生成を行う際に、前記データベース上の既に生成されたテストパターンをネットワークを介して検出することを特徴とする。本発明では、データベースをNFS(Network File System)等の形式で登録することで、データベースに対しネットワークを介して参照可能に構成し、順序回路自動テストパターン生成装置がこのデータベースからのデータを利用して順序回路のテストパターン生成を行うことが可能となる。
【0008】
請求項3に記載した発明は、請求項2記載の自動テストパターン生成システムにおいて、前記データベース制御手段が、前記順序回路に変更が生じた場合に、前記データベースから再利用可能なテストパターンを取得すると共に、変更が必要なテストパターンのみについて前記テストパターン生成装置を用いたテストパターン生成を行うことを特徴とする。テストパターンがすでに生成されている回路について、回路に変更が生じた場合、本発明は、データベースに回路のネットリストと故障表、テストパターン、テストシーケンスの情報が、相互参照可能な形式で登録されているため、順序回路自動テストパターン生成装置は、回路の変更によって、影響を受ける故障を故障表から摘出し、その部分だけをテストパターン生成することが可能になる。このことにより、最初からテストパターンを作り直す必要がなくなり、テストパターン生成にかかる時間を短縮することが可能になる。
【0009】
請求項4に記載した発明は、請求項3記載の自動テストパターン生成システムにおいて、前記データベース制御手段が、前記順序回路で変更された回路素子の故障についてテストパターンを生成する際に、変更された回路素子と変更されていない回路素子の境界までのテストシーケンスを前記データベースから検出し、該テストシーケンスを再利用して、変更された回路素子の故障を検出するテストパターンを前記テストパターン生成装置により生成することを特徴とする。本発明によれば、回路上で変更された素子の故障についてテストパターンを生成する際、変更されている素子と変更されていない素子の境界は、データベースのネットリストを比較した結果から得ることができるため、その結果から、対象故障のテストシーケンスの境界を識別し、その境界までのテストシーケンスを順序回路自動テストパターン生成装置に受け渡す事が可能となる。順序回路自動テストパターン生成装置は、そのシーケンスを利用して、変更されている素子の故障を検出するテストパターンを自動テストパターン生成装置処理することで、テストパターンの再利用と、テストパターン生成にかかる時間の短縮を行うことが可能となる。
【0010】
請求項5に記載した発明は、請求項4記載の自動テストパターン生成システムにおいて、前記データベース制御手段が、新しい順序回路のテストパターンを生成する際に、前記データベースより既に生成されている回路情報を検出し、回路の一部が一致している場合、一致する回路ブロックに係る既に生成されたテストシーケンスを前記データベースから取得して、前記テストパターン生成装置を用いたテストパターン生成に利用することを特徴とする。本発明では、テストパターンを再利用することが可能でるため、新規に順序回路のテストパターンを生成する際、ネットワーク等を介して、データベースを参照することが可能なため、回路構成がまったく同じ部分については、データベースに登録されているテストパターンを再利用することが可能となる。また、回路構成が似ている部分については、そのテストシーケンスを利用し、テストパターン生成することが可能である。
【0011】
請求項6に記載した発明は、請求項3乃至5のいずれか一項記載の自動テストパターン生成システムにおいて、前記データベース制御手段が、再生成されたテストパターン、テストシーケンスを全て前記データベースに新しく登録して記録するデータベース更新手段を有することを特徴とする。回路変更や、新規作成した回路のデータベースが更新されることで、順序回路自動テストパターン生成装置で利用可能なテストパターン、テストシーケンスは、本発明による装置を利用するたびに増えていくことになる。よって、品種が多ければ多いほど、順序回路自動テストパターン生成装置の効率は向上する。
【0012】
請求項7に記載した発明は、請求項1記載の自動テストパターン生成システムにおいて、前記データベース制御手段が、回路変更が行われた場合に、前記データベースから回路変更によって影響を受けるテストパターンと、回路変更によって影響を受けないテストパターンとを別々に検出し、影響を受けないテストパターンを再利用可能なテストパターンとして前記データベースから取得するテストパターン識別手段を有することを特徴とする。データベースからテストパターン、テストシーケンスを検索する際、本発明によれば、ネットリスト、故障表、テストパターン、テストシーケンスに変更が生じた場合、履歴管理を行い、回路変更後にそれぞれに与える影響をインデックスで相互参照可能としているため、順序回路自動テストパターン生成装置がデータベースにアクセスし、テストパターン生成に必要な情報を検索する場合、このインデックスをたどれば、データベースの検索に要する時間を短縮することができる。
【発明の実施の形態】
以下、本発明の実施の形態を添付の図面を参照しながら具体的に説明する。
【0013】
図1は本発明の自動テストパターン生成システムの一実施形態を示す。
【0014】
図1に示したように、本発明の自動テストパターン生成システム1は、大別すれば、順序回路ATPG10、データベース制御部20、及びデータベース30により構成されている。
【0015】
順序回路ATPG10としては、従来実用化されている順序回路ATPGプログラム(ソフトウェア)を用いることができる。必要に応じて、適宜、順序回路のためのテストパターン生成プロセスを容易にするためのATPGツールを含めて構成してもよい。
【0016】
データベース30には、ネットリスト31と、故障表32と、テストシーケンス33と、テストパターン34と、インデックス作成部35と、インデックス36とが形成されている。
【0017】
故障表32は、順序回路に存在する故障(故障集合)を仮定するために予め作成されたものである。順序回路ATPG10は、この故障表32に基づいて対象故障を取得して、対象故障を活性化させるテストパターンと、対象故障を出力に伝播させるテストパターンを生成する。
【0018】
ネットリスト31は、順序回路の回路構成を表現するための構造記述を特定の回路ブロック(セル)ライブラリを用いた繋がりとして記述したものである。構造記述とは、論理合成の結果として、論理ゲートの組み合わせ回路とデータ保持の記憶ゲートの繋がりとして記述されたものを意味する。ネットリスト31の割り付けの際には、ライブラリに準備されている回路ブロック(セル)に応じた最適化がなされる。
【0019】
また、順序回路ATPG10により生成されるテストシーケンス、テストパターンが、このデータベース30のテストシーケンス33、テストパターン34としてそれぞれ登録され、記録されている。
【0020】
このデータベース30には、ネットリスト31、故障表32、順序回路ATPG10により生成されたテストパターン34、テストシーケンス33を相互に参照可能とするために、インデックス作成部35が設けてある。インデックス作成部35は、データベース30に各故障ごとに記録された個々のテストパターンやテストシーケンスと、ネットリスト31の各回路ブロックとを関連付けするインデックスを作成し、これらのインデックスとその対応するテストパターンやテストシーケンスのデータベース30における格納箇所とインデックス36に保持する。
【0021】
この実施態様の自動テストパターン生成システム1は、データベース30と、データベースを各故障ごとにインデックスを作成して部品化するインデックス作成部35と、これらのデータベースを制御するデータベース制御部20とを備え、これらの装置を利用して新しいテストパターンを生成する。
【0022】
上記データベース30は、NFS(Network File System)などのネットワーク上で参照できる形式で登録してあり、ネットワーク上の任意のコンピュータ端末で参照可能にすることにより、順序回路ATPG10がこれらのデータベースを用いて、順序回路のテストパターン、テストシーケンスを生成する。
【0023】
図1の自動テストパターン生成システム1において、データベース制御部20は、ネットリスト比較エンジン21と、テストシーケンス識別エンジン22と、テストパターン識別エンジン23と、テストシーケンス再利用エンジン24と、テストパターン再利用エンジン25と、データベース検索エンジン26と、データベース更新エンジン27とが形成されている。各エンジンの機能については、後述する(図3乃至図6を参照)。
【0024】
図1の自動テストパターン生成システム1において、データベース制御部20は、テストパターンがすでに生成されている順序回路について、回路の変更が生じた場合、最初からテストパターンを作り直すのではなく、その順序回路上で変更された回路素子の故障について、データベース30から変更前のネットリストと変更後のネットリストを比較し、回路変更によって影響を受ける故障の境界を識別する。その後、データベース30から回路変更の影響を受けるテストパターンと、影響を受けないテストパターンを分別し、変更すべきテストパターンのみを順序回路ATPG10で自動生成する。
【0025】
データベース制御部20は、この際に、ネットリストの比較結果から変更後と変更前のテストシーケンスを比較し、変更されている回路素子と変更されていない回路素子の境界までのテストシーケンスをデータベース30から検索し、そのテストシーケンスを順序回路ATPG10に引き渡す。順序回路ATPG10は、受取ったテストシーケンスに基づいて、変更されている素子の故障を検出するテストパターンを自動生成する。順序回路ATPG10が処理した結果は、データベース30に再度、登録する。
【0026】
また、データベース制御部20は、新しく順序回路のためのテストパターンを生成する場合、登録されているデータベース30から回路情報を検索し、新規回路と同じ構成である回路素子のテストパターンを利用する。全く同じ構成ではなくても、回路の一部が一致している場合、そのテストシーケンスを取り込み、順序回路ATPG10によるテストパターン生成に利用する。
【0027】
また、データベース制御部20は、新しく生成されたテストパターン、テストシーケンス、故障表、ネットリストを、全てデータベース30に再登録し、他の回路や、回路に修正を加えたときに再利用可能なものにする。
【0028】
また、データベース制御部20は、回路変更が行われたときに、変更によって影響を受ける故障をデータベース30の故障表32から取得し、変更が必要なテストパターンと、そのシーケンスを別のデータベースに登録する。また、回路の変更に対して全く影響を受けないテストパターンとそのシーケンスについても、別のデータベースに登録する。これらのデータベースに対し、インデックス作成部35は、データ毎(テストパターン、テストシーケンス、故障表、ネットリスト)に相互参照可能とするインデックスを作成し、再度、順序回路ATPG10によるテストパターン生成を行う際、データベース30へのアクセスと検索が効率よく行えるようにする。
【0029】
図2に、ネットワークを用いてデータベースを参照する場合のシステム構成の一例を示す。図2の例では、ネットワーク2上のコンピュータ端末(クライアント)4に、本発明に係るデータベース制御部20と順序回路ATPG10が配設してあり、ネットワーク2上の複数のサーバ6(例えば、複数の設計部門で利用されているサーバ)にそれぞれデータベース30が接続されている。各データベース30に記録されているデータ(テストパターン、テストシーケンス、故障表、ネットリスト)は、各部門に共通のデータであってもよいし、各部門ごとに異なるデータであってもよい。
コンピュータ端末4のユーザは、ネットワーク2を介してデータベース30が登録されているサーバ6へアクセスし、テストパターン、テストシーケンスの再利用が可能なデータを検索する。再利用可能なテストパターン、テストシーケンスを記録してあるデータベース30が見つかった場合は、そのデータベースのデータをダウンロードし、コンピュータ端末4上の順序回路ATPG10に取り込む。
【0030】
図3に、新規に設計された順序回路のテストパターン生成を行う際に、本発明の自動テストパターン生成システムが実行する制御フローを示す。
【0031】
本発明の自動テストパターン生成システム1では、新しい順序回路に対してテストパターン生成を行う場合、図2のネットワーク上のデータベース30を参照し、データベース30からネットリスト31の情報を取得し、その取得したネットリスト31の情報に基づいて、新しい順序回路のテストパターン生成に利用可能なテストパターン、テストシーケンスを検索する。
【0032】
図3の制御フローにおいて、各処理ステップのブロック内に記載されている括弧内の数字は、その処理手順の機能を実行するデータベース制御部20の対応エンジンを示す。
【0033】
図3の制御フローが開始すると、ステップS31において、データベース検索エンジン26は、まず、ネットワーク上のデータベース30からネットリスト31の情報を取得し、その取得したネットリスト31の情報に基づいて、新しい順序回路のテストパターン生成に利用可能なテストパターン、テストシーケンスを検索する。ステップS32において、ネットリスト比較エンジン21は、データベース30から取得したネットリスト31や故障表32の情報と、新しい順序回路のネットリストや故障表の情報とが一致するか比較を行う。
【0034】
ステップS33では、ステップS32でネットリストを比較した結果がある程度一致しているか否かが判定される。この場合、全く同じ回路構成ではなくても、回路の一部が一致している場合、一致する(YES)と判定してもよい。一致しない(NO)と判定された場合は、上記ステップS31に戻る。
【0035】
上記ステップS33で一致する(YES)と判定された場合には、ステップS34において、ネットリスト比較エンジン21の結果はテストパターン識別エンジン23に渡され、テストパターン識別エンジン23では、データベース30のテストパターン34から再利用可能なテストパターンを検出したか否かが判定される。検出した場合には、ステップS35において、テストパターン識別エンジン23は、その再利用可能なテストパターンをデータベース30から取得(ダウンロード)する。
【0036】
テストパターンが利用できない故障については、ステップS36で、ネットリスト比較エンジン21の結果はテストシーケンス識別エンジン22に渡され、テストシーケンス識別エンジン22では、データベース30のテストシーケンス33から再利用可能なテストシーケンスを検出したか否かが判定される。検出した場合には、ステップS37において、テストシーケンス識別エンジン22は、その再利用可能なテストシーケンスをデータベース30から取得(ダウンロード)する。
【0037】
ステップS38では、テストパターン識別エンジン23やテストシーケンス識別エンジン22によって、データベース30から一定の情報を取得したか否かが判定される。この判定の基準となる一定の情報とは、予めそのデータ量を設定しておいてもよいし、ユーザの判断で、新しい順序回路のテストパターン生成を考慮して任意に決めてもよい。一定の情報を取得していない(NO)と判定された場合は、上記ステップS31に戻る。
【0038】
上記ステップS38で一定の情報を取得した(YES)と判定された場合、ステップS39において、テストパターン再利用エンジン25とテストシーケンス再利用エンジン24は、取得したテストパターン、テストシーケンスを利用して、順序回路ATPG10により新しいテストパターン、テストシーケンスの生成をそれぞれ行わせる。この処理を再利用処理という。
【0039】
上記ステップS39が完了すると、ステップS40において、テストパターン再利用エンジン25とテストシーケンス再利用エンジン24は再利用処理の結果をデータベース更新エンジン27に渡し、データベース更新エンジン27は、新たに生成されたテストパターン、テストシーケンスを、故障表、ネットリストとともに、ネットワーク上のデータベース30に送信して、新しいデータとして更新登録してデータベース30に記録する。
【0040】
次に、図4に、既にテストパターン生成が終了している順序回路を修正した場合のテストパターン生成を行う際に、本発明の自動テストパターン生成システムが実行する制御フローを示す。
【0041】
本発明の自動テストパターン生成システム1では、修正した順序回路に対してテストパターン生成を行う場合、図2のネットワーク上のデータベース30を参照し、修正前と、修正後のネットリストの情報を比較し、利用できるテストパターン、テストシーケンスを検索する。また、修正箇所について既にデータベース30に類似している回路が無いか検索し、利用できる情報が見つかった場合は、その情報を再利用する。
【0042】
図4の制御フローにおいて、各処理ステップのブロック内に記載されている括弧内の数字は、その処理手順の機能を実行するデータベース制御部20の対応エンジンを示す。
【0043】
図4の制御フローが開始すると、まず、ステップS41において、ネットリスト比較エンジン21は、データベース30から取得したネットリスト31や故障表32の情報と、修正した順序回路のネットリストや故障表の情報とが一致するか比較を行う。
【0044】
次に、ステップS42において、ネットリスト比較エンジン21の結果はテストパターン識別エンジン23に渡され、テストパターン識別エンジン23では、データベース30のテストパターン34から再利用可能なテストパターンを検出したか否かが判定される。検出した場合には、ステップS43において、テストパターン識別エンジン23は、その再利用可能なテストパターンをデータベース30から取得(ダウンロード)する。
【0045】
次に、ステップS44で、ネットリスト比較エンジン21の結果はテストシーケンス識別エンジン22に渡され、テストシーケンス識別エンジン22では、データベース30のテストシーケンス33から再利用可能なテストシーケンスを検出したか否かが判定される。検出した場合には、ステップS45において、テストシーケンス識別エンジン22は、その再利用可能なテストシーケンスをデータベース30から取得(ダウンロード)する。
【0046】
ステップS46では、順序回路の修正箇所について既にデータベース30に類似している回路がないか調べるために、データベース30を検索するか否かが選択される。この選択は、ユーザの判断で行われる。
【0047】
上記ステップS46で修正箇所についてデータベース30を検索することを選択しない場合(NO)には、ステップS47において、テストパターン再利用エンジン25とテストシーケンス再利用エンジン24は、取得したテストパターン、テストシーケンスを利用して、順序回路ATPG10により新しいテストパターン、テストシーケンスの生成をそれぞれ行わせる(再利用処理)。
【0048】
上記ステップS47が完了すると、ステップS48において、テストパターン再利用エンジン25とテストシーケンス再利用エンジン24は再利用処理の結果をデータベース更新エンジン27に渡し、データベース更新エンジン27は、新たに生成されたテストパターン、テストシーケンスを、修正後の故障表、ネットリストとともに、ネットワーク上のデータベース30に送信して、新しいデータとして更新登録してデータベース30に記録する。
【0049】
上記ステップS46で修正箇所についてデータベース30を検索することを選択した場合(YES)には、ステップS49において、データベース検索エンジン26は、ネットワーク上のデータベース30からネットリスト31の情報を取得し、その取得したネットリスト31の情報に基づいて、修正箇所について既にデータベース30に類似する回路がないか検索する。ステップS50において、ネットリスト比較エンジン21は、データベース30から取得したネットリスト31や故障表32の情報と、修正した順序回路のネットリストや故障表の情報とが一致するか比較を行う。ステップS50が終了すると、上記ステップS42−S45に戻り、再利用できる情報(再利用可能なテストパターン、テストシーケンス)が見つかった場合は、その情報を再利用する。
【0050】
図5は、本発明に係るテストパターン識別エンジン23の動作を説明するための図である。図5において、(A)は順序回路の変更前のネットリストを示し、(B)は順序回路の変更後のネットリストを示す。(B)に示した回路は、(A)に示した回路に対し入力PI3にインバータN1を新たに接続する変更(PI3にNOTを追加)を行ったものである。図5(C)は、追加された回路素子であるインバータN1の影響を受けないネットを太線で示す。
【0051】
図5の回路に対し、本発明のテストパターン識別エンジン23は、インバータN1の入出力をトレースし、インバータN1の影響を受けない回路素子(ゲート)を検索する。その結果、ゲートG1、ゲートG3、ゲートG4、ゲートFF1は、インバータN1の影響を受けないため、テストパターンの再利用が可能であると判断される。
【0052】
図5(C)の太線で示したネット上に存在する回路素子(ゲート)のテストパターンは、テストパターン識別エンジン23により検出され、再利用可能なテストパターン用のデータベースに登録される。この再利用可能テストパターンは、順序回路ATPG10によるテストパターン生成に利用される。
【0053】
再利用できないテストパターンについては、テストパターン再利用エンジン25の再利用処理が実行される。図5の例では、ゲートG2、ゲートG5、ゲートG6、ゲートFF2、ゲートFF3が対象になる。
【0054】
図6は本発明に係るテストシーケンス識別エンジン22の動作を説明するための図である。図6において、(A)は、図5で変更された回路要素(インバータN1)の影響を受ける故障のテストシーケンスに係るネットを太線で示し、(B)は、不定値Xでマスクされるテストシーケンスに係るネットを示す。図6の(C)は、不定値Xでマスクされるテストシーケンスのデータ例を示す。
【0055】
テストシーケンス識別エンジン22は、既にデータベース30に存在するこれら回路素子(ゲート)のテストシーケンスと、図6(A)の太線で示したインバータN1の影響を受けるテストシーケンスとを比較し、インバータN1の影響を受けるテストシーケンス中から、利用できないパターンの一部をマスクする。 図6(B)の回路では、インバータN1の入力になるPI3の入力をマスクしている。順序回路ATPG10は、マスクされた部分のテストパターンを自動テストパターン生成処理することで、インバータN1が挿入された後(回路の変更後)のテストパターンを検出する。
(付記1)
順序回路の自動テストパターン生成装置と、前記テストパターン生成装置により生成されたテストパターン、故障表、ネットリストを記録したデータベースと、 前記データベースに各故障ごとに記録された各々のテストパターンと、前記ネットリストの各回路ブロックとを関連付けするインデックスを作成するインデックス作成手段と、前記インデックスを用いて前記データベースを検索するデータベース検索手段と、前記順序回路の一部が変更された場合に、前記データベース検索手段を用いて前記データベースより既に生成されたテストパターンの一部を取得すると共に、前記テストパターン生成装置を用いて新しいテストパターンを生成するデータベース制御手段とを備えることを特徴とする自動テストパターン生成システム。
(付記2)
前記自動テストパターン生成システムは、前記データベースに記録されたテストパターン、故障表、ネットリストをネットワーク上の端末において参照可能に構成され、前記データベース制御手段は、前記テストパターン生成装置を用いたテストパターン生成を行う際に、前記データベース上の既に生成されたテストパターンをネットワークを介して検出することを特徴とする付記1記載の自動テストパターン生成システム。
(付記3)
前記データベース制御手段は、前記順序回路に変更が生じた場合に、前記データベースから再利用可能なテストパターンを取得すると共に、変更が必要なテストパターンのみについて前記テストパターン生成装置を用いたテストパターン生成を行うことを特徴とする付記2記載の自動テストパターン生成システム。
(付記4)
前記データベース制御手段は、前記順序回路で変更された回路素子の故障についてテストパターンを生成する際に、変更された回路素子と変更されていない回路素子の境界までのテストシーケンスを前記データベースから検出し、該テストシーケンスを再利用して、変更された回路素子の故障を検出するテストパターンを前記テストパターン生成装置により生成することを特徴とする付記3記載の自動テストパターン生成システム。
(付記5)
前記データベース制御手段は、新しい順序回路のテストパターンを生成する際に、前記データベースより既に生成されている回路情報を検出し、回路の一部が一致している場合、一致する回路ブロックに係る既に生成されたテストシーケンスを前記データベースから取得して、前記テストパターン生成装置を用いたテストパターン生成に利用することを特徴とする付記4記載の自動テストパターン生成システム。
(付記6)
前記データベース制御手段は、再生成されたテストパターン、テストシーケンスを全て前記データベースに新しく登録して記録するデータベース更新手段を有することを特徴とする請求項3乃至5のいずれか一項記載の自動テストパターン生成システム。
(付記7)
前記データベース制御手段は、回路変更が行われた場合に、前記データベースから回路変更によって影響を受けるテストパターンと、回路変更によって影響を受けないテストパターンとを識別し、影響を受けないテストパターンを再利用可能なテストパターンとして前記データベースから取得するテストパターン識別手段を有することを特徴とする付記1記載の自動テストパターン生成システム。
(付記8)
前記データベース制御手段は、回路変更が行われた場合に、前記データベースから回路変更によって影響を受けるテストシーケンスと、回路変更によって影響を受けないテストシーケンスとを識別し、影響を受けないテストシーケンスを再利用可能なテストシーケンスとして前記データベースから取得するテストシーケンス識別手段を有することを特徴とする付記1記載の自動テストパターン生成システム。
(付記9)
前記データベース制御手段は、新しい順序回路に対してテストパターン生成を行う場合に、前記データベースから取得した前記ネットリストの情報と、新しい順序回路のネットリストの情報とが一致するか比較を行うネットリスト比較手段を有することを特徴とする付記1記載の自動テストパターン生成システム。
(付記10)
前記データベース制御手段は、回路変更が行われた順序回路に対してテストパターン生成を行う場合に、前記データベースから取得した変更前のネットリストの情報と、変更後のネットリストの情報とが一致するか比較を行うネットリスト比較手段を有することを特徴とする付記1記載の自動テストパターン生成システム。
【発明の効果】
上述したように、本発明のテストパターン生成システムによれば、ネットリスト、故障表、順序回路ATPGにより生成されたテストパターン、テストシーケンスなどのデータベースに記録された情報がインデックスにより部品化されているため、順序回路の変更が生じた際に、順序回路ATPGを用いたテストパターン生成を行うとき、データベース上の既に生成されているテストパターンやテストシーケンスを検出することが可能であり、既に生成されているテストパターンやテストシーケンスの一部を再利用することが可能である。従って、順序回路の変更が生じた際、順序回路ATPGを用いたテストパターン生成を行う場合に要する処理時間を短縮することができ、LSI等の順序回路のテストパターン生成に極めて有用である。
【図面の簡単な説明】
【図1】本発明の自動テストパターン生成システムの一実施形態を示すブロック図である。
【図2】ネットワークを用いて、データベースを参照する場合のシステム構成を示す図である。
【図3】新規に設計された順序回路のテストパターン生成を行う際の本発明の自動テストパターン生成システムが実行する制御フローを説明するためのフロー図である。
【図4】修正された順序回路のテストパターン生成を行う際の本発明の自動テストパターン生成システムが実行する制御フローを説明するためのフロー図である。
【図5】本発明に係るテストパターン識別エンジンの動作を説明するための図である。
【図6】本発明に係るテストシーケンス識別エンジンの動作を説明するための図である。
【符号の説明】
1 自動テストパターン生成システム
2 ネットワーク
4 コンピュータ端末(クライアント)
6 サーバ
10 順序回路ATPG
20 データベース制御部
21 ネットリスト比較エンジン
22 テストシーケンス識別エンジン
23 テストパターン識別エンジン
24 テストシーケンス再利用エンジン
25 テストパターン再利用エンジン
26 データベース検索エンジン
27 データベース更新エンジン
30 データベース
31 ネットリスト
32 故障表
33 テストシーケンス
34 テストパターン
35 インデックス生成部
36 インデックス

Claims (7)

  1. 順序回路の自動テストパターン生成装置と、
    前記テストパターン生成装置により生成されたテストパターン、故障表、ネットリストを記録したデータベースと、
    前記データベースに各故障ごとに記録された各々のテストパターンと、前記ネットリストの各回路ブロックとを関連付けするインデックスを作成するインデックス作成手段と、
    前記インデックスを用いて前記データベースを検索するデータベース検索手段と、
    前記順序回路の一部が変更された場合に、前記データベース検索手段を用いて前記データベースより既に生成されたテストパターンの一部を取得すると共に、前記テストパターン生成装置を用いて新しいテストパターンを生成するデータベース制御手段と、
    を備えることを特徴とする自動テストパターン生成システム。
  2. 前記自動テストパターン生成システムは、前記データベースに記録されたテストパターン、故障表、ネットリストをネットワーク上の端末において参照可能に構成され、前記データベース制御手段は、前記テストパターン生成装置を用いたテストパターン生成を行う際に、前記データベース上の既に生成されたテストパターンをネットワークを介して検出することを特徴とする請求項1記載の自動テストパターン生成システム。
  3. 前記データベース制御手段は、前記順序回路に変更が生じた場合に、前記データベースから再利用可能なテストパターンを取得すると共に、変更が必要なテストパターンのみについて前記テストパターン生成装置を用いたテストパターン生成を行うことを特徴とする請求項2記載の自動テストパターン生成システム。
  4. 前記データベース制御手段は、前記順序回路で変更された回路素子の故障についてテストパターンを生成する際に、変更された回路素子と変更されていない回路素子の境界までのテストシーケンスを前記データベースから検出し、該テストシーケンスを再利用して、変更された回路素子の故障を検出するテストパターンを前記テストパターン生成装置により生成することを特徴とする請求項3記載の自動テストパターン生成システム。
  5. 前記データベース制御手段は、新しい順序回路のテストパターンを生成する際に、前記データベースより既に生成されている回路情報を検出し、回路の一部が一致している場合、一致する回路ブロックに係る既に生成されたテストシーケンスを前記データベースから取得して、前記テストパターン生成装置を用いたテストパターン生成に利用することを特徴とする請求項4記載の自動テストパターン生成システム。
  6. 前記データベース制御手段は、再生成されたテストパターン、テストシーケンスを全て前記データベースに新しく登録して記録するデータベース更新手段を有することを特徴とする請求項3乃至5のいずれか一項記載の自動テストパターン生成システム。
  7. 前記データベース制御手段は、回路変更が行われた場合に、前記データベースから回路変更によって影響を受けるテストパターンと、回路変更によって影響を受けないテストパターンとを別々に検出し、影響を受けないテストパターンを再利用可能なテストパターンとして前記データベースから取得するテストパターン識別手段を有することを特徴とする請求項1記載の自動テストパターン生成システム。
JP2002201383A 2002-07-10 2002-07-10 テストパターンデータベースを再利用する順序回路自動テストパターン生成システム Expired - Fee Related JP4099359B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2002201383A JP4099359B2 (ja) 2002-07-10 2002-07-10 テストパターンデータベースを再利用する順序回路自動テストパターン生成システム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2002201383A JP4099359B2 (ja) 2002-07-10 2002-07-10 テストパターンデータベースを再利用する順序回路自動テストパターン生成システム

Publications (2)

Publication Number Publication Date
JP2004045145A JP2004045145A (ja) 2004-02-12
JP4099359B2 true JP4099359B2 (ja) 2008-06-11

Family

ID=31707937

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2002201383A Expired - Fee Related JP4099359B2 (ja) 2002-07-10 2002-07-10 テストパターンデータベースを再利用する順序回路自動テストパターン生成システム

Country Status (1)

Country Link
JP (1) JP4099359B2 (ja)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7583833B2 (en) * 2006-01-27 2009-09-01 Advanced Micro Devices, Inc. Method and apparatus for manufacturing data indexing
JP6069162B2 (ja) 2013-10-11 2017-02-01 株式会社Ihi 導電性複合材料の繊維蛇行検出方法及び繊維蛇行検出装置

Also Published As

Publication number Publication date
JP2004045145A (ja) 2004-02-12

Similar Documents

Publication Publication Date Title
US7392169B2 (en) Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language
JP2000148808A (ja) スケジュ―リングされた動作記述に対するストラクチュラルrtlの正当性検証方法
CN104598231B (zh) Python源代码文件相似性检测方法
JPH1063707A (ja) 論理回路検証装置および論理回路検証方法
CN106201502A (zh) 一种跨主机应用程序部署方法及装置
US6898775B2 (en) System for ensuring correct pin assignments between system board connections using common mapping files
CN113190448B (zh) 测试代码更新方法及装置、电子设备、存储介质
US20140047276A1 (en) Model-based testing of a graphical user interface
CN104636480B (zh) 重建备机数据库的方法及其装置
CN110532006B (zh) 一种基于状态机的复杂配置文件升级方法
US7454325B2 (en) Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases
JP2000242672A (ja) 形式的論理検証装置および形式的論理検証方法
JP4099359B2 (ja) テストパターンデータベースを再利用する順序回路自動テストパターン生成システム
US7949509B2 (en) Method and tool for generating simulation case for IC device
US20060036422A1 (en) Methods and systems for electronic device modelling
US20070266361A1 (en) Logic verification method, logic verification apparatus and recording medium
CN115481589A (zh) 数据交付方法及装置
US7188324B1 (en) Assertion morphing in functional verification of integrated circuit design
JP3576904B2 (ja) プログラム開発段階検索システム
JP2705548B2 (ja) 印刷回路基板設計支援装置
CN106502903A (zh) 一种程序的变更功能确定方法、装置及处理设备
US20060089826A1 (en) Method, system and program product for defining and recording minimum and maximum count events of a simulation
JPH08153129A (ja) 再利用容易化装置
JP2000150659A (ja) 半導体集積回路装置のレイアウト設計方法
JP2004272312A (ja) テスト装置及びテスト方法

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20050627

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20080228

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20080304

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20080317

R150 Certificate of patent or registration of utility model

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20110321

Year of fee payment: 3

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313111

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20110321

Year of fee payment: 3

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

LAPS Cancellation because of no payment of annual fees