JPH05290121A

JPH05290121A - 論理シミュレーション装置

Info

Publication number: JPH05290121A
Application number: JP4088472A
Authority: JP
Inventors: Hiroyuki Hamano; 博之浜野
Original assignee: Mitsubishi Electric Corp
Current assignee: Mitsubishi Electric Corp
Priority date: 1992-04-09
Filing date: 1992-04-09
Publication date: 1993-11-05
Anticipated expiration: 2013-02-04
Also published as: JP2708314B2; US5410549A

Abstract

(57)【要約】【目的】論理回路に発生する貫通電流等の不要な電流
の有無を自動的に検証することができる論理シミュレー
ション装置を得る。【構成】論理回路検証部３は、論理シミュレーション
の実行中に、回路接続データＤ２に基づき、貫通電流検
証ノードデータＤ３で規定されたノードより得られる信
号に対するフローティング状態の発生及び終了時刻をフ
ローティング情報保持部４に記録し、論理シミュレーシ
ョンが終了すると、フローティング情報保持部４に蓄積
されたフローティングノード情報群Ｄ１３内のフローテ
ィングノード情報ｄ１３それぞれと貫通電流発生危険期
間Ｄ１２とを比較して貫通電流発生検証を実行する。【効果】論理回路における不要電流の発生の有無を精
度よく自動的に検証することができる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は論理回路の不要電流の
発生の有無を検証する論理シミュレーション装置に関す
る。

【０００２】

【従来の技術】図７は従来の論理回路の動作を論理検証
する論理シミュレーション装置の構成を示すブロック図
である。同図に示すように、回路接続データ抽出部７
は、被シミュレーション回路の図面データである論理回
路データＤ１を取り込み、この論理回路データＤ１に基
づき、論理回路を形成する素子の接続関係を規定した回
路接続データＤ２を論理回路検証部６に出力する。一
方、論理検証ノード条件設定部８は、回路接続データＤ
２で規定された各素子間のノードのうち、論理検証対象
となるノード条件を規定する論理検証ノード条件データ
Ｄ３を論理回路検証部６に出力する。

【０００３】論理回路検証部６は、回路接続データＤ２
に基づく論理シミュレーションを実行し、論理検証ノー
ド条件データＤ３で規定された条件を満足するノードよ
り得られる信号（論理検証信号）のみを論理シミュレー
ション結果Ｄ４として論理検証結果出力部９に出力す
る。論理検証結果出力部９は、論理シミュレーション結
果Ｄ４に基づき、図８に示すように、リスト形式で記述
された論理シミュレーション結果リストＤ５を出力す
る。なお、図８において、５１は論理検証信号名を示
し、５２はシミュレーション実行時間であるタイムユニ
ットの時間変化を示し、５３は当該シミュレーション実
行時間における論理結果を示している。論理結果５３
は、０，１，Ｘ（不確定値）、Ｚ（フローティング状
態）と４種類の信号値がある。

【０００４】

【発明が解決しようとする課題】従来の論理シミュレー
ション装置は以上のように構成されており、論理検証ノ
ード条件データＤ３で規定された条件を満足するノード
より得られる信号の論理シミュレーション結果を、最終
的に論理シミュレーション結果リストＤ５として出力し
ていた。

【０００５】ところで、論理回路に発生する貫通電流等
の異常電流を検出するには、ノードのフローティング状
態に着目する必要がある。したがって、従来の論理シミ
ュレーション装置で貫通電流等の異常電流を検出する場
合、回路接続データＤ２で規定された各素子間のすべて
のノードを論理検証対象ノードとして、論理回路検証部
６で論理シミュレーションを実行し、その結果得られる
論理シミュレーション結果リストＤ５を専門家が観察す
るしか方法がなかった。

【０００６】しかしながら、すべてのノードを論理検証
対象とした論理シミュレーション結果Ｄ４に基づき出力
される論理シミュレーション結果リストＤ５には、膨大
な量の信号に対する論理検証結果が得られることにな
り、このような論理シミュレーション結果リストＤ５を
観察して、貫通電流等の異常電流を検出するのは極めて
非現実的である。加えて、膨大な量の論理シミュレーシ
ョン結果Ｄ４をストアするためのメモリ容量も飛躍的に
増加してしまうという問題点があった。

