"回路図に基づく回路素子間接続情報と、各回路素子に印加される電圧,及び/又は各回路素子に通電される電流,及び/又は各回路素子に発生する熱についての定格値を示す定格情報とを用い、回路に入力する信号パターンが与えられると、前記信号パターンに基づいて回路動作を検証する回路動作検証手段を備える検証装置において、前記検証の結果、前記定格値を超えることで破壊に至る回路素子が存在すると、前記回路素子を、前記破壊の態様に応じた破壊状態モデルに置換する破壊状態モデル置換手段を備え、前記破壊状態モデルに置換した回路について検証を継続することを特徴とする回路動作の検証装置。前記回路動作検証手段は、前記回路図で示される回路を半導体集積回路として形成したレイアウト情報に含まれる寄生回路素子の情報も用いて、回路動作を検証することを特徴とする請求項1記載の回路動作の検証装置。前記定格情報に、複数の回路素子間を接続する配線についての定格値も含み、前記破壊状態モデル置換手段は、前記配線についても前記破壊状態モデルに置換することを特徴とする請求項2記載の回路動作の検証装置。前記回路素子の1つが電圧駆動型トランジスタであり、前記破壊状態モデルに、前記電圧駆動型トランジスタの閾値電圧が標準値から変化したものを含むことを特徴とする請求項1ないし3の何れかに記載の回路動作の検証装置。前記破壊状態モデル置換手段は、回路素子に発生する破壊の態様が複数あると、それら複数の態様に応じた複数の破壊状態モデルに置換し、前記回路動作検証手段は、以降に行う検証を、前記複数の破壊状態モデルに対応して分岐させて行うことを特徴とする請求項1ないし4の何れかに記載の回路動作の検証装置。前記破壊状態モデル置換手段は、ユーザが任意の回路素子を指定して破壊状態モデルに置換可能であることを特徴とする請求項1ないし5の何れかに記載の回路動作の検証装置。回路図に基づく回路素子間接続情報と、各回路素子に印加される電圧,及び/又は各回路素子に通電される電流,及び/又は各回路素子に発生する熱についての定格値を示す定格情報と、回路に入力する信号パターンと基づいて回路動作を検証する検証方法において、各回路素子について、前記電圧又は前記電流又は前記発熱が前記定格値を超えることで破壊される態様に応じた破壊状態モデルを用意しておき、前記検証の結果、前記定格値を超えることで破壊に至る回路素子が存在すると、前記回路素子を、前記破壊の態様に応じた破壊状態モデルに置換して検証を継続することを特徴とする回路動作の検証方法。前記回路図で示される回路を半導体集積回路として形成したレイアウト情報を用い、前記レイアウト情報に含まれる寄生回路素子の情報も併せて回路動作を検証することを特徴とする請求項7記載の回路動作の検証方法。前記定格情報に、複数の回路素子間を接続する配線についての定格値も含み、前記配線についても、前記破壊状態モデルを用いることを特徴とする請求項8記載の回路動作の検証方法。前記回路素子の1つが電圧駆動型トランジスタであり、前記破壊状態モデルに、前記電圧駆動型トランジスタの閾値電圧が標準値から変化したものを含むことを特徴とする請求項7ないし9の何れかに記載の回路動作の検証方法。回路素子に発生する破壊の態様が複数あると、それら複数の態様に応じた複数の破壊状態モデルに置換することで、以降に行う検証を、前記複数の破壊状態モデルに対応して分岐させて行うことを特徴とする請求項7ないし10の何れかに記載の回路動作の検証方法。ユーザが任意の回路素子を前記破壊状態モデルに置換した回路についても検証が可能であることを特徴とする請求項7ないし11の何れかに記載の回路動作の検証方法。しかしながら、これらの従来技術では、検証の結果、電圧規格や電流規格を満たさない箇所があり、その結果が出力されてユーザに通知されるとしても、回路動作のシミュレーション結果には影響が反映されない。そのため、回路素子の一部が破壊されるような故障が発生した場合に、回路動作がどのように変化するのかが明確にならないという問題があった。本発明は上記事情に鑑みてなされたものであり、その目的は、電圧規格や電流規格を満たさない箇所があった場合に、その影響を反映させて検証を行うことができる回路動作の検証装置及び回路動作の検証方法を提供することにある。請求項1記載の回路動作の検証装置によれば、回路動作検証手段は、回路素子間接続情報と、各回路素子に印加される電圧,通電される電流,発生する熱についての定格情報とを用い、回路に入力する信号パターンが与えられると、その信号パターンに基づいて回路動作を検証する。そして、破壊状態モデル置換手段は、検証の結果、定格値を超えることで破壊に至る回路素子が存在すると、当該回路素子を、破壊の態様に応じた破壊状態モデルに置換し、回路動作検証手段は、破壊状態モデルに置換した回路について検証を継続する。したがって、一部の回路素子が破壊されることになる場合についてもシミュレーションが継続され、上記破壊の影響が、周辺の回路素子にどのように及ぶことになるかを検証できる。尚、ここで言う検証には、回路動作をシミュレーションすることと、そのシミュレーションに応じて変化する電圧,電流が定格値を超えるか否かを判断することとの双方を含むものとする。請求項2記載の回路動作の検証装置によれば、回路動作検証手段は、回路図で示される回路を半導体集積回路として形成したレイアウト情報に含まれる、寄生回路素子の情報も用いて回路動作を検証する。したがって、例えば配線抵抗値や浮遊容量等も考慮して、回路素子が破壊に至るか否かを判定することができる。請求項3記載の回路動作の検証装置によれば、定格情報に、複数の回路素子間を接続する配線についての定格値も含み、破壊状態モデル置換手段は、配線についても破壊状態モデルに置換する。すなわち、レイアウト情報では、配線が選択された材料に応じてどのような電流密度になるかや、配線幅や配線長が具体的に特定されているので、それらの情報により配線に断線や配線間の短絡が生じるか否かが判定できる。したがって、配線に生じたそのような結果が反映されたシミュレーションを行うことができる。請求項4記載の回路動作の検証装置によれば、回路素子の1つが電圧駆動型トランジスタである場合、破壊状態モデルに、電圧駆動型トランジスタの閾値電圧が標準値から変化したものを含む。例えばMOSFETのような電圧駆動型トランジスタに生じる破壊の態様には、端子間の断線や短絡だけでなく、印加される電圧や通電される電流が定格値を超えることで閾値電圧が変化する、というものも想定される。したがって、そのような破壊の態様を反映させたシミュレーションも行うことができる。請求項5記載の回路動作の検証装置によれば、破壊状態モデル置換手段は、回路素子に発生する破壊の態様が複数あると、それら複数の態様に応じた複数の破壊状態モデルに置換する。そして、回路動作検証手段は、以降に行う検証を、複数の破壊状態モデルに対応して分岐させて行う。例えば、特定の回路素子について、端子間の短絡と開放との双方が生じる可能性がある場合は、前記回路素子を短絡破壊モデルに置き換えた回路と、開放破壊モデルに置き換えた回路との双方を作成する。そして、これら2つの破壊モデルを用いた検証をそれぞれ行うようにする。したがって、様々に起こり得る破壊の態様のそれぞれについて検証結果を得ることができる。請求項6記載の回路動作の検証装置によれば、破壊状態モデル置換手段は、ユーザが任意の回路素子を指定したものを、破壊状態モデルに置換可能に構成される。すなわち、ユーザにとっては、特定の信号パターンに基づくシミュレーションの結果によらずとも、特定の回路素子に所定態様の破壊が発生すると、回路動作がどのように変化するのかを知りたい場合もある。そこで、請求項6のように構成すれば、ユーザの指定により破壊状態モデルに置換した回路について検証結果を得ることができる。以下、一実施例について図面を参照して説明する。図1は、回路動作の検証装置が行う処理の内容を示すフローチャートである。回路図データ1は、正常モデル2,破壊状態モデル3,結線情報4回路素子間接続情報,レイアウト情報5を統合したものである。正常モデル2は、各回路素子の電気的特性を記述したものであり、破壊状態モデル3は、各回路素子について、印加される電圧や通電される電流,又はその結果発生する熱により破壊された状態を1つ以上記述したものである詳細は後述する。結線情報4は、回路図における各回路素子間の接続状態をリスト化したいわゆるネットリストであり、レイアウト情報5は、回路図に示された回路を半導体集積回路として形成した場合のレイアウト設計情報である。また、レイアウト情報5には、配線に関する設計ルール情報、すなわち、配線に使用する材料に応じた電流密度や配線膜厚,最少配線幅等の情報も含まれている。電気的時間的定格情報6は、各回路素子に印加される電圧や電流,発熱の定格値を示すものであり、入力パターン7は、回路の動作をシミュレーションするために使用する信号の入力パターンである。これらを用いて、以降の回路動作の検証が行われる。尚、以降の処理は、検証装置としてのパーソナルコンピュータやワークステーション図示せず等においてソフトウェアにより実現される。先ず、ステップS1において初期化を行う。具体的には、回路図データ1を読み込んでコンピュータのメモリに格納し、入力パターン7を読み込んで初期値解析を行い、各回路素子の全端子の電圧と電流値;初期電圧値及び初期電流値,並びに各回路素子の初期温度を求める。更に、シミュレーションにおける実時間を表す時間TIMEに0を代入する。この時間TIMEはシミュレーションの進行に伴って増加する。尚、回路図データ1に含まれる正常モデル2には、例えば個々の回路素子を区別するインスタンス情報や、シミュレーションの計算に使用するデバイスパラメータであるデバイス情報例えばMOSトランジスタであればゲート長やゲート幅などや、回路素子の各端子を区別するための名称等がある。次に、ステップS2において現時点の時間TIMEがシミュレーション終了時刻か否かを判定し、終了時刻であればYES検証結果を例えば例えばデータファイルに出力したり、ディスプレイに表示する等してステップS7処理を終了するが、終了時刻でなければNOステップS3に移行する。ステップS3では、現時刻における各ノードの電圧値及び電流値を計算する。続くステップS4では、条件検証定格チェックが行われる。即ち、メモリ上に展開された回路素子情報正常モデル2における各回路素子の各端子について、シミュレーションにより得られた各端子の電圧値,電流値,及びこれらより計算される発熱量を使用して条件検証を行う。ここでは、上記の電圧値,電流値,発熱量が、電気的時間的定格情報6において規定されている各回路素子の定格値を超えているか否かを判定する。定格値を超えていなければNOステップS5に移行し、時間TIMEに増分を加えて更新すると、ステップS2に戻る。一方、ステップS4において、何れかにつき定格値を超えたものがあればYES、定格値を超えた回路素子を、破壊状態モデル3に置き換えてからステップS6ステップS5に移行する。尚、ステップS1~S5,S7は回路動作検証手段に相当し、ステップS6は破壊状態モデル置換手段に相当する。図4は、ステップS3及びS4で行われるシミュレーション及び条件検証を説明する図である。定格値には、一瞬でも超えると破壊に至る値と、断続的ではあっても、時間的な累積結果が所定値に達すると破壊に至る値時間的定格値,例えば発熱による破壊に関連するとがあり、これらの何れか一方を超えると、対応する回路素子の正常モデル2を、破壊態様に応じた破壊状態モデル3に置換することになる。また図5は、ステップS3におけるシミュレーションに、レイアウト情報5を加えて行うことを説明する図である。同図では、パッド11にPチャネルMOSFET12のゲートが接続されており、パッド11とグランドパッド13との間にツェナーダイオード14が接続されている。この場合、ツェナーダイオード14が保護素子であり、PチャネルMOSFET12が被保護素子となる。このような回路を半導体集積回路としてレイアウト設計した場合に、ツェナーダイオード14を配置する位置により、保護素子として正常に機能するか否かが左右されることがある。すなわち、ツェナーダイオード14をパッド11の近傍に配置すれば、パッド11からツェナーダイオード14のカソードに至る配線経路の抵抗値が比較的小さく、パッド11からPチャネルMOSFET12のゲートに至る配線経路の抵抗値が比較的大きくなることから、ツェナーダイオード14は保護素子として正常に機能し易くなる。逆に、ツェナーダイオード14をパッド11から離してPチャネルMOSFET12のゲート近傍側に配置すると、上記配線抵抗寄生回路素子の大小関係が場合により逆転することもあるため図5は、この状態を示している、ツェナーダイオード14は保護素子として正常に機能し難くなる。したがって、それぞれの配線抵抗値実際には、レイアウト情報5から具体数値が決定されるを計算に入れてシミュレーションを行う。また、寄生回路素子としてはその他浮遊容量や寄生インダクタンス等があるので、配線に付随する浮遊容量の大きさを考慮して信号の立ち上りや立下りの時間をシミュレートしたり、寄生インダクタンスの影響による信号波形の変化等をシミュレートすることもできる。図3a~cは、破壊状態モデル3の一例をPチャネルMOSFETについて示したものである。aショートモデルについては、ゲート-ドレイン間,ゲート-ソース間,ドレイン-ソース間,又はこれらを組み合わせたもの図では全てを組み合わせたものを示しているが、勿論全てに限らず一部の組み合わせで良い等がある。bオープンモデルについては、ゲート,ソース,ドレイン間,又はこれらを組み合わせたもの組み合わせについてはaと同様等がある。cのVth変動モデルは、PチャネルMOSFET電圧駆動型トランジスタの閾値電圧が標準値初期値より変動したモデルを示しており、実線の矢印は閾値電圧が低下した場合,破線の矢印は閾値電圧が上昇した場合に対応する。すなわち、MOSFETにおける閾値の変動は、素子破壊の一態様である。また、図3dは配線L1,L2間がショートしたモデルを示している。すなわち、レイアウト情報5では、配線が選択された材料に応じてどのような電流密度になるかや、配線膜厚,配線幅や配線長が具体的に特定されているので、それらの情報により配線に断線や配線間の短絡が生じるか否かが判定できる。これらの破壊モデルについては、シミュレーションでの各端子における電圧,電流の挙動により、どのような壊れ方ショート,オープン等をするかが破壊モードとして記述されている。例えば、定格値を超える過電圧が印加されたことによる端子間ショートや、定格値を超える過電流が流れたり、或いは定格値を超える電力が入力されて熱破壊が発生したことによる端子間オープン等である。尚、破壊状態モデル3については、図3に示すものに限らず、NチャネルMOSFETやIGBT,バイポーラトランジスタや抵抗素子,コンデンサ等の素子についても、同様にショートモデルやオープンモデル等が用意されている。図2は、ステップS6の処理内容を示すフローチャートである。ステップS4でYESと判断すると、定格値を超えた回路素子に対応する破壊状態モデルがあるか否かを判断しステップS11、破壊状態モデルがあればYES、その回路ネットリスト中の上記回路素子を破壊状態モデルに差し替えて置換するステップS12。その差し替えを行う場合、破壊状態モデルに対し、シミュレーションにおける破壊前定格値を超える前に各端子に与えられていた電圧,電流,電荷の情報やそれらの微分値を受け渡す。尚、微分値を受け渡すのは、検証装置におけるシミュレーションでは一般に、電圧,電流及びそれらの微分値を用いてニュートンラプラス法を用いて収束値を得るように計算を行っているからである。そして、破壊状態モデルに差し替えた回路についてシミュレーションを再開し、継続する。また、破壊状態モデルへの差し替えは、上述したように各モデルについて記述されている破壊モードと壊れ方との対応関係が比較されて、何れの破壊状態モデルに差し替えるかが自動的に決定される。また、破壊状態モデルへの差し替えは1種類だけに限ることなく、破壊モードによっては複数の壊れ方をすることも想定される。例えば、過電流が流れる時間によっては、端子間ショートと端子間オープンとが発生する場合があり、何れも発生し得る中間的な時間があることも想定される。そのような場合には複数の破壊状態モデルに差し替えることで、シミュレーションの対象とする回路を複数に分岐させ、それぞれについてシミュレーション結果を出すようにする。加えて、シミュレーションの途中で一部の素子を破壊状態モデルに置換したものについて結果を出した場合、ステップS7における結果の出力では、回路図をディスプレイに表示する際に置換した破壊状態モデルを表示する。これにより、破壊が生じた素子についてはどのような態様の破壊であるのかをユーザに対して視覚的に報知できる。以上のように本実施例によれば、回路動作の検証装置は、結線情報4と、定格情報6とを用い、回路に入力する信号パターン;入力パターン7が与えられると、その入力パターン7に基づいて回路動作を検証する。そして、検証の結果、回路素子に印加される電圧や通電される電流等が定格値を超えることで破壊に至る回路素子が存在すると、当該回路素子を破壊の態様に応じた破壊状態モデルに置換し、破壊状態モデルに置換した回路について検証を継続するようにした。したがって、一部の回路素子が破壊されることになる場合についてもシミュレーションが継続され、上記破壊の影響が、周辺の回路素子にどのように及ぶことになるかを、結線情報4に基づくトポロジー依存の回路モデルについて検証できる。また、検証装置は、レイアウト情報5に含まれる寄生回路素子の情報も用いて回路動作を検証するので、例えば配線抵抗値や浮遊容量等も考慮して、回路素子が破壊に至るか否かを判定することができる。更に、定格情報6に、複数の回路素子間を接続する配線についての定格値も含み、配線についても破壊状態モデルに置換するので、配線に生じたオープンやショート破壊等の結果が反映されたシミュレーションを行うことができる。加えて、回路素子の1つがMOSFETである場合、破壊状態モデルに、閾値電圧Vthが標準値から変化したものを含むので、そのような破壊の態様を反映させたシミュレーションも行うことができる。更にまた、回路素子に発生する破壊の態様が複数あると、それら複数の態様に応じた複数の破壊状態モデルに置換し、以降に行うシミュレーションを複数の破壊状態モデルに対応して分岐させて行うので、様々に起こり得る破壊の態様のそれぞれについて検証結果を得ることができる。本発明は上記し又は図面に記載した実施例にのみ限定されるものではなく、以下のような変形又は拡張が可能である。ユーザが任意の回路素子を指定したものを、破壊状態モデルに置換可能とするように構成しても良いステップS12の丸数字3。すなわち、ユーザにとっては、特定の信号パターンに基づくシミュレーションの結果によらずとも、特定の回路素子に所定態様の破壊が発生すると、回路動作がどのように変化するのかを知りたい場合もある。そこで、上記のように構成すれば、ユーザの指定により破壊状態モデルに置換した回路について検証結果を得ることができる。レイアウト情報を加えて行う検証は、必要に応じて行えば良い。閾値が変動した破壊状態モデルについては、IGBT電圧駆動型トランジスタについても同様に用意することができる。また、閾値が変動するという破壊状態が想定されない場合には、対応するモデルを設ける必要はない。1つの回路素子について同時に複数の破壊態様が想定されない場合には、複数の破壊状態モデルへの置換,及びその置換に伴うシミュレーションの分岐は、行う必要がない。"