(57)【要約】【課題】正確で現実的なクロストークノイズによる誤動作の検証を行うことができる回路動作検証方法及び回路動作検証装置を提供する。【解決手段】被害配線の総容量に対する配線間容量Ｃｃの容量比に加え、被害側ドライバセルの駆動能力と攻撃側ドライバセルの駆動能力の駆動能力比Ｋｄ、更には被害配線と攻撃配線との間の配線間容量Ｃｃ（の絶対値）を判定基準にして回路の誤動作の検証を行う。判定基準は、駆動能力比Ｋｄ（Ｋｄ１〜Ｋｄｉ）に対応させて、配線間容量Ｃｃ（Ｃｃ１〜Ｃｃｊ）に対して被害配線の総容量を変化させて回路（被害側レシーバセル）が誤動作を起こすときの配線間容量Ｃｃと総容量との容量比を誤動作閾値Ｔｈ（Ｔｈ１１〜Ｔｈｉｊ）として求めるものとする。【選択図】        図２
2004302969.tif 000002
【特許請求の範囲】
【請求項１】
ドライバセルと、レシーバセルと、前記ドライバセル及びレシーバセルを接続する配線とにより構成される回路がクロストークノイズにより誤動作をするか否かを検証する回路動作検証方法において、
クロストークノイズを発生する攻撃配線を駆動する攻撃側ドライバセルの駆動能力とクロストークノイズにより影響を受ける被害配線を駆動する被害側ドライバセルの駆動能力との駆動能力比に対応させて、前記攻撃配線及び被害配線の間の配線間容量に対して被害配線の総容量を変化させて前記被害側レシーバセルが誤動作を起こすときの前記配線間容量と前記総容量との容量比を誤動作閾値として求め、
前記駆動能力比、配線間容量、及び誤動作閾値を判定基準として回路がクロストークノイズにより誤動作をするか否かの検証を行うことを特徴とする回路動作検証方法。
【請求項２】
前記誤動作閾値は、回路シミュレーションにより、前記配線間容量に対して前記総容量を変化させて求めることを特徴とする請求項１記載の回路動作検証方法。
【請求項３】
前記駆動能力比、配線間容量、及び誤動作閾値は、判定基準ライブラリとしてテーブル化してあることを特徴とする請求項１又は２記載の回路動作検証方法。
【請求項４】
判定基準ライブラリは、前記駆動能力比及び配線間容量をパラメータとしてテーブル化されることを特徴とする請求項３記載の回路動作検証方法。
【請求項５】
ドライバセルと、レシーバセルと、前記ドライバセル及びレシーバセルを接続する配線とにより構成される回路を複数含む回路網におけるクロストークノイズによる回路の誤動作を検証する回路動作検証装置において、
前記回路網のレイアウトデータを保持するレイアウトデータ保持部と、
前記レイアウトデータ保持部から前記ドライバセルの駆動能力、前記配線における配線間容量、及び配線の総容量を抽出する回路要素値抽出部と、
前記回路を組み合わせて構成したネットに対応させてドライバセルの駆動能力、前記配線間容量、及び前記配線間容量と前記総容量との容量比をネット要素値として格納するネット要素値格納部とを備えることを特徴とする回路動作検証装置。
【請求項６】
前記ネットは隣接する回路により構成されることを特徴とする請求項５記載の回路動作検証装置。
【請求項７】
前記ネットに対応させて、前記ドライバセルの駆動能力の駆動能力比、前記配線間容量、及び前記配線間容量に対して前記総容量を変化させて前記回路が誤動作を起こすときの前記配線間容量と総容量との容量比により定まる誤動作閾値を判定基準として有する判定基準ライブラリと、
前記ネット毎に、前記ネット要素値における前記容量比と前記ネット要素値の駆動能力比及び配線間容量に対応する前記判定基準における誤動作閾値とを比較して前記回路が誤動作をするか否かの検証を行う検証部とを備えることを特徴とする請求項５又は６記載の回路動作検証装置。
【請求項８】
前記検証部における検証結果に基づいて、前記ドライバセルの駆動能力を修正するセル修正部を備えることを特徴とする請求項７記載の回路動作検証装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、例えばＬＳＩなどの半導体集積回路を設計する場合に、隣接する配線間のクロストークノイズによって回路が誤動作するか否かを検証する回路動作検証方法及び回路動作検証装置に関する。
【０００２】
【従来の技術】
ＬＳＩなどにおける微細化・高集積化に伴い、隣接する配線間の間隔が狭くなり配線間容量（配線間カップリング容量）が増加すると、配線間容量を介して配線（信号線）上に発生するクロストークノイズが大きくなってくる。このクロストークノイズが所定の閾値（誤動作閾値）を越えると回路が誤動作を起こすので、レイアウトなどの設計段階においてクロストークノイズの影響を検証することは非常に重要である。クロストークノイズによる影響を検証する手段として、各素子や配線などの実動作のシミュレーションを行う回路シミュレーションがあり、この回路シミュレーションにより検証する方法が最も正確であることは周知である。しかし、この回路シミュレーションによる回路動作検証方法においては、大規模なＬＳＩ（ＬＳＩチップ）の回路を検証することは時間的な制約及びメモリ容量の制約から一般的には困難である。したがって、上述の事情から、高速にしかも正確にクロストークノイズを検証する回路動作検証方法が求められている。
【０００３】
図６はネットでのクロストークノイズを決定する要因の概略を示す等価回路図である。１０は攻撃側ドライバセル、１２は攻撃側レシーバセル、２０は被害側ドライバセル、２２は被害側レシーバセルである。攻撃側ドライバセル１０及び攻撃側レシーバセル１２は攻撃配線Ｗａにより相互に接続され、攻撃側の回路を構成している。被害側ドライバセル２０及び被害側レシーバセル２２は被害配線Ｗｂにより相互に接続され、被害側の回路を構成している。攻撃配線Ｗａに攻撃側ドライバセル１０の出力抵抗Ｒｄａ、攻撃配線Ｗａの配線抵抗Ｒｗａを等価的に示し、被害配線Ｗｂに被害側ドライバセル２０の出力抵抗Ｒｄｂ、被害配線Ｗｂの配線抵抗Ｒｗｂを等価的に示す。攻撃側の回路と被害側の回路との組み合わせでネットが構成される。また、攻撃側ドライバセル１０の出力端子での波形の鈍りＴｓを併せて示す。
【０００４】
攻撃配線Ｗａと被害配線Ｗｂとの間には配線間容量Ｃｃが存在し、被害配線Ｗｂと接地点（基板）との間には基板容量Ｃｓ及び負荷容量Ｃｌ（「配線間容量Ｃｃ及び基板容量Ｃｓ」以外の配線間容量と被害側レシーバセル２２の入力容量Ｃｉ（不図示）との和）が存在する。ネットにおける被害配線Ｗｂの総容量Ｃｔは配線間容量Ｃｃ、基板容量Ｃｓ、負荷容量Ｃｌの和で表される。つまり、総容量Ｃｔ＝配線間容量Ｃｃ＋基板容量Ｃｓ＋負荷容量Ｃｌで表される。なお、これらの定義は設計プログラムなどに応じて適宜変更することができる。
【０００５】
ネットでのクロストークノイズを決定する要因として、攻撃側の回路の配線である攻撃配線Ｗａと被害側の回路の配線である被害配線Ｗｂとの間の容量である配線間容量Ｃｃと被害配線の総容量Ｃｔとの容量比が最も支配的であることは周知である。しかし、これ以外にもクロストークノイズの原因となる要素があり、例えば、攻撃側ドライバセル１０の駆動能力（即ち攻撃側ドライバセル１０の出力抵抗Ｒｄａ）、被害側ドライバセル２０の駆動能力（即ち被害側ドライバセル２０の出力抵抗Ｒｄｂ）、攻撃配線Ｗａの配線抵抗Ｒｗａ、被害配線Ｗｂの配線抵抗Ｒｗｂ、攻撃側ドライバセル１０の出力端子における出力波形の波形鈍りＴｓ（被害側レシーバセル２２の入力端子における入力波形鈍り）などを考慮すること必要がある（例えば非特許文献１参照）。
【０００６】
クロストークノイズによるネット（回路）の誤動作を検証する従来技術の例として、特許文献１に開示された方法がある。この従来技術では、検証の対象とするネットにおける配線の総容量Ｃｔに対する配線間容量Ｃｃの容量比Ｋｃ（＝Ｃｃ／Ｃｔ）により誤動作条件を判定し、クロストークノイズにより誤動作を起こすネットを検出するものである。つまり、クロストークノイズにより誤動作を起こすかどうかを、配線の総容量Ｃｔに占める配線間容量Ｃｃの容量比Ｋｃのみから判定している。しかし、クロストークノイズの原因となる要素は、容量比Ｋｃ以外にもある。したがって、容量比Ｋｃの値のみでの判定では、次に挙げるような不具合の起こる可能性がある。
【０００７】
特許文献１に開示された従来技術においては、容量比Ｋｃの値が判定基準を越えてクロストークノイズによる誤動作を起こすとされていても、被害配線を駆動する被害側ドライバセルの駆動能力が攻撃配線を駆動する攻撃側ドライバセルの駆動能力に比べて強い場合は、クロストークノイズによる影響は相対的に小さくなり、クロストークノイズによる誤動作を起こしにくくなる。また、同様に、容量比Ｋｃの値が判定基準を越えていても、隣接する配線の長さが非常に短いことから、配線間容量Ｃｃの値が非常に小さい場合は、クロストークノイズの影響が相対的に小さくなり、クロストークノイズによる誤動作を起こしにくくなる。このように、容量比Ｋｃの値のみに基づいて判定すると、本来はクロストークノイズによる誤動作を起こさないネットについてもエラー（擬似エラー）として検出してしまう虞がある。逆に、容量比Ｋｃの値が判定基準以下であっても、被害配線を駆動する被害側ドライバセルの駆動能力が攻撃配線を駆動する攻撃側ドライバセルの駆動能力に比べて非常に弱い場合、クロストークノイズによる誤動作を起こすことがある。即ち、楽観的な判定により誤動作を起こすネットを見逃してしまう虞がある。
【０００８】
【特許文献１】
特開平１１−１５４７０９号公報
【非特許文献１】
ヴィタル他著（Ａ．Ｖｉｔｔａｌ  ａｎｄ  Ｍ．Ｍａｒｋ−Ｓａｄｏｗｓｋａ）「ブイエルエスアイのクロストーク減少（Ｃｒｏｓｓｔａｌｋ  Ｒｅｄｕｃｔｉｏｎ  ｆｏｒ  ＶＬＳＩ）」アイトリプルイー  トランスアクション  コンピュータ−エイディッド  デザイン  インテグレーティッド  サーッキッド  アンド  システム（ＩＥＥＥ  Ｔｒａｎｓ．  Ｃｏｍｐｕｔ．−Ａｉｄｅｄ  Ｄｅｓ．  Ｉｎｔｅｇｒａｔｅｄ  Ｃｉｒｃｕｉｔｓ  ＆  Ｓｙｓｔ．）  ｖｏｌ．１６，ｎｏ．３，ｐ．２９０−２９８  １９９７年３月発行
【０００９】
【発明が解決しようとする課題】
上述したように、従来の回路動作検証方法及び回路動作検証装置においては、ネットにおけるクロストークノイズによる誤動作の判定を容量比Ｋｃの値に基づいて行うことから、正確な検証が困難であるという精度上の問題がある。
【００１０】
本発明は、斯かる問題に鑑みてなされたものであり、クロストークノイズによる誤動作の判定（検証）をする際の判定基準として、従来の容量比Ｋｃに加え、配線間容量Ｃｃの値（絶対値）及びドライバセルの駆動能力比（攻撃側ドライバセルの駆動能力と被害側ドライバセルの駆動能力との比）を取り込むことにより、より正確で現実的なクロストークノイズによる誤動作の検証を行うことができる回路動作検証方法及び回路動作検証装置を提供することを目的とする。特に、攻撃配線及び被害配線の間の配線間容量に対して被害配線の総容量を変化させて被害側レシーバセルが誤動作を起こすときの配線間容量と総容量との容量比を誤動作閾値として求めることにより、駆動能力比、配線間容量、誤動作閾値を判定基準として正確な検証ができる回路動作検証方法及び回路動作検証装置を提供する。
【００１１】
本発明の他の目的は、誤動作閾値を回路シミュレーションにより求めることにより、確実に誤動作閾値を求めることができる回路動作検証方法及び回路動作検証装置を提供することにある。本発明の他の目的は、攻撃側ドライバセルの駆動能力と被害側ドライバセルの駆動能力との比で表される駆動能力比、被害配線における配線間容量、及び被害配線において誤動作を起こすときの誤動作閾値を、判定基準ライブラリとしてテーブル化することにより、高速で高精度の回路動作の検証を容易に実行できる回路動作検証方法及び回路動作検証装置を提供することにある。本発明の他の目的は、判定基準ライブラリにおいて駆動能力比及び配線間容量をパラメータとすることにより、高速で高精度の検証が更に簡略化できる回路動作検証方法及び回路動作検証装置を提供することにある。本発明の他の目的は、誤動作を生じる回路におけるドライバセルの駆動能力を修正することにより、回路設計の迅速化、簡略化を可能とする回路動作検証方法及び回路動作検証装置を提供することである。
【００１２】
【課題を解決するための手段】
本発明に係る回路動作検証方法は、ドライバセルと、レシーバセルと、前記ドライバセル及びレシーバセルを接続する配線とにより構成される回路がクロストークノイズにより誤動作をするか否かを検証する回路動作検証方法において、クロストークノイズを発生する攻撃配線を駆動する攻撃側ドライバセルの駆動能力とクロストークノイズにより影響を受ける被害配線を駆動する被害側ドライバセルの駆動能力との駆動能力比に対応させて、前記攻撃配線及び被害配線の間の配線間容量に対して被害配線の総容量を変化させて前記被害側レシーバセルが誤動作を起こすときの前記配線間容量と前記総容量との容量比を誤動作閾値として求め、前記駆動能力比、配線間容量、及び誤動作閾値を判定基準として回路がクロストークノイズにより誤動作をするか否かの検証を行うことを特徴とする。
【００１３】
本発明に係る回路動作検証方法においては、前記誤動作閾値は、回路シミュレーションにより、前記配線間容量に対して前記総容量を変化させて求めることを特徴とする。
【００１４】
本発明に係る回路動作検証方法においては、前記駆動能力比、配線間容量、及び誤動作閾値は、判定基準ライブラリとしてテーブル化してあることを特徴とする。
【００１５】
本発明に係る回路動作検証方法においては、判定基準ライブラリは、前記駆動能力比及び配線間容量をパラメータとしてテーブル化されることを特徴とする。
【００１６】
本発明に係る回路動作検証装置は、ドライバセルと、レシーバセルと、前記ドライバセル及びレシーバセルを接続する配線とにより構成される回路を複数含む回路網におけるクロストークノイズによる回路の誤動作を検証する回路動作検証装置において、前記回路網のレイアウトデータを保持するレイアウトデータ保持部と、前記レイアウトデータ保持部から前記ドライバセルの駆動能力、前記配線における配線間容量、及び配線の総容量を抽出する回路要素値抽出部と、前記回路を組み合わせて構成したネットに対応させてドライバセルの駆動能力、前記配線間容量、及び前記配線間容量と前記総容量との容量比をネット要素値として格納するネット要素値格納部とを備えることを特徴とする。
【００１７】
本発明に係る回路動作検証装置においては、前記ネットは隣接する回路により構成されることを特徴とする。
【００１８】
本発明に係る回路動作検証装置においては、前記ネットに対応させて、前記ドライバセルの駆動能力の駆動能力比、前記配線間容量、及び前記配線間容量に対して前記総容量を変化させて前記回路が誤動作を起こすときの前記配線間容量と総容量との容量比により定まる誤動作閾値を判定基準として有する判定基準ライブラリと、前記ネット毎に、前記ネット要素値における前記容量比と前記ネット要素値の駆動能力比及び配線間容量に対応する前記判定基準における誤動作閾値とを比較して前記回路が誤動作をするか否かの検証を行う検証部とを備えることを特徴とする。
【００１９】
本発明に係る回路動作検証装置においては、前記検証部における検証結果に基づいて、前記ドライバセルの駆動能力を修正するセル修正部を備えることを特徴とする。
【００２０】
本発明にあっては、回路がクロストークノイズにより誤動作をするか否かについて、攻撃側ドライバセルの駆動能力と被害側ドライバセルの駆動能力との駆動能力比、攻撃配線及び被害配線の間の配線間容量、及び配線間容量に対して被害配線の総容量を変化させて被害側レシーバセルが誤動作（回路が誤動作）を起こすときの配線間容量と総容量との容量比から定めた誤動作閾値を判定基準として回路の誤動作を検証するので、高精度な回路動作検証方法及び回路動作検証装置が可能となる。
【００２１】
本発明にあっては、誤動作閾値を回路シミュレーションにより求めることとしたので、高速で、高精度に誤動作閾値を求めることができる。
【００２２】
本発明にあっては、駆動能力比、配線間容量、及び誤動作閾値を判定基準ライブラリとしてテーブル化することとしたので、ネット毎に回路シミュレーションをする必要がなく、高速で高精度の回路動作の検証を容易に実行できる。
【００２３】
本発明にあっては、駆動能力比及び配線間容量をパラメータとすることにより、判定基準ライブラリを簡略化することができ、回路動作の検証の簡略化が可能となり、高集積度の回路についても容易に回路動作の検証が可能となる。
【００２４】
本発明にあっては、検証の結果に基づいて、ドライバセルの駆動能力の修正（サイズ変更）ができるので、検証対象の回路を容易に最適化する回路動作の検証が可能となる。
【００２５】
【発明の実施の形態】
一般にクロストークノイズに対する感度が大きい要素（クロストークノイズの影響を受けやすい要素）として３つの要素が考えられる。第１に被害配線Ｗｂを駆動する被害側ドライバセル２０の駆動能力と攻撃配線Ｗａを駆動する攻撃側ドライバセル１０の駆動能力の駆動能力比Ｋｄ（攻撃側ドライバセル１０の出力抵抗Ｒｄａと被害側ドライバセル２０の出力抵抗Ｒｄｂの比を用いて適宜定義できる）、第２に被害配線Ｗｂと攻撃配線Ｗａとの間の配線間容量Ｃｃ、第３に被害配線Ｗｂの総容量Ｃｔに対する配線間容量Ｃｃの容量比Ｋｃ（Ｋｃ＝Ｃｃ／Ｃｔ）である。これら第１〜第３の要素の内、いずれが最も支配的であるかは、上述したように検証対象の回路（ネット）のプロセス条件、回路配置（レイアウト）条件などにより変動する。
【００２６】
本発明においては、従来用いられていた被害配線Ｗｂの総容量Ｃｔに対する配線間容量Ｃｃの容量比Ｋｃに加え、被害側ドライバセル２０の駆動能力と攻撃側ドライバセル１０の駆動能力の駆動能力比Ｋｄ、更には被害配線Ｗｂと攻撃配線Ｗａとの間の配線間容量Ｃｃ（の絶対値）を判定基準にして回路の誤動作の検証を行う。判定基準は、駆動能力比Ｋｄに対応させて、配線間容量Ｃｃに対して被害配線Ｗｂの総容量Ｃｔを変化させて回路（被害側レシーバセル２２）が誤動作を起こすときの配線間容量Ｃｃと総容量Ｃｔとの容量比Ｋｃを誤動作閾値Ｔｈとして求める。以下、本発明の詳細をその実施の形態を示す図面に基づいて説明する。
【００２７】
図１は本発明における判定基準を作成する手順の概略を示すフローチャートである。先ず、シミュレーション用回路要素の準備を行う（ステップＳ１０）。具体的には、例えば、ドライバセルの種類の決定、出力波形の波形鈍りの抽出、プロセスパラメータの抽出などである。プロセスパラメータとしては、例えば、単位長当りの配線間容量、基板容量、配線のシート抵抗などがあり、これらは予め採用するプロセス毎に準備してある。なお、必要に応じてレシーバセルの種類の決定も行う。
【００２８】
ドライバセルの種類の決定においては、攻撃側ドライバセル１０の駆動能力、被害側ドライバセル２０の駆動能力、攻撃側レシーバセル１２の駆動能力、被害側レシーバセル２２の駆動能力、出力波形（又は入力波形）の波形鈍りなどを求め、クロストークノイズによる影響が大きくなる厳しい条件を選択する。例えば駆動能力が同一であるドライバセルが複数個存在する場合、その中で特にクロストークノイズの影響を受けやすいドライバセルを選択する。また、例えば波形鈍りについては攻撃側ドライバセル１０の出力波形の波形鈍りが急峻になればなるほどクロストークノイズは大きくなるので、波形鈍りの急峻なものを選択する。このようにして、上述した感度の大きい３つの要素以外の要素については最悪の条件をカバーする条件の回路要素を選択（決定）することにより、実チップ（検証対象の回路としてのＬＳＩなど）での検証を行う際に、誤動作を起こす回路（ネット）を漏れなく検出することができる。
【００２９】
準備したシミュレーション用回路要素に基づいて、回路シミュレーションを実行する（ステップＳ１２）。回路シミュレーションはＳＰＩＣＥなどのシミュレータを用いて行う。選択した攻撃側ドライバセル１０と被害側ドライバセル２０を含む回路の組み合わせ（ネット）について駆動能力比Ｋｄを求める。回路の組み合わせに応じて種々の駆動能力比Ｋｄが存在するので、駆動能力比Ｋｄ毎に回路シミュレーションを行い、回路（ネット）が誤動作を起こすかどうかをシミュレーションする。ここで、ドライバセルの駆動能力は、等価的にはドライバセルの出力抵抗で表されるが、回路シミュレーション上はドライバセルにおける出力トランジスタのサイズで置き換えることができる。つまり、ドライバセルの駆動能力は、ある出力トランジスタのサイズを基準値として出力トランジスタのサイズを用いて数値で表すことができ、例えば、最も小さい駆動能力を１とすれば、出力トランジスタのサイズの比で表すことができる。つまり、駆動能力比Ｋｄは、出力トランジスタの形状比で表すことにより、回路シミュレーションを簡単に実行することができる。例えば、基本とする出力トランジスタと比較する出力トランジスタの各チャンネル長が同一であれば、チャンネル幅の比を駆動能力比Ｋｄとすることができる。
【００３０】
シミュレーションの方法は、被害配線Ｗｂを駆動する被害側ドライバセル２０の駆動能力に対する攻撃配線Ｗａを駆動する攻撃側ドライバセル１０の駆動能力の駆動能力比ＫｄをＫｄｉ（ｉ＝１、・・・、ｎ）とし、例えば、ある駆動能力比Ｋｄ＝Ｋｄ１に対して以下のようにして行う。被害配線Ｗｂにおいて配線間容量Ｃｃの値（絶対値）に対し、総容量Ｃｔの値を変化させていくと、被害配線Ｗｂに接続された被害側レシーバセル２２が誤動作に至る。このときの駆動能力比Ｋｄ１、配線間容量Ｃｃ及び容量比Ｋｃ（＝Ｃｃ／Ｃｔ）の値の組み合わせをクロストークノイズによるエラーの判定基準とする。ここで、誤動作を生じる際の容量比Ｋｃを誤動作閾値Ｔｈと定める。以下、種々の配線間容量Ｃｃに対して同様のシミュレーションを繰り返し行い、配線間容量Ｃｃ及び誤動作閾値Ｔｈを決定し、駆動能力比Ｋｄ１に対応して得られた種々の配線間容量Ｃｃに対する誤動作閾値Ｔｈを構成とする判定基準を作成する（ステップＳ１４）。以下、その他の駆動能力比Ｋｄｉ（Ｋｄ２〜Ｋｄｎ）においても、同様に配線間容量Ｃｃ及び誤動作閾値Ｔｈを決定し、各駆動能力比Ｋｄｉに対応して得られた種々の配線間容量Ｃｃに対する誤動作閾値Ｔｈを判定基準とする。この判定基準をテーブル化して判定基準ライブラリとして記憶装置（不図示）に登録（格納）する。
【００３１】
図２は本発明における判定基準をテーブル化した判定基準ライブラリの例を示す図表である。横の欄はネットでのドライバセルの駆動能力比Ｋｄ（Ｋｄ１〜Ｋｄｉ）を示し、縦の欄は各駆動能力比Ｋｄに対して種々の配線間容量Ｃｃ（Ｃｃ１〜Ｃｃｊ）を示す。縦の欄と横の欄の交差する箇所に該当する誤動作閾値Ｔｈ（Ｔｈ１１〜Ｔｈｉｊ）が示され、駆動能力比Ｋｄ、配線間容量Ｃｃをパラメータとして誤動作閾値Ｔｈを含む判定基準をテーブル化した判定基準ライブラリが構成できる。つまり、駆動能力比Ｋｄ、配線間容量Ｃｃ、誤動作閾値Ｔｈの組み合わせにより判定基準ライブラリが規定される。なお、図２においては、簡単のため、各駆動能力比Ｋｄにおいて、配線間容量Ｃｃを共通のものとして示したが、駆動能力Ｋｄ毎に異なる配線間容量Ｃｃの値を設定することも可能である。
【００３２】
図３は図２の判定基準ライブラリの利用方法を示すグラフである。図３において、横軸は配線間容量Ｃｃｊであり、縦軸は誤動作閾値Ｔｈｉｊであり、駆動能力比Ｋｄｉをパラメータとして示している。例えば、駆動能力比Ｋｄ１（破線Ｋｄ１）において、配線間容量Ｃｃ１、Ｃｃ２、Ｃｃ３には誤動作閾値Ｔｈ１１、Ｔｈ１２、Ｔｈ１３が対応している。破線Ｋｄ１はクロストークノイズによって回路が誤動作を起こすかどうかを判定するための境界線となる。例えば破線Ｋｄ１において、配線間容量Ｃｃ１の場合に、容量比Ｋｃが誤動作閾値Ｔｈ１１以上であれば、回路が誤動作を生じるとして検出できる。図３においては、図２で求めた点を結ぶことによりに連続的な境界線を設定できるから、配線間容量Ｃｃｊが、例えばＣｃ１とＣｃ２との間に存在するような場合においても誤動作閾値を求めることができる
【００３３】
図４は検証対象ＬＳＩにおける回路誤動作の検証に必要なデータの収集手順を示すフローチャートである。先ず、検証対象ＬＳＩ（検証対象の回路）の基本的なデータであるレイアウトデータを外部から適宜取得してレイアウトデータ保持部に保持する（ステップＳ２０）。次に、ＬＰＥ（Ｌａｙｏｕｔ  Ｐａｒａｓｉｔｉｃ  Ｅｘｔｒａｃｔｉｏｎ）を行うＣＡＤツールなどを用いて、レイアウトデータから構成されるネット全てについてドライバセルの駆動能力、配線間容量Ｃｃ、配線の総容量Ｃｔなどの回路要素値を抽出する（ステップＳ２２）。回路要素値の抽出は、例えば回路要素値抽出部（回路要素値抽出手段）において実行できる。回路要素値抽出部は専用のハードウエアとして構成する必要はなく、例えばＣＡＤツールを用いて演算処理を行う汎用的な演算処理部（コンピュータなどの演算手段）などにより構成できる。なお、これらの回路要素値の単位は適宜設定することができるが、簡単のため単位は省略して説明する。
【００３４】
全てのネットについて抽出した回路要素値を、各ネットと対応させてネット要素値としてネット要素値格納部（ネット要素値格納手段）に格納する（ステップＳ２４）。ネットとの対応関係を表すために各ドライバセルの出力端子名（出力端子番号）を用いる。つまり、全てのドライバセルについて、出力端子名と駆動能力の対応付けを行う。出力端子が複数個ある場合にはその複数個全ての出力端子に対して駆動能力を求めておく。出力端子名はネットの接続情報ファイルから探索することができる。ネット要素値としてのドライバセルの駆動能力（又は駆動能力比Ｋｄ。駆動能力比Ｋｄは後の過程で算出するようにしても良い。）、配線間容量Ｃｃ、容量比Ｋｃ（＝Ｃｃ／Ｃｔ）などを例えば出力端子名と対応させて格納する。なお、容量比Ｋｃは百分率（％）で示すことも可能であるが簡単のために単に比で表す。また、ネットとしては、通常はクロストークノイズの影響が最も大きくなる相互に隣接する回路（ドライバセル、レシーバセル、及びドライバセルとレシーバセルを接続する配線により構成される基本的な回路）を対象とすることにより効率的な検証ができる。しかし、相互に隣接する回路に限るわけではなく、影響の大きさに応じて適宜抽出すれば良い。
【００３５】
図４における手順は、本発明に係る回路動作検証装置（不図示）において適宜実行される。回路動作検証装置は、例えば、記憶装置などで構成されるレイアウトデータ保持部及びネット要素値格納部と、演算手段及びＣＡＤツールなどで構成される回路要素値抽出部とを備える。なお、本発明に係る回路動作検証装置は専用のハードウエアで構成する必要はなく、汎用のコンピュータを適宜用いて実現することができる。
【００３６】
図５は本発明に係る回路動作検証装置における検証手順を示すフローチャートである。先ず、ネット毎に回路誤動作の検証に必要なデータを抽出する（ステップＳ３０）。ネットに対応させてあるドライバセルの出力端子名を用いて必要なデータを照合（対応付け）することができる。検証において必要なデータとして検証対象ＬＳＩ（検証対象の回路）のネット要素値と判定基準をテーブルとして有する判定基準ライブラリが上述の過程で既に得られている。ネット要素値格納部からネットと対応させてネット要素値であるドライバセルの駆動能力、配線間容量Ｃｃ、容量比Ｋｃを抽出する。ドライバセルの駆動能力から駆動能力比Ｋｄ（例えばＫｄ３とする）を求め、判定基準ライブラリ（図２参照）から適合する駆動能力比Ｋｄｉにおけるテーブル（図２におけるＣｃｊ及びＫｄ３の縦列のデータ）を選択する。さらに、配線間容量Ｃｃｊに対応させて配線間容量Ｃｃ（例えばＣｃ３とする）から誤動作閾値Ｔｈ（例えば駆動能力比Ｋｄ３と配線間容量Ｃｃ３から誤動作閾値Ｔｈ３３）を求める。求めた誤動作閾値Ｔｈ３３と容量比Ｋｃとを比較してクロストークによる誤動作を生じるか否かの検証を検証部において行う（ステップＳ３２）。なお、回路動作検証装置を構成する検証部は専用のハードウエアで構成する必要はなく、汎用のコンピュータを用いて適宜のプログラムにより実現することができる。
【００３７】
例えば駆動能力Ｋｄ３、配線間容量Ｃｃ３の場合においては、容量比Ｋｃが誤動作閾値Ｔｈ３３より小さければ回路（具体的には被害側レシーバ）の誤動作は起こらない（エラーなし）が、容量比Ｋｃが誤動作閾値Ｔｈ３３より大きければ回路（具体的には被害側レシーバ）の誤動作を起こす（エラーあり）ことになる。なお、ここでは図２のテーブルから誤動作閾値Ｔｈ３３を求めるとして説明したが、該当する数値がない場合（例えば配線間容量ＣｃがＣｃ２とＣｃ３との中間にあり、図２のテーブルから直接的には誤動作閾値Ｔｈを求めることができない場合）には、図３のグラフ（境界線）を用いて補間法により、配線間容量Ｃｃがどのような値の場合にも誤動作閾値Ｔｈを求めることもできる。実用上は図３のグラフを用いて連続的な範囲での検証を可能とするプログラムを組み込むことにより検証を行うことができる。検証の結果から、エラーがあるかないかを判定する（ステップＳ３４）。
【００３８】
エラーがない場合（ステップＳ３４：ＮＯ）には、検証していない残りのネット（残ネット）があるか否かを判定（ステップＳ３６）し、残ネットがある場合（ステップＳ３６：ＹＥＳ）にはステップＳ３２へ戻り、次のネットについて検証を行う。残ネットがない場合（ステップＳ３６：ＮＯ）には回路の誤動作の検証を終了する。エラーがある場合（ステップＳ３４：ＹＥＳ）には、対応するドライバセルの駆動能力を修正する（ステップＳ３８）。ドライバセルの駆動能力を修正した後はステップＳ３０へ戻る。ドライバセルの駆動能力の修正は、セル修正部において被害側ドライバセル２０の駆動能力を大きくすること（被害側ドライバセル２０のサイズを大きくすること）により可能となる。なお、セル修正部は専用のハードウエアで構成する必要はなく、汎用のコンピュータを用いて適宜のプログラムにより実現することができる。
【００３９】
ドライバセルの駆動能力の修正は、被害側ドライバセル２０の駆動能力を１レベル毎に徐々に大きくしていき、ステップＳ３０〜Ｓ３４、ステップＳ３８の手順を繰り返すことにより、エラーを起こさなくなるときの駆動能力を最適な駆動能力として決定することにより行う。このように駆動能力の修正（被害側ドライバセル２０のサイズ変更）という比較的簡単な演算処理により誤動作が起こらないようにできるので、配線の修正のような複雑な修正をしなくてもエラーを回避することができる。なお、被害側ドライバセル２０のサイズを大きくして誤動作への対策とする例を示したが、場合によっては、攻撃側ドライバセル１０のサイズを逆に小さくして対策することも可能である。
【００４０】
クロストークによる誤動作の検証を行う際に、従来のような回路シミュレーションを繰り返し行う代わりに、駆動能力比Ｋｄに対応させた配線容量Ｃｃと誤動作閾値Ｔｈの判定基準ライブラリ（テーブル）を用いた回路動作の検証をすることにより、高速でしかも高精度な検証を行うことが可能になる。また、検証結果に基づいてドライバセルの駆動能力（ドライバセルにおける出力トランジスタのサイズ）を修正することにより、検証対象の回路を容易に最適化することができる。
【００４１】
【発明の効果】
以上に詳述した如く、本発明にあっては、駆動能力比、配線間容量及び誤動作閾値を用いて、回路動作の検証をすることから、高速で、高精度に検証対象の回路におけるクロストークノイズによる誤動作を検証できる回路動作検証方法及び回路動作検証装置を提供できる。
【００４２】
本発明にあっては、誤動作閾値を回路シミュレーションにより求め、駆動能力比、配線間容量、及び誤動作閾値を判定基準ライブラリとしてテーブル化するので、ネット毎に回路シミュレーションなどを行う必要がなく、検証対象の回路（ＬＳＩチップ全体）の検証を高速で高精度に行うことができる。また、駆動能力比及び配線間容量をパラメータとすることにより、判定基準ライブラリを簡略化するので、回路動作の検証を簡略化でき、高集積度の回路についても容易に回路動作の検証が可能な回路動作検証方法及び回路動作検証装置を提供できる。
【００４３】
本発明にあっては、回路動作の検証結果に基づいて、ドライバセルの駆動能力の修正（出力トランジスタのサイズ変更）ができるので、検証対象の回路を容易に最適化できる回路動作検証方法及び回路動作検証装置を提供できる。
【図面の簡単な説明】
【図１】本発明における判定基準を作成する手順の概略を示すフローチャートである。
【図２】本発明における判定基準をテーブル化した判定基準ライブラリの例を示す図表である。
【図３】図２の判定基準ライブラリの利用方法を示すグラフである。
【図４】検証対象ＬＳＩにおける回路誤動作の検証に必要なデータの収集手順を示すフローチャートである。
【図５】本発明に係る回路動作検証装置における検証手順を示すフローチャートである。
【図６】ネットでのクロストークノイズを決定する要因の概略を示す等価回路図である。
【符号の説明】
１０  攻撃側ドライバセル
１２  攻撃側レシーバセル
２０  被害側ドライバセル
２２  被害側レシーバセル
Ｃｃ  配線間容量
Ｋｄ  駆動能力比
Ｔｈ  誤動作閾値
Ｗａ  攻撃配線
Ｗｂ  被害配線
【図１】
2004302969.tif 000003
【図２】
2004302969.tif 000004
【図３】
2004302969.tif 000005
【図４】
2004302969.tif 000006
【図５】
2004302969.tif 000007
【図６】
2004302969.tif 000008