【０００７】この発明は上記問題点を解決するためにな
されたもので、論理回路に発生する貫通電流等の不要な
電流の有無を自動的に検証することができる論理シミュ
レーション装置を得ることを目的とする。

【０００８】

【課題を解決するための手段】この発明にかかる論理シ
ミュレーション装置は、所定の論理回路における不要な
電流の発生の有無を検出する装置であって、前記論理回
路を形成する素子の接続関係を規定した回路接続データ
を付与する回路接続データ付与手段と、前記回路接続デ
ータを受け、前記論理回路を形成する素子間のノードの
うち、論理的に不安定な状態になると前記論理回路に不
要電流を発生させる危険性のあるノードを不要電流検証
対象ノードとして抽出する不要電流検証対象ノード抽出
手段と、前記回路接続データ及び前記不要電流検証対象
ノードを取り込み、前記論理回路に対する論理シミュレ
ーションを実行し、各前記不要電流検証対象ノードより
得られるそれぞれの信号の論理レベルの不安定状態の継
続期間である不安定状態継続期間を求め、前記不安定状
態継続期間に基づき、前記論理回路における不要電流の
発生の有無を検証する不要電流発生検証手段とを備えて
構成されている。

【０００９】望ましくは、前記論理回路に不要な電流が
発生する危険性が生ずる長さに相当する前記不安定状態
継続期間を、不要電流発生危険期間として付与する不要
電流発生危険期間付与手段をさらに備え、前記不要電流
発生検証手段は、前記回路接続データ、前記不要電流検
証対象ノード及び前記不要電流発生危険期間を取り込
み、前記論理回路に対する論理シミュレーションを実行
し、各前記不要電流検証対象ノードより得られるそれぞ
れの信号について前記不安定状態継続期間を求め、前記
不安定状態継続期間それぞれと前記不要電流発生危険期
間との比較結果に基づき、前記論理回路における不要電
流の発生の有無を検証するように構成する。

【００１０】そして、前記不要電流検出対象ノードとし
て、前記論理回路を形成するトランジスタのゲート入力
となるノードで、かつ電源電圧に直接接続されていない
ノードを選択する。

【００１１】

【作用】この発明における不要電流発生検証手段は、論
理的に不安定な状態になると論理回路に不要電流を発生
させる危険性のあるノードである各不要電流検証対象ノ
ードより得られるそれぞれの信号の論理的な不安定状態
継続期間を求めている。したがって、不要電流検証対象
ノードにおける不安定状態継続期間の長さを検証するこ
とにより、論理回路における不要電流の発生の有無を精
度よく検証することが可能となる。

【００１２】そして、不要電流発生検証手段の不安定状
態継続期間の長さ検証用に、不要電流発生検証手段か
ら、論理回路に不要な電流が発生する危険性が生ずる長
さに相当する不安定状態継続期間として不要電流発生危
険期間を不要電流検証手段に付与している。

【００１３】また、不要電流検証対象素子として、論理
回路を形成するトランジスタのゲート入力となるノード
で、かつ電源電圧に直接接続されていないノードを選択
し、このノードが論理的に不安定状態になる場合に、こ
のノードをゲート入力としたトランジスタに貫通電流等
の異常電流が発生するか否かを検証することができる。

【００１４】

【実施例】図１はこの発明の一実施例である論理シミュ
レーション装置の構成を示すブロック図である。同図に
示すように、回路接続データ抽出部７は、シミュレーシ
ョン対象の論理回路の図面データである論理回路データ
Ｄ１を取り込み、この論理回路データＤ１に基づき、論
理回路を形成する素子の接続関係を規定した回路接続デ
ータＤ２を抽出して、論理回路検証部３及び貫通電流検
証ノード抽出部１に出力する。

