(57)【要約】【課題】論理検証用パターン作成及び論理シミュレーションの時間短縮を図る回路検証装置を提供する。【解決手段】回路接続情報データを作成する回路入力装置と、論理検証用パターンを作成する検証用パターン入力装置と、上記回路接続情報データと上記論理検証用パターンを用いて論理シミュレーションを行なう論理シミュレーション装置を含む回路検証装置であって、レイアウト作成装置と、上記レイアウト作成装置によって作成されたレイアウトデータから第１の配線情報を抽出する配線情報抽出部と、パターン生成ルールファイルに記述されるパターン生成ルールと抽出された上記第１の配線情報とに基づき、論理検証用パターンの組合せを選択する組合せパターン生成部を備えることを特徴とする回路検証装置を、提供する。【選択図】図１
2008225967.tif 000002
【特許請求の範囲】
【請求項１】
回路接続情報データを作成する回路入力装置と、
論理検証用パターンを作成する検証用パターン入力装置と、
上記回路接続情報データと上記論理検証用パターンを用いて論理シミュレーションを行なう論理シミュレーション装置を含む回路検証装置であって、
レイアウト作成装置と、
上記レイアウト作成装置によって作成されたレイアウトデータから第１の配線情報を抽出する配線情報抽出部と、
パターン生成ルールファイルに記述されるパターン生成ルールと抽出された上記第１の配線情報とに基づき、論理検証用パターンの組合せを選択する組合せパターン生成部と、
を備えることを特徴とする回路検証装置。
【請求項２】
請求項１に記載の回路検証装置であって、
上記配線情報抽出部は、抽出した第１の配線情報を記録して少なくとも１回の抽出分を残し、
上記配線情報抽出部は、レイアウトデータから新たに抽出した第１の配線情報と、記録されている第１の配線情報との第１の差分情報を抽出し、
上記組合せパターン生成部は、抽出された第１の差分情報に基づいて、変更のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする回路検証装置。
【請求項３】
請求項１に記載の回路検証装置であって、
上記配線情報抽出部は、レイアウトデータの代わりに、レイアウト作成装置に含まれる自動配置配線部へ与えられる配線の制約データから、第２の配線情報を抽出し、
上記組合せパターン生成部は、上記パターン生成ルールと、制約データから抽出された上記第２の配線情報とに基づき、論理検証用パターンの組合せを選択することを特徴とする回路検証装置。
【請求項４】
請求項３に記載の回路検証装置であって、
上記配線情報抽出部は、制約データから抽出した第２の配線情報と、自動配置配線部による自動配置配線後のレイアウトデータから抽出した第３の配線情報との第２の差分情報を抽出し、
上記組合せパターン生成部は、抽出された第２の差分情報に基づいて、相違のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする回路検証装置。
【請求項５】
請求項１に記載の回路検証装置であって、
フロアプランデータを作成するフロアプラン作成装置を更に備え、
上記配線情報抽出部は、レイアウトデータの代わりに、上記フロアプランデータから第４の配線情報を抽出し、
上記組合せパターン生成部は、上記パターン生成ルールと、フロアプランデータから抽出された第４の配線情報とに基づき、論理検証用パターンの組合せを選択することを特徴とする回路検証装置。
【請求項６】
請求項５に記載の回路検証装置であって、
上記配線情報抽出部は、フロアプランデータから抽出した第４の配線情報と、レイアウト作成装置によるレイアウト作成後のレイアウトデータから抽出した第５の配線情報との第３の差分情報を抽出し、
放棄組合せパターン生成部は、抽出された第３の差分情報に基づいて、相違のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする回路検証装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、半導体集積回路設計における論理回路の回路検証装置に関する。
【背景技術】
【０００２】
ＬＳＩ設計における回路検証では、テスト項目の組合せの設定が設計品質に大きな影響を与える。しかし、全ての組合せの論理検証用パターンを作成して回路検証を行なうことは、開発期間の増大に繋がるため現実的なものではない。 
【０００３】
従来、回路データに基づいて論理検証用パターンを自動生成する装置は存在する。しかしながら、従来の装置では、レイアウト上での配線状況が考慮されておらず、テスト項目の組合せの最適化が不十分である。
【０００４】
なお、引用文献１は、論理検証用パターンではないが、試験パターンを生成する集積回路の試験装置を開示する。
【特許文献１】特開２００２−２３６１４４号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
本発明は、レイアウトデータ若しくはレイアウトデータに準じるフロアプランデータ、又は、自動配置配線への制約条件データから配線情報を抽出し、該配線情報とパターン生成ルールファイルとに基づいて、論理検証用パターン生成の組合せの最適化を行ない、論理検証用パターン作成及び論理シミュレーションの時間短縮を図る回路検証装置を提供することを目的とする。
【課題を解決するための手段】
【０００６】
本発明は、上記の目的を達成するためになされたものである。本発明に係る請求項１に記載の回路検証装置は、
回路接続情報データを作成する回路入力装置と、
論理検証用パターンを作成する検証用パターン入力装置と、
上記回路接続情報データと上記論理検証用パターンを用いて論理シミュレーションを行なう論理シミュレーション装置を含む回路検証装置であって、
レイアウト作成装置と、
上記レイアウト作成装置によって作成されたレイアウトデータから第１の配線情報を抽出する配線情報抽出部と、
パターン生成ルールファイルに記述されるパターン生成ルールと抽出された上記第１の配線情報とに基づき、論理検証用パターンの組合せを選択する組合せパターン生成部と、
を備えることを特徴とする。
【０００７】
本発明に係る請求項２に記載の回路検証装置は、
請求項１に記載の回路検証装置であって、
上記配線情報抽出部は、抽出した第１の配線情報を記録して少なくとも１回の抽出分を残し、
上記配線情報抽出部は、レイアウトデータから新たに抽出した第１の配線情報と、記録されている第１の配線情報との第１の差分情報を抽出し、
上記組合せパターン生成部は、抽出された第１の差分情報に基づいて、変更のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする。
【０００８】
本発明に係る請求項３に記載の回路検証装置は、
請求項１に記載の回路検証装置であって、
上記配線情報抽出部は、レイアウトデータの代わりに、レイアウト作成装置に含まれる自動配置配線部へ与えられる配線の制約データから、第２の配線情報を抽出し、
上記組合せパターン生成部は、上記パターン生成ルールと、制約データから抽出された上記第２の配線情報とに基づき、論理検証用パターンの組合せを選択することを特徴とする。
【０００９】
本発明に係る請求項４に記載の回路検証装置は、
請求項３に記載の回路検証装置であって、
上記配線情報抽出部は、制約データから抽出した第２の配線情報と、自動配置配線部による自動配置配線後のレイアウトデータから抽出した第３の配線情報との第２の差分情報を抽出し、
上記組合せパターン生成部は、抽出された第２の差分情報に基づいて、相違のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする。
【００１０】
本発明に係る請求項５に記載の回路検証装置は、
請求項１に記載の回路検証装置であって、
フロアプランデータを作成するフロアプラン作成装置を更に備え、
上記配線情報抽出部は、レイアウトデータの代わりに、上記フロアプランデータから第４の配線情報を抽出し、
上記組合せパターン生成部は、上記パターン生成ルールと、フロアプランデータから抽出された第４の配線情報とに基づき、論理検証用パターンの組合せを選択することを特徴とする。
【００１１】
本発明に係る請求項６に記載の回路検証装置は、
請求項５に記載の回路検証装置であって、
上記配線情報抽出部は、フロアプランデータから抽出した第４の配線情報と、レイアウト作成装置によるレイアウト作成後のレイアウトデータから抽出した第５の配線情報との第３の差分情報を抽出し、
放棄組合せパターン生成部は、抽出された第３の差分情報に基づいて、相違のあった配線の影響する部分の論理検証パターンの組合せを再選択することを特徴とする。
【発明の効果】
【００１２】
本発明を利用することにより、回路検証装置において、回路検証用パターンの生成、最適化、及び論理シミュレーションの時間を短縮できる。また、レイアウト作成を行う前の早い段階で回路検証用パターンの生成・最適化を行える。更に、レイアウト作成を行う前段階で回路検証用パターンの生成・最適化を行える。
【発明を実施するための最良の形態】
【００１３】
以下、図面を参照して本発明に係る好適な実施形態を説明する。
【００１４】
図１は、本発明に係る回路検証装置３２の概略のブロック図である。回路検証装置３２は、概略、回路入力装置２、検証用パターン入力装置６、論理シミュレーション装置１０、フロアプラン作成装置１２、レイアウト作成装置１６、及び、論理検証パターン生成装置２６から構成される。なお、このような回路検証装置３２は、適切なコンピュータとその周辺機器（図示せず。）、及びそれらに搭載される適当なコンピュータプログラムにより実現されるのが好ましい。
【００１５】
回路入力装置２は、入力された回路データから回路接続情報データ４を作成する。検証用パターン入力装置６は、入力された検証用データから検証用パターンを作成する。そして、論理シミュレーション装置１０は、回路接続情報データ４と論理検証用パターン８を用いて、回路における論理シミュレーションを行う装置である。
【００１６】
レイアウトデータが入力されるレイアウト入力部１８と、配線の制約データ２２が入力される自動配置配線部２０とを含むレイアウト作成装置１６は、レイアウトデータ２４を作成する。フロアプラン作成装置１２は、フロアプランデータ１４を作成する。論理検証パターン生成装置２６に含まれる配線情報抽出部２８は、レイアウトデータ２４、若しくはフロアプランデータ１４から配線情報を抽出する。
【００１７】
更に、論理検証パターン生成装置２６に含まれる組合せパターン生成部３０は、配線情報抽出部２８が抽出する配線情報と、外部から入力されるパターン生成ルールファイル３４とに基づいて、検証用パターン入力装置６で作成された検証用パターンから、実際に論理シミュレーション装置１０が用いる論理検証用パターン８の組合せを選択する。このように、論理検証用パターン８は、検証用パターン入力装置６で作成された上で、論理検証パターン生成装置２６の組合せパターン生成部３０によって、用いられる組合せの選択がなされる。
【００１８】
なお、制約データ２２は、レイアウト作成装置１６に含まれる自動配置配線部２０が行う自動配線における配線の制約条件を示すデータであって、回路入力装置２で指定される。また、パターン生成ルールファイル３４は、論理検証用パターン８を生成するに当たって生成者（利用者）が設定するルールが記載されるデータファイルであって、生成者（利用者）によって変更可能であることが好ましい。
【００１９】
［第１の実施形態］
一般的に回路検証装置では、上述の回路入力装置２により作成される回路接続情報データ４と、検証用パターン入力装置６によって作成される検証用パターンのデータを用いて、論理シミュレーション装置１０が論理シミュレーションを行なう。
【００２０】
本発明の好適な実施形態に係る回路検証装置３２では、実際に用いられる論理検証用パターン８の組合せは、様々なデータ源に基づいて選択される。
【００２１】
まず、本発明の第１の実施形態に係る回路検証装置３２では、論理検証パターン生成装置２６に含まれる配線情報抽出部２８がレイアウトデータ２４から配線情報を抽出・記録する。更に、論理検証パターン生成装置２６に含まれる組合せパターン生成部３０が、抽出された配線情報とパターン生成ルールファイル３４とに基づいて、検証用パターン入力装置６で作成された検証用パターンから、論理シミュレーション装置１０が用いる論理検証用パターン８の組合せを選択する。
【００２２】
このように論理検証用パターン８の組合せが選択されると、論理検証用パターン作成及び論理シミュレーションの時間が短縮される。
【００２３】
本発明に係る回路検証装置３２により、論理検証用パターン作成及び論理シミュレーションが短縮される例を以下に示す。例として、まず図２に示すような回路、即ち４ピンを備えるＡブロック５２と３ピンを備えるＢブロック５４を含む回路を採り上げる。このような回路の場合、論理検証用パターンとして組合せパターンを形式的に全て網羅するならば、図３に示すように、Ａブロック５２に対して１６パターン、Ｂブロック５４に対して８パターンが作成されることになる。
【００２４】
ここで、パターン生成ルールファイル３４に「隣り合わない配線の論理を同時に０または１にするパターンを選択し、０，１または１，０の組合せのパターンを削除する」［ルール１］というルールが記述されたとする。そうすると、組合せパターン生成部３０は、図２に示すＡブロック５２とＢブロック５４からなる回路例の場合、論理検証用パターンの組合せ選択を行い、図４に示すように、ＡブロックＢブロックに対する論理検証用パターンを、夫々４パターンに最適化する。
【００２５】
次に、図５に示すような、Ａブロック５２が４ピンを備えＢブロック５４が３ピンを備えるが、ＡブロックのＡ１とＡ０が交差しており、ＢブロックのＢ０とＢ１の配線間隔が最低限の所定値より狭い、という回路を採り上げる。ここでの最低限の所定値は、パターン生成ルールファイル３４に記述されているものとする。
【００２６】
一般的に、配線が交差している場合や、配線間隔が一定値より狭い場合には、短絡が生じる可能性がある。そこで、パターン生成ルールファイル３４に上記ルール１に加えて「配線が交差する場合、又は配線間が最小限所定値よりも狭い場合は、同時に０または１に変化させることは禁止する」［ルール２］というルールが追記されるものとする。そうすると、組合せパターン生成部３０は、論理検証用パターンの組合せ選択を行い、図６に示すように、ＡブロックとＢブロックに対する論理検証用パターンを、８パターンと４パターンに最適化する。但し、図６において、Ａブロック入力パターンのＮｏ．２，４，５，７とＢブロック入力パターンのＮｏ．２，３については、０，１と１，０の２つの組合せの内、いずれを選択してもよいものとしている。
【００２７】
第１の実施形態に係る回路検証装置３２において、レイアウトデータ２４に変更があった場合、配線情報抽出部２８は、新たに抽出した配線情報と、前回配線情報抽出時に記録されている配線情報とを比較して差分情報を抽出し、組合せパターン生成部は、抽出された差分情報に基づいて、変更のあった配線の影響する部分のみの論理検証パターンの組合せを再選択するようにしてもよい。このようにすれば、論理検証用パターン作成の時間短縮を図ることができる。
【００２８】
［第２の実施形態］
本発明の第２の実施形態に係る回路検証装置３２では、論理検証パターン生成装置２６に含まれる配線情報抽出部２８が、レイアウト作成装置１６に含まれる自動配置配線部２０へ与えられるべき配線の制約データ２２から、配線の遠近、隣り合わせ、交差等の配線情報を予測抽出・記録する。更に、論理検証パターン生成装置２６に含まれる組合せパターン生成部３０が、抽出された予測配線情報とパターン生成ルールファイル３４とに基づいて、検証用パターン入力装置６で作成された検証用パターンから、論理シミュレーション装置１０が用いる論理検証用パターン８の組合せを選択する。
【００２９】
このように論理検証用パターン８の組合せが選択されると、論理検証用パターン作成及び論理シミュレーションの時間が短縮される。更に、第２の実施形態に係る回路検証装置３２は、レイアウト作成を行なう前の早い段階で回路検証用パターンの生成及び最適化を行える。
【００３０】
第２の実施形態に係る回路検証装置３２において、制約データ２２から配線情報抽出部２８により抽出・記録された予測配線情報と、レイアウト作成装置１６に含まれる自動配置配線部２０による自動配置配線後のレイアウトデータ２４から配線情報抽出部２８により抽出された配線情報とが異なる場合に、配線情報抽出部２８は、両者の差分情報を抽出し、組合せパターン生成部３０は、抽出された差分情報に基づいて、相違のあった配線の影響する部分のみの論理検証パターンの組合せを再選択するようにしてもよい。このようにすれば、論理検証用パターン作成の時間短縮を図ることができる。
【００３１】
［第３の実施形態］
本発明の第３の実施形態に係る回路検証装置３２では、論理検証パターン生成装置２６に含まれる配線情報抽出部２８が、レイアウトデータ２４に準じるものであるフロアプランデータ１４から、配線の遠近、隣り合わせ、交差等の配線情報を抽出・記録する。更に、論理検証パターン生成装置２６に含まれる組合せパターン生成部３０が、抽出された予測配線情報とパターン生成ルールファイル３４とに基づいて、検証用パターン入力装置６で作成された検証用パターンから、論理シミュレーション装置１０が用いる論理検証用パターン８の組合せを選択する。
【００３２】
このように論理検証用パターン８の組合せが選択されると、論理検証用パターン作成及び論理シミュレーションの時間が短縮される。更に、第３の実施形態に係る回路検証装置３２は、レイアウト作成を行なう前段階で回路検証用パターンの生成及び最適化を行える。
【００３３】
第３の実施形態に係る回路検証装置３２において、フロアプランデータ１４から配線情報抽出部２８により抽出・記録された配線情報と、レイアウト作成装置１６によるレイアウト作成後のレイアウトデータ２４から配線情報抽出部２８により抽出された配線情報とが異なる場合に、配線情報抽出部２８は、両者の差分情報を抽出し、組合せパターン生成部３０は、抽出された差分情報に基づいて、相違のあった配線の影響する部分のみの論理検証パターンの組合せを再選択するようにしてもよい。このようにすれば、論理検証用パターン作成の時間短縮を図ることができる。
【図面の簡単な説明】
【００３４】
【図１】本発明に係る回路検証装置の概略のブロック図である。
【図２】４ピンを備えるＡブロックと３ピンを備えるＢブロックを含む回路の回路図例である。
【図３】図２に示す回路の論理シミュレーションのための論理検証用パターンである。
【図４】図２に示す回路の論理シミュレーションのための論理検証用パターンである。
【図５】４ピンを備えるＡブロックと３ピンを備えるＢブロックを含む別の回路の回路図例である。
【図６】図５に示す回路の論理シミュレーションのための論理検証用パターンである。
【符号の説明】
【００３５】
２・・・回路入力装置、４・・・回路接続情報データ、６・・・検証用パターン入力装置、８・・・論理検証用パターン、１０・・・論理シミュレーション装置、１２・・・フロアプラン作成装置、１４・・・フロアプランデータ、１６・・・レイアウト作成装置、１８・・・レイアウト入力部、２０・・・自動配置配線部、２２・・・制約データ、２４・・・レイアウトデータ、２６・・・論理検証パターン生成装置、２８・・・配線情報抽出部、３０・・・組合せパターン生成部、３２・・・回路検証装置、３４・・・パターン生成ルールファイル。
【図１】
2008225967.tif 000003
【図２】
2008225967.tif 000004
【図３】
2008225967.tif 000005
【図４】
2008225967.tif 000006
【図５】
2008225967.tif 000007
【図６】
2008225967.tif 000008