【００１５】貫通電流検証ノード抽出部１は、回路接続
データＤ２で規定された各素子間のノードのうち、貫通
電流発生の有無を検証する目的で、フローティン状態の
有無を検証する必要のあるノードを規定する貫通電流検
証対象ノードデータＤ１１を抽出して論理回路検証部３
に出力する。

【００１６】一方、論理検証ノード条件設定部８は、回
路接続データＤ２で規定された各素子間のノードのう
ち、論理検証対象となるノード条件を規定する論理検証
ノード条件データＤ３を論理回路検証部６に出力する。
また、貫通電流発生危険期間設定部２は、トランジスタ
に貫通電流が流れる危険性のあるゲート入力フローティ
ング状態継続期間である貫通電流発生危険期間Ｄ１２を
論理回路検証部３に出力する。

【００１７】論理回路検証部３は、従来同様、回路接続
データＤ２に基づき論理シミュレーションを実行し、論
理検証ノード条件データＤ３を満足するノードより得ら
れる信号（論理検証信号）のみの経時変化を、論理シミ
ュレーション結果Ｄ４として論理検証結果出力部９に出
力する。

【００１８】さらに、論理回路検証部３は、論理シミュ
レーションの実行中に、回路接続データＤ２に基づき、
貫通電流検証ノードデータＤ３で規定されたノードより
得られる信号（貫通電流発生検証信号）に対するフロー
ティング状態の発生及び終了時刻をフローティングノー
ド情報ｄ１３として、フローティング情報保持部４に逐
次出力する。

【００１９】そして、論理回路検証部３は、論理シミュ
レーションが終了すると、フローティング情報保持部４
にフローティングノード情報ｄ１３の集合体であるフロ
ーティングノード情報群Ｄ１３が蓄積されるが、このフ
ローティングノード情報群Ｄ１３内の各フローティング
ノード情報ｄ１３と貫通電流発生危険期間Ｄ１２とを比
較して貫通電流発生検証を実行し、その検証結果を貫通
電流発生検証結果Ｄ１４として貫通電流発生検証結果出
力部５に出力する。

【００２０】論理検証結果出力部９は、論理シミュレー
ション結果Ｄ４に基づき、従来同様、リスト形式で記述
された論理シミュレーション結果リストＤ５を出力す
る。

【００２１】貫通電流発生検証結果出力部５は、貫通電
流発生検証結果Ｄ１４に基づき、図６に示すように、リ
スト形式で記述された貫通電流発生検証結果リストＤ１
５を出力する。図６で示した貫通電流発生検証結果Ｄ１
５は、信号名がＴＢＣＬＯＣＫである貫通電流発生検証
信号のフローティング期間が１８０(nsec)(700-520)と
なり、貫通電流発生危険期間Ｄ１２である１００(nsec)
を越えているというメッセージを発している。

【００２２】図２は、本実施例における論理シミュレー
ション装置の論理検証及び貫通電流発生検証動作を示す
フローチャートである。以下、同図を参照しつつその動
作の説明を行う。

【００２３】ステップＳ１で、回路接続データ抽出部７
は、論理回路データＤ１から論理シミュレーション用の
回路接続データＤ２を抽出して貫通電流検証ノード抽出
部１及び論理回路検証部３に出力する。

【００２４】次に、ステップＳ２で、貫通電流検証ノー
ド抽出部１は、回路接続データＤ２から、貫通電流の有
無を検証するノードを規定する貫通電流検証対象ノード
データＤ１１を抽出して論理回路検証部３に出力する。
以下、貫通電流検証ノード抽出部１による貫通電流検証
対象ノードデータＤ１１の抽出動作を説明する。

【００２５】図４に示すような回路において、トランジ
スタ３１〜３３の入力からインバータ３４の入力に至る
信号経路で異なる信号が得られるノードはＮ１〜Ｎ７で
ある。これらのノードＮ１〜Ｎ７のうち、トランジスタ
のゲート端子に接続するノード（ノードＮ１，Ｎ２，Ｎ
３，Ｎ５が該当）で、かつ電源端子及び接地端子のいず
れにも直接接続されていないノード（ノードＮ１，Ｎ
２，Ｎ５が該当）が、貫通電流検証ノードとなる。すな
わち、ノードＮ１，Ｎ２，Ｎ５が所定期間以上フローテ
ィング状態になると、そのノードにゲートが接続された
トランジスタに貫通電流が流れる危険性があり、これら
のノードＮ１，Ｎ２，Ｎ５を規定するノードデータを貫
通電流検証対象ノードデータＤ１１として抽出する。

【００２６】そして、ステップＳ３で、貫通電流発生危
険期間設定部２は、トランジスタに貫通電流が流れる危
険性のあるゲート入力フローティング状態継続期間であ
る貫通電流発生危険期間Ｄ１２を設定して論理回路検証
部３に出力する。

【００２７】図５はＰチャネルトランジスタのフローテ
ィング期間ＦＴを示すグラフであり、同図に示すよう
に、Ｌ１がゲート入力信号、Ｌ２はゲート入力信号Ｌ１
に基づくドレイン出力信号を示しており、ゲート入力信
号Ｌ１が５Ｖのとき、Ｐチャネルトランジスタはオフす
るため、そのドレイン出力信号Ｌ２がフローティング状
態となる。

【００２８】そして、ステップＳ４で、論理検証ノード
条件設定部８は、論理検証対象のノード条件を規定した
論理検証ノード条件データＤ３を論理回路検証部３に出
力する。

【００２９】最後に、ステップＳ５において、論理回路
検証部３は、ステップＳ１〜Ｓ４で得られた回路接続デ
ータＤ２、貫通電流検証対象ノードデータＤ１１、貫通
電流発生危険期間Ｄ１２及び論理検証ノード条件データ
Ｄ３に基づき、貫通電流発生検証付き論理シミュレーシ
ョンを実行する。

【００３０】図３は図２のステップＳ５の動作に相当す
る、論理回路検証部３による貫通電流発生検証付き論理
シミュレーション実行動作を示すフローチャートであ
る。以下、同図を参照しつつその動作の説明を行う。

【００３１】ステップＳ１１で、開始シミュレーション
時刻の設定等の初期設定を行った後、ステップＳ１２
で、現在のシミュレーション時刻におけるシミュレーシ
ョン対象の論理回路の全ノードより得られる信号値をシ
ミュレートする。以下、この動作を「１単位論理シミュ
レーション」という。

【００３２】そして、ステップＳ１３で、ステップＳ１
２の１単位論理シミュレーションでフローティング状態
の発生あるいは終了が検出されたノード（以下、「フロ
ーティング状態変位ノード」という。）の存在の有無を
チェックし、フローティング状態変位ノードが存在すれ
ばステップＳ１４に移行し、存在しなければステップＳ
１５に移行する。なお、フローティング状態の発生とは
フローティング状態でなかったノードがフローティング
状態に変化することであり、フローティング状態の終了
とはフローティング状態であったノードがフローティン
グ状態でなくなる変化を示す。

【００３３】ステップＳ１４において、ステップＳ１３
で検出されたフローティング状態変位ノードのフローテ
ィング情報保持部４へのデータ登録動作を行う。以下、
その登録動作を説明する。

【００３４】まず、フローティング状態変位ノードが、
それぞれ貫通電流検証対象ノードデータＤ１１で規定さ
れたノードである貫通電流検証ノードであるか否かをチ
ェックする。すなわち、フローティング状態変位ノード
がトランジスタのゲート端子に接続するノードで、かつ
電源端子及び接地端子のいずれにも直接接続されていな
いノードであるか否かをチェックする。そして、フロー
ティング状態変位ノードが貫通電流検証ノードであれ
ば、そのノード名、その時のシミュレーション時刻及び
フローティング状態の発生／終了の情報を組にしたフロ
ーティングノード情報ｄ１３をフローティング情報保持
部４に登録する。一方、フローティング状態変位ノード
が貫通電流検証ノードでなければ何もしない。

【００３５】ステップＳ１４が終了するとステップＳ１
５に移行する。ステップＳ１５で、論理シミュレーショ
ンの終了の有無をチェックし、終了であればステップＳ
１７以降の論理シミュレーション結果のリスト出力処理
に移行し、終了でなければステップＳ１６に移行する。

【００３６】ステップＳ１６で、シミュレーション時刻
を進めることにより、シミュレーション時刻の更新処理
を行った後、ステップＳ１２に戻る。以降、ステップＳ
１２〜Ｓ１４で、更新されたシミュレーション時刻にお
ける１単位論理シミュレーションの実行、フローティン
グ状態変位ノードのチェック、フローティングノード情
報の登録動作を行う。そして、最終的に、ステップＳ１
５でシミュレーションの終了を確認するまで、ステップ
Ｓ１６，Ｓ１１〜Ｓ１４の処理を繰り返す。

【００３７】一方、ステップＳ１５でシミュレーション
の終了を確認すると、ステップＳ１７に移行する。ステ
ップＳ１７で、論理検証ノード条件データＤ３で規定さ
れた条件を満足するノードより得られる信号（論理検証
信号）のみの経時変化を論理シミュレーション結果Ｄ４
として論理検証結果出力部９に出力する。そして、論理
検証結果出力部９が、論理シミュレーション結果Ｄ４に
基づき、従来同様、リスト形式で記述された論理シミュ
レーション結果リストＤ５を出力する。

【００３８】次に、ステップＳ１８で、フローティング
情報保持部４に登録されたフローティングノード情報群
Ｄ１３内のフローティングノード情報ｄ１３それぞれと
貫通電流発生危険期間Ｄ１２とを比較して、フローティ
ングノード情報ｄ１３として記録された各貫通電流検証
ノードで発生したフローティング状態の継続期間が貫通
電流発生危険期間を越えたか否かをそれぞれ検証し、そ
の結果を貫通電流発生検証結果Ｄ１４として貫通電流発
生検証結果出力部５に出力する。そして、貫通電流発生
検証結果出力部５が、図６に示すような、貫通電流発生
検証結果リストＤ１５を出力する。

【００３９】このように、本実施例の論理シミュレーシ
ョン装置は、通常の論理シミュレーション動作を実行す
るとともに、貫通電流発生検証動作も自動的に行い、貫
通電流等の異常電流の因となるフローティング状態が貫
通電流検証ノードに生じる場合は、貫通電流発生検証結
果リストＤ１５として警告することができる。この際、
貫通電流検証ノードを前述した条件に従い絞り込んでい
るため、フローティング情報保持部４に必要なメモリ容
量はさ程大きくならない。

【００４０】なお、貫通電流発生検証のみを目的とする
場合、論理検証ノード条件設定部８及び論理検証結果出
力部９は不用となる。

【００４１】なお、この実施例では、貫通電流等の異常
電流を発生を予期するために、ノードのフローティング
状態を検証する例を示したが、ノードの不確定値を検証
することも考えられる。この場合、本実施例の構成に加
え、第２の貫通電流発生危険期間として、トランジスタ
に貫通電流が流れる危険性のあるゲート入力不確定値継
続期間を論理回路検証部３付与するとともに、論理回路
検証部３が、フローティング状態の検証動作と同様にし
て、不確定値の検証動作を行う構成にすればよい。な
お、不確定値を検証すべきノードは貫通電流検証ノード
をそのまま適用することができるため、貫通電流検証ノ
ード流出部１から出力される貫通電流検証対象ノードデ
ータＤ１１を利用するだけですむ。また、貫通電流等の
異常電流を発生の予期するために、ノードのフローティ
ング状態を検証することなく、ノードの不確定値のみを
検証するように構成することも考えられる。

【００４２】また、本実施例では、貫通電流の発生の有
無を検証を、論理シミュレーション終了後に一括して行
って貫通電流発生検証結果リストを出力する例を示した
が、各貫通電流発生検証ノードのフローティング状態の
終了を確認するごとに、そのフローティング期間が貫通
電流発生危険期間以内であるか否かを比較することによ
り、逐次的に貫通電流発生検証結果を出力するようにし
てもよい。同様のことが、ノードの不確定値を検証する
際にもあてはまる。

【００４３】

【発明の効果】以上説明したように、この発明によれ
ば、不要電流発生検証手段により、論理的に不安定な状
態になると不要電流が発生する危険性のあるノードであ
る、各不要電流検証対象ノードより得られるそれぞれの
信号の論理的な不安定状態継続期間を自動的に求め、不
安定状態継続期間に基づき論理回路における不要電流の
発生の有無を検証を行っている。つまり、論理回路の不
要電流発生の有無と密接に関連している不要電流検証対
象ノードにおける不安定状態継続期間の長さに基づいて
検証しているため、論理回路における不要電流の発生の
有無を精度よく自動的に検証することができる効果があ
る。また、不要電流検証対象ノードに対してのみ、不安
定状態継続期間に基づく上記検証を行うため、効率的な
検証を行うことができる。

【００４４】そして、不要電流発生検証手段の不安定状
態継続期間の長さ検証用に、不要電流発生検証手段から
不要電流発生危険期間を不要電流検証手段に付与してい
る。

【００４５】また、不要電流検証対象素子として、論理
回路を形成するトランジスタのゲート入力となるノード
で、かつ電源電圧に直接接続されていないノードを選択
することにより、トランジスタの貫通電流等の異常電流
の有無を検証可能にしている。

【図面の簡単な説明】

【図１】この発明の一実施例である論理シミュレーショ
ン装置の構成を示すブロック図である。

【図２】本実施例の論理シミュレーション装置の動作を
示すフローチャートである。

【図３】本実施例の論理シミュレーション装置の動作を
示すフローチャートである。

【図４】貫通電流発生検証ノード抽出動作説明用の回路
図である。

【図５】Ｐチャネルトランジスタのフローティング期間
を示すグラフである。

【図６】貫通電流発生検証結果リストの一例を示す模式
図である。

【図７】従来の論理シミュレーション装置の構成を示す
ブロック図である。

【図８】論理シミュレーション結果リストの一例を示す
模式図である。

【符号の説明】１貫通電流検証ノード抽出部２貫通電流発生危険期間設定部３論理回路検証部４フローティング情報保持部５貫通電流発生検証結果出力部７回路接続データ抽出部８論理検証ノード条件設定部

【手続補正書】

【提出日】平成４年９月２４日

【手続補正１】

【補正対象書類名】明細書

【補正対象項目名】００１５

【補正方法】変更

【補正内容】

【００１５】貫通電流検証ノード抽出部１は、回路接続
データＤ２で規定された各素子間のノードのうち、貫通
電流発生の有無を検証する目的で、フローティング状態
の有無を検証する必要のあるノードを規定する貫通電流
検証対象ノードデータＤ１１を抽出して論理回路検証部
３に出力する。

【手続補正２】

【補正対象書類名】明細書

【補正対象項目名】００３９

【補正方法】変更

【補正内容】

【００３９】このように、本実施例の論理シミュレーシ
ョン装置は、通常の論理シミュレーション動作を実行す
るとともに、貫通電流発生検証動作も自動的に行い、貫
通電流等の異常電流の原因となるフローティング状態が
貫通電流検証ノードに生じる場合は、貫通電流発生検証
結果リストＤ１５として警告することができる。この
際、貫通電流検証ノードを前述した条件に従い絞り込ん
でいるため、フローティング情報保持部４に必要なメモ
リ容量はさ程大きくならない。

【手続補正３】

【補正対象書類名】明細書

【補正対象項目名】００４１

【補正方法】変更

【補正内容】

【００４１】なお、この実施例では、貫通電流等の異常
電流を発生を予期するために、ノードのフローティング
状態を検証する例を示したが、ノードの不確定値を検証
することも考えられる。この場合、本実施例の構成に加
え、第２の貫通電流発生危険期間として、トランジスタ
に貫通電流が流れる危険性のあるゲート入力不確定値継
続期間を論理回路検証部３付与するとともに、論理回路
検証部３が、フローティング状態の検証動作と同様にし
て、不確定値の検証動作を行う構成にすればよい。な
お、不確定値を検証すべきノードは貫通電流検証ノード
をそのまま適用することができるため、貫通電流検証ノ
ード流出部１から出力される貫通電流検証対象ノードデ
ータＤ１１を利用するだけですむ。また、貫通電流等の
異常電流の発生の予期するために、ノードのフローティ
ング状態を検証することなく、ノードの不確定値のみを
検証するように構成することも考えられる。

【手続補正４】

【補正対象書類名】明細書

【補正対象項目名】００４２

【補正方法】変更

【補正内容】

【００４２】また、本実施例では、貫通電流の発生の有
無の検証を、論理シミュレーション終了後に一括して行
って貫通電流発生検証結果リストを出力する例を示した
が、各貫通電流発生検証ノードのフローティング状態の
終了を確認するごとに、そのフローティング期間が貫通
電流発生危険期間以内であるか否かを比較することによ
り、逐次的に貫通電流発生検証結果を出力するようにし
てもよい。同様のことが、ノードの不確定値を検証する
際にもあてはまる。

【手続補正５】

【補正対象書類名】明細書

【補正対象項目名】００４３

【補正方法】変更

【補正内容】

【００４３】

【発明の効果】以上説明したように、この発明によれ
ば、不要電流発生検証手段により、論理的に不安定な状
態になると不要電流が発生する危険性のあるノードであ
る、各不要電流検証対象ノードより得られるそれぞれの
信号の論理的な不安定状態継続期間を自動的に求め、不
安定状態継続期間に基づき論理回路における不要電流の
発生の有無の検証を行っている。つまり、論理回路の不
要電流発生の有無と密接に関連している不要電流検証対
象ノードにおける不安定状態継続期間の長さに基づいて
検証しているため、論理回路における不要電流の発生の
有無を精度よく自動的に検証することができる効果があ
る。また、不要電流検証対象ノードに対してのみ、不安
定状態継続期間に基づく上記検証を行うため、効率的な
検証を行うことができる。

Claims

【特許請求の範囲】

【請求項１】所定の論理回路における不要な電流の発
生の有無を検出する論理シミュレーション装置であっ
て、前記論理回路を形成する素子の接続関係を規定した回路
接続データを付与する回路接続データ付与手段と、前記回路接続データを受け、前記論理回路を形成する素
子間のノードのうち、論理的に不安定な状態になると前
記論理回路に不要電流を発生させる危険性のあるノード
を不要電流検証対象ノードとして抽出する不要電流検証
対象ノード抽出手段と、前記回路接続データ及び前記不要電流検証対象ノードを
取り込み、前記論理回路に対する論理シミュレーション
を実行し、各前記不要電流検証対象ノードより得られる
それぞれの信号の論理レベルの不安定状態の継続期間で
ある不安定状態継続期間を求め、前記不安定状態継続期
間に基づき、前記論理回路における不要電流の発生の有
無を検証する不要電流発生検証手段とを備えた論理シミ
ュレーション装置。
【請求項２】前記論理回路に不要な電流が発生する危
険性が生ずる長さに相当する前記不安定状態継続期間
を、不要電流発生危険期間として付与する不要電流発生
危険期間付与手段をさらに備え、前記不要電流発生検証手段は、前記回路接続データ、前
記不要電流検証対象ノード及び前記不要電流発生危険期
間を取り込み、前記論理回路に対する論理シミュレーシ
ョンを実行し、各前記不要電流検証対象ノードより得ら
れるそれぞれの信号について前記不安定状態継続期間を
求め、前記不安定状態継続期間それぞれと前記不要電流
発生危険期間との比較結果に基づき、前記論理回路にお
ける不要電流の発生の有無を検証する請求項１記載の論
理シミュレーション装置。
【請求項３】前記不要電流検出対象ノードは、前記論
理回路を形成するトランジスタのゲート入力となるノー
ドで、かつ電源電圧に直接接続されていないノードであ
る請求項２記載の論理シミュレーション装置。