JPH0282346A - スイッチング素子の論理シミュレーション方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔概　　要〕 ＭＯ３回路等の双方向素子の論理をシミュレーションす
るスイッチング素子の論理シミュレーション方式に関し
、 ＭＯ３回路等の双方向性を有するスイッチング素子のオ
ン・オフ状態によって駆動力を求め、その駆動力から各
接続点の論理レベルを求め、容量性をも考慮した論理シ
ミュレーションを行うことを目的とし、 スイッチング素子が接続する接続点への駆動力を方向に
よって２分して該接続点のネット値を評価するネット評
価手段と、該ネット評価手段によって得られるネット値
が変化する時に、前記接続点にゲートが接続している前
記スイッチング素子と異なるスイッチング素子の駆動力
を求める駆動力評価手段と、該駆動力評価手段によって
得られる駆動力に基づいて再度前記ネット評価手段と前
記駆動力評価手段を動作させ、最終ネット値と駆動力を
求める制御手段とよりなるように構成する。

〔産業上の利用分野〕

本発明は、論理回路のシミュレーション方式に係り、さ
らに詳しくはＭＯ３回路等の双方向素子の論理をシミュ
レーションするスイッチング素子の論理シミュレーショ
ン方式に関する。

〔従来の技術〕

電子技術の発展により各種制御回路等がディジタルで制
御されている。さらに、目的の制御等を行うためディジ
タル回路を１個のＬＳＩとしたいわゆる大規模集積回路
（ＶＬＳＩ）が実現され、多用されている。

ＶＬＳ　Ｉは、その開発段階において目的の動作処理を
行うかを検証しなくてはならない。なぜならば、ＶＬＳ
　Ｉを構成する１個のゲートに設計ミス等が存在した場
合、作成したＶＬＳ　Ｉが使えなくなってしまうという
問題があるからである。

このため、設計したＶＬＳ　Ｉの論理シミュレーション
を行っていた。例えば複数の入力端子に対しどのような
信号が加わり、その加わった複数の信号に対しどのゲー
トがどのように変化して、他のゲート等に出力するとい
うように、順次ＶＬＳ■を構成する素子の論理値を求め
、その論理値から目的の論理が出力されるかを検証して
いた。

〔発明が解決しようとする課題〕

半導体技術の発展に伴い、例えばバイポーラトランジス
タによって構成されるＶＬＳ　Ｉの他に双方向素子を用
いたＶＬＳ　Ｉが開発され使用されている。

従来の例えばバイポーラトランジスタを用いた論理回路
においては入力と出力とが完全に分離しているため、従
来のシミュレーションにおいては入力と出力とに分ける
ことができた。しかしながらＭＯ３回路の場合、ＭＯＳ
ゲートをオンとすることにより、ソースからドレインに
またドレインからソースへと電流が流れることがあり、
入力と出力とを分離することが難しいという問題を有し
ていた。このため、従来においてはＭＯ３回路を用いた
論理シミュレーションでは全体レベルでの検証を行わず
、部分的な検証を数多く行って済ましていた。このため
、検証の取りこぼしも多いという問題も有していた。

また、ＭＯ３回路の検証を従来のシミュレーションでで
きるように、ゲートレベルに変換して行う方法も用いら
れている。しかしながら、この方法では、ＭＯ３回路を
単純にゲートレベルに変換しているため、この方法を用
いるには回路設計に制限がはいるという問題を有してい
た。

一方、ＭＯ３回路においてはゲートがオフとなった時に
回路自体が有する容量性によって信号値が決定されるこ
とがある。しかしながら、従来の方式においては何ら容
量性を考慮したシミュレーションを行っていないという
問題も有していた。

本発明は、ＭＯ３回路等の双方向性を有するスイッチン
グ素子のオン・オフ状態によって駆動力を求め、その駆
動力から各接続点の論理レベルを求め、容量性をも考慮
した論理シミュレーションを行うことを目的とする。

〔課題を解決するための手段〕

第１図は本発明の原理ブロック図である。

ネット評価手段１はスイッチング素子が接続する接続点
への駆動力を方向によって２分して接続点のネッ）（Ｉ
ｌｊを評価する。例えば接続点を駆動する素子が直接電
源であるか或いは抵抗を介した駆動であるか更には容量
性の駆動であるかの各種レベルによってグループ分は更
にはレベル分けし評価する。

駆動力評価手段２は前記ネット評価手段１によって得ら
れたネット値が変化する時に前記ネットにゲートが接続
しているスイッチング素子の駆動力を求める。スイッチ
ング素子がオフからオン或いはオンからオフとなった時
に各接続点を駆動する駆動力はそれぞれ変化するので、
駆動力評価手段２はこのスイッチング素子のオン・オフ
の変化によってそれぞれの接続点への駆動力を求める。

制御手段３は前記駆動力評価手段２によって得られた駆
動力から再度前記ネット評価手段１と前記駆動力評価手
段２を繰り返し動作させ、最終的なネット値と駆動力を
求める。１個のネット値が変化してもそのネット値に対
応してその接続点にゲートが接続されているスイッチン
グ素子が変化するのでその変化に伴い順次その影響を考
慮して駆動力並びにネッ日直を求める。

〔作　　用〕

例えば１個のスイッチング素子が変化した場合、そのス
イッチング素子が接続する接続点への駆動力を方向によ
って２分し、各方向に対する駆動力から接続点のネット
値、いわゆる電圧レベルをネット評価手段１によって求
める。

接続点には他のゲートが接続しており、ネット値の変化
によってそのゲートが接続しているスイッチング素子の
状態、いわゆるオン・オフ状態が変化する。このオン・
オフの変化によってそのオン・オフが変化したスイッチ
ング素子が接続している接続点のネット値を求めるため
駆動力評価手段２はそのスイッチング素子の駆動力を求
める。

この駆動力評価手段２によって求められたスイッチング
素子の駆動力によって再度ネット評価手段１によってネ
゛ット値を求める。

制御手段３はこの繰り返しを制御し最終的にネット値が
変化しなくなるまで繰り返す。この繰り返しによってス
イッチング素子によって構成される論理回路のシミュレ
ーションを行うことができる。

〔実　　施　　例〕

以下図面を用いて本発明の実施例を詳細に説明する。

第２図は本発明の論理シミュレーションにおける処理フ
ローチャートである。

論理回路の例えば入力（ＶＬＳＩの入力端子）に変化が
発汁した場合（ＳＴＩ）＝処理を開始する。本発明にお
いては、第３図のシンボル説明図で示すように、ＭＯＳ
トランジスタよりなるスイッチ素子ＳＷＩが駆動すべき
各接続点への駆動力をＢＷｌｏ並びにＢＷＩＩとする。

駆動力ＢＷＩＯ，ＢＷＩＩはそれぞれ方向性を有してお
り、方の接続点から他方の接続点に加わる駆動力をＢＷ
ｌｌとするならば、他方の接続点から一方の接続点に加
わる駆動力をＢＷＩＯとしている。後述するがこの駆動
力は各接続点が駆動される評価値によって変化する。

本発明の実施例においてはこの駆動力は次の１９種頻に
よって定義する。

ＤＨ直接電源によるＨレベルへの駆動力ＤＨＸ　　直接
電源によるＨレベルへの駆動力が伝わる可能性がある駆
動力 ＤＬ　　　直接グランドによるＬレベルへの駆動力 ＤＬＸ　　直接グランドによるＬレベルへの駆動力が伝
わる可能性がある駆動力 ＲＨ抵抗を介した電源によるＨレベルへの駆動力 ＲＨＸ　　抵抗を介した電源によるＨレベルへの駆動力
が伝わる可能性がある駆動力 ＲＬ　　　抵抗を介したグランドによるＬレベルへの駆
動力 ＲＬＸ　　抵抗を介したグランドによるＬレベルへの駆
動力が伝わる可能性がある駆動 力 ＣＨ％電荷によるＨレベルへの駆動力 ＣＨＸ　　静電荷によるＨレベルへの駆動力が伝わる可
能性がある駆動力 ＣＬ　　　静電荷によるＬレベルへの駆動力ＣＬＸ　　
静電荷によるＬレベルへの駆動力が伝わる可能性がある
駆動力 ＤＣＤＨとＤＬとが衝突する駆動力 ＤＣＸ　　ＤＨとＤＬの駆動力の衝突が伝わる可能があ
る駆動力 ＲＣＲＨとＲＬとが衝突する駆動力 ＲＣＸ　　ＲＨとＲＬの駆動力の衝突が伝わる可能性が
ある駆動力 ＣＣＣＨとＣＬとが衝突する駆動力 ＣＣＸ　　ＣＨとＣＬの駆動力の衝突が伝わる可能性が
ある駆動力 φ　　　駆動力なし ここで各シンボルの最後がＸで終わる駆動力は、駆動力
が伝わってくるかこないかすなわちスイッチング素子が
オン状態かオフ状態かが不明のため、その駆動力がある
という可能性しかない時に用いる。

第２図に戻って説明を続ける。駆動力が変化する（ＳＴ
１）場合、続いてその駆動力が駆動するネット値を評価
する（ＳＴ２）。前述したように駆動力は定義されてお
り、例えばＤＬなる外部のスイッチによって直接グラン
ドによるＬレベルへの駆動力から例えばＤＨなる直接電
源によるＨレベルへの駆動力に変化した場合、その変化
した駆動力に対するネット値を処理ＳＴ２で求める。ネ
ット値とは前述したスイッチング素子の接続点の状態値
である。本発明の実施例においては、ネットの状態値を
次の６１１類としている。

Ｈハイレベル。

Ｌ　ローレベル。

Ｚ　ハイ・インピーダンス。

Ｘ　不定（ハイレベルかローレベルかわからない）。

ＺＨハイ・インピーダンスまたはハイレベル、ＺＬ　　
ハイ・インピーダンスまたはローレベル、ネットの状態
イ直とは前述した６つの状態があるがこの状態値の決定
はネットの古い状態値とそのネットへの全ての駆動力に
よって決定される。すなわち、処理ＳＴ２において評価
する場合、まず全ての駆動力を計算する。そして、次に
その駆動力によるネットの状態値の変化を評価する。こ
の全ての駆動力がどうなるかを求めるため本発明の実施
例においては、駆動力のレベルを４レベル、グループを
２グループに分は評価する。

第５図は前述のレベルとグループ分けの説明図表である
。グループ値においてレベル１をＤＨＤＬ　　ＤＣ、レ
ベル２をＲＨＲＬ　　ＲＣ、レベル３をＣＨＣＬ　　Ｃ
Ｃ、レベル４をφ、またグループ２においてレベル１を
ＤＨＸ　　ＤＬＸ　　ＤＣＸ、レベル２をＲＨＸ　　Ｒ
ＬＸ　　ＲＣＸ、レベル３をＣＨＸ　　ＣＬＸ　　ＣＣ
Ｘと分類している。

レベルとは駆動力を表わしており、レベル１が最強でレ
ベル２、レベル３、レベル４の順に強さを有している。

前述した駆動力が駆動するネット値を評価する処理５Ｔ
１２において、まず定義した１９の駆動力をグループＩ
、グループ２並びにレベルｌからレベル４の種類に分類
している。そして、次にはグループ１並びにグループ２
それぞれについて全ての駆動力を振り分は最も強いレベ
ルの駆動力を求める。グループ１の最強駆動力の方がグ
ループ２の最強駆動力よりレベルが強いとき各グループ
１内のレベルによって以下のように状態値を決定してい
る。

グループ１の最強駆動力のレベルが ・レベル１の時 レベル１の駆動力が全てＤＨの時新しい回路の状態はＨ
、 レベル１の駆動力が全てＤＫの時新しい回路の状態値は
Ｌ それ以外の時新しい回路の状態はＸ、 ・レベル２０時 レベル１の駆動力が全てＲＨの時新しい回路の状態値は
Ｈ レベル２の駆動力が全てＲＬの時新しい回路の状態値は
Ｌ それ以外の時新しい回路の状態値はＸ ・レベル３の時 古い状態値と駆動力によって決まる。駆動力の状態は、
レベル１の駆動力が全てＣＨの時、レベル１の駆動力が
全てＣＬの時、ＣＬとＣｌの両方の時の３通りがある。

（第６図の論理値説明図表参照） 古い状態値がＨである時、駆動力ＣＨならＨ１駆動力が
ＣＬであるならばＸ、両方であるならばＸ、古い状態イ
直がＬである時、駆動力ＣＨならＸ１７、駆動力がＣＬ
であるならし、両方であるならばＸ、古い状態値がＸで
ある時、駆動力がＣＨならＨ，′ＩＪ動力がＣＬならし
、古い状態値がＸである時、駆動力によらずＸとなる。

また、古い状態が絶対値であるならば、駆動力がＣＨの
時はＨ１駆動力がＣＬの時はＸ、古い状態値がＺＬであ
る時、駆動力ＣＨであるならＸ、駆動力がＣＬであるな
らＬとなる。なお、駆動力がＣＬとＣＨの両方であった
場合には古い状態値によらず、共にＸとなる。すなわち
、古い状態値がＨの時、駆動力がＣＨＸであるならばＨ
，ＣＬＸであるならばＸ、古い状態値がＬである時、駆
動力がＣＨＸであるならばＸ、駆動力がＣＬＸであるな
らばし、古い状態値がＺであるなら、駆動力がＣＨＸで
ＺＨ１駆動力がＣＬＸでＸＬ、古い状態値がＸであるな
らば駆動力がＣＨＸでＸ、ＣＬＸでＸ、古い状態値がＺ
Ｈであるとき駆動力がＣＨＸならＺｌ（、ＣＬＸである
ならＸ、古い状態値がＺＬである時駆動力がＣＨＸの時
Ｘ、ＣＬＸのときＺＬとなる。

なお、古い状態値によらずＣＨＸ、ＣＬＸの両方が存在
する時にはＸとなる。

グループ１の最強駆動力とグループ２の最強駆動力のレ
ベルが同じとき ・最も強いレベルの駆動力がレベル１の場合レベルｌの
駆動力が全てＤＨまたはＤＨＸの時はＨ レベル１の駆動力が全てＤＬまたはＤＬＸの時はＬ それ以外の時はＸ ・最も強いレベルの駆動力がレベル２の場合レベル２の
駆動力が全てＲＨまたはＲＨＸの時はＨ レベル２の駆動力が全てＲＬまたはＲＬＸの時はＬ それ以外の時はＸ 最も強いレベルの駆動力がレベル３の場合には３つの状
態によって（第８図論理説明図表参照）評価値を決定す
る。レベル２の駆動力が全てＨまたはＣＨＸＯ時は（１
０）古い状態値がＨ，Ｌ。

Ｚ、Ｘ、ＺＨ，ＺＬの時Ｈ，Ｘ、Ｈ，Ｘ、Ｈ，Ｘとなる
。またレベル２の駆動力が全てＣＬまたはＣＬＸの時（
２０）は古い状態値がＨ，Ｌ、　　Ｚ。

Ｘ、ＺＨ，ＺＬであるなら評価値はＸ、Ｌ、ＬＸ、Ｘ、
Ｌとする。またそれ以外の時には古い状態値によらず全
てＸとする。また、最も古いレベルの駆動力がレベル４
の場合にはレベル２の駆動力が全てφの時は前のネット
値を保持する。

上述した古い状態値並びに各駆動力により処理ＳＴ２に
よってネット値すなわち状態値が求められる。続いてそ
のネット値が変化したか否かの判別を行う（Ｓｒ３）。

ネット値が変化したと判別した時（した）には続いてネ
ット値を求めたネットにゲートがつながっている全ての
スイッチング素子について処理したかを判別（Ｓｒ４）
する。

全てのスイッチング素子について行っていない、すなわ
ち処理する素子があるときには続いて取り出したスイッ
チング素子を通過する駆動力を評価する（Ｓｒ１）。

前述したネット値が加わるゲートはそのネット値によっ
て導通あるいは非導通状態となる。

第９図はスイッチング素子の状態説明図表である。ネッ
トに接続しているゲートのネット値がＨであったならば
スイッチング素子であるＭＯ３回路の状態は導通状態と
なる。またＬであるならば非導通状態、更にはＺまたは
Ｘであるならばどちらか分からない状態となる。このス
イッチの導通状態並びに非導通状態によってその素子を
通過する駆動力が変化する。すなわち、導通状態となる
ならばソース並びにドレイン側が接続するネット値に新
しく相互の駆動力が加算されることになり、またオフと
なるたならば今までの状態が加算されなくなる。この駆
動力は後述する処理５ＴＩＩによって求められるものと
同様である。

処理ＳＴ５によって取り出したスイッチング素子を通過
する駆動力を評価し、続いてその結果部動力が変化した
否かの判別ＳＴ６を行う。変化しない場合には再度判別
ＳＴ４から行う。

一方、判別ＳＴ６において駆動力が変化したと判別した
時（した）には駆動力の変化を登録する処理ＳＴ７を行
う。そして、同様に判別ＳＴ４か・ら繰り返す。この繰
り返しにより入力端子の駆動力の変化に対するゲートの
オン・オフが発生し、このスイッチング素子のオン・オ
フによって駆動力が変化したものを最終的に登録する。

そして、上述したネットに接続している全てのスイッチ
ング素子に対し終了した場合（全て処理した）には続い
て判別ＳＴ３によってネット値が変化したネットにソー
スまたはドレインが接続しているスイッチング素子につ
いて全て求めるかの判別フラグをオンとする処理ＳＴ９
を行い、続いてそのフラグによって全て処理したか否か
を判別５ＴＩＯする。全て処理した場合（した）には登
録した駆動力の変化があるか否かの判別５ＴＩ２を行う
。登録した駆動力の変化がない（ない）場合には終わり
となる。一方登録した駆動力の変化がある（ある）場合
にはその点から再度その駆動力が変化したとして処理Ｓ
ＴＩから同様の処理を繰り返す。

一方、処理ＳＴ２においてその駆動力が駆動するネット
値を評価しそのネット値が変化したかの判別ＳＴ３にお
いて、ネット値が変化しないと判別した時（しない）に
は、その駆動力が駆動するネットにソースまたはドレイ
ンが接続している他のスイッチング素子について全て処
理したかのフラグをオンとするＳｒ１を行い、続いてそ
のフラグがオンであるか、すなわち全て処理したか否か
を判別（ＳＴＩＯ）する。この判別５ＴＩＯにおいて全
て処理してないと判別した時には続いてそのスイッチン
グ素子を通過する駆動力を評価する（ＳＴＩＩ）。

第１０図は駆動力の全体説明図である。スイッチング素
子Ｅを例にするとスイッチング素子ＡからＤを通過して
きた駆動力ａ　−ｄの駆動力→がスイッチング素子Ｅの
ソース側からドレイン側に伝わる。（スイッチング素子
Ｅのドレイン側から伝わってきた駆動力が再びＥのソー
ス側からドレイン側へは伝わらないとしている。）また
、Ｅのソースからドレイン側へ伝わる駆動力の計算は駆
動力ａからｄとネットの状態値αにより行う。まず、こ
の合力を求めるため、他のスイッチング素子から伝わっ
てくる駆動力の全てについてレベルを求める。

最も強いレベルがレベル１の時には レベル１の駆動力が全てＨ方向への駆動力で確定してい
る駆動力ＤＨがあるとき合力はＤＨとする。

レベル１の駆動力が全てＨ方向への駆動力で可能性の駆
動力ＤＨＸだけのとき合力はＤＨＸとする。

レベル１の駆動力が全てＬ方向への駆動力で確定してい
る駆動力ＤＬがあるとき合力はＤＬとする。

レベル１の駆動力が全てＬ方向への駆動力で可能性の駆
動力ＤＨＬだけのとき合力はＤＨＬとする。

レベル１の駆動力がＨ方向とＬ方向への駆動力の両方が
あり、両方向について、確定している駆動力ＤＬとＤＨ
があるとき合力はＤＣとする。

レベル１の駆動力がＨ方向とＬ方向への駆動力の両方が
あるが、両方向については確定している駆動力ＤＨまた
はＤＬがないとき合力はＤＣＸとする。

最も強いレベルがレベル２のときは、レベル１と同様で
ある。すなわち ＲＨ→　ＲＨ ＲＨＸ　　→　ＲＨＸ ＲＬ　　−＞　　ＲＬ ＲＨＬ　　→　ＲＨＬ ＲＬとＲＨ→　ＲＣ ＲＨまたはＲＬ　　＝＋’　　ＲＣＸ また、最も強いレベルがレベル３のときには、他のスイ
ッチング素子から伝わってくる全ての駆動力についてと
ネットの状態値αにより合力を決定する。

第１１図は駆動力説明図表である。

駆動力の種類がＨ方向だけであった場合回路の状態稙α
がＨであるならばＣＨ，ＸであるならばＣＣＸ、Ｈ２で
あるならばＣＨとする。また、駆動力の種類がＬ方向だ
けある場合には回路状態値αがＬの時ＣＬ、Ｘの時ＣＣ
Ｘ、ＬＺの時ＣＬとする。また、駆動力のｎ類がＨとＬ
の両方確定している場合には回路状態値αがＸの時のみ
ＣＣとする。また、ＨとＬの両方とも未確定で更にはＨ
方向確定、Ｌ方向確定の時またＬ方向確定Ｈ方向未確定
である場合回路の状態値αがＸの時にＣＣｘとする。

尚、第１１図の図表においてニはシミュレーションの状
態としてありえない場合を表わしている。

また更に最も強いレベルがレベル４の時（駆動がどこか
らも伝わらない）はネットの状態値αにより合力を決定
する。すなわち回路の状態値αがＨＬ、Ｚ、Ｘ、Ｈ２，
ＬＺの時求める駆動力はＣＨ。

ＴＬ、Ｉ、ＣＣ，Ｃ）ＩＸ、ＴＬＸとなる。

前述した方法によってスイッチング素子を通過する駆動
力を評価する。そして処理ＳＴ５と同様に処理５ＴＩＩ
によって駆動力が変化したかの判別５Ｔ１３を行い、変
化しない場合（しない）の時には再度処理５ＴＩＯから
繰り返す。また、駆動力が変化した場合（した）には駆
動力の変化を登録する（ＳＴ１４）。そして、また判別
５ＴＩＯから繰り返す。

第４図は接続構成の説明図である。スイッチＳＸが１回
路２接点であり、一方が電源ＶｃＣに他方が接地してい
るような場合このスイッチが今までブレンドレベルに接
続し、電源Ｖｃｃ側に変化した時について説明する。こ
の場合、スイッチの駆動力り。は電源に接続されるため
、Ｄ）（となる（グランド側に接地された時にはＤＬと
なっていた）。

よってこの時のこのスイッチの変化によってＤ＋ｏ＋Ｄ
ｏｌｌ、　Ｄｚｏ並びにり。が接続している交点すなわ
ちネットＡのネット値を評価する（第２図処理５Ｔ２）
。ネット値の評価ＳＴ２において説明したように、この
ネットＡを駆動するレベルの最大はＤＨであるので（レ
ベル１）ネットＡはＨとなる。

そして、尚他のスイッチ素子Ｓｌ、Ｓ２，３３において
スイッチ３２．Ｓ３はゲートがオンとすべきすなわちＨ
レベルが加わっている。しかしながら、Ｓ３の一方はオ
ープンまたスイッチＳ２の他方もＸ（不確定）であるの
でＤｚｎの駆動力はスイッチの駆動力に比べそのレベル
は低いのでネットへのネット値が■４となる。ネットＡ
のネット値が変化したので、第２図における処理におい
ては取り出したスイッチング素子を通過する駆動力を評
価する処理ＳＴ５を実行する。すなわちスイッチング素
子Ｓ５がオフからオンに変化したので、それに対する駆
動力Ｄｓｏ、　　Ｄｓ。を評価する。ネットＡにはスイ
ッチ素子Ｓ５のゲートのみしか接続していないので、こ
の１個の駆動力の評価で終了する。なお、この時Ｄ　、
ｎ、　　Ｄ　ｑ＋の駆動力が変化した場合には当然なが
ら第２図に示す処理ＳＴ７において駆動力の登録がなさ
れる。

また、ネットＡにはスイッチＳＬ、Ｓ２．Ｓ３が接続し
ている。このときスイッチＳ２，３３がオンであるので
このスイッチング素子を通過する駆動力を評価する（Ｓ
ＴＩＩ）。この時、評価と対象なるものは駆動力のＤ２
１．　　Ｄｉ□である。この評価によってネットＢのネ
ット値が更に変化する。

またネッ）ＢにはスイッチＳ４が接続しているので、同
様にＤ４＋が評価される。

前述したような順番によって順次駆動力が求められ、回
路系全体としての評価値が求めることができる。

以上に述べたように本発明によれば、駆動力を１９種類
の定義し、この１９種類の定義を用いて駆動力並びにネ
ット値を評価している。従来においては単なるスイッチ
ング素子を用いた場合、それをゲートすなわち入力と出
力の関係でしか求めていないが、本発明によれば、スイ
ッチング素子の例えばソースとドレイン間にそれぞれ駆
動力なる値を設定し、その駆動力によってそれぞれ双方
向の駆動がどのようであるかを決定しており、ＭＯ３回
路における論理シュミレーションを完全に行うことがで
きる。特に、１９種類の定義の基本は電源あるいは接地
されている一番レベルの高い駆動力と、抵抗を介して電
源、あるいは接地レベルに接続している第２番目の駆動
力と、ＭＯＳトランジスタ特有のオフにおける静電電荷
におけるレベルの駆動方丈には全くの駆動力なしの４つ
に基本的に分けている。これは例えば一番高いレベルで
あるならば、抵抗を介してもまた静電下によるもの等が
ネットに接続されていても一番高いレベルの値となるこ
とを表わし、この４つのレベルによって順次レベルが当
然ながら下がるという表現を表わしたものである。また
、単なるネット値すなわち状態値においてもハイレベル
、ローレベルの他にハイインピーダンス、更にはハイイ
ンピーダンスかあるいはハイレベル、またはハイインピ
ーダンスかローレベルのように各状態によって表現を変
えておりどのレベルにおいてどのような駆動がかかった
時にそのレベルであるかを明確としている。これによっ
て各ネットの値が明確に定められるのである。

〔発明の効果〕

以上述べたように本発明によれば、駆動力とそのネット
値を評価することにより、スイッチング素子の論理シミ
ュレーションを確実に行うことが可能となる。また、Ｍ
Ｏ３回路の論理の特有である静電電荷の影響も考慮した
高速なタイミング検証を行うことができる。

【図面の簡単な説明】

第１図は本発明の原理ブロック図、 第２図は本発明の実施例の処理フローチャート、第３図
は本発明の説明に用いられるシンボルの説明図、 第４図は接続構成の説明図、 第５図はレベルとグループ分は説明図表、第６図、第７
図、第８図は論理説明図表、第９図は状態説明図表、 第１０図は状態説明図、 第１１図は駆動力説明図表、 第１２図は駆動力説明図表である。 １・・・ネット評価手段、 ２・・・駆動力評価手段、 ３・・・制御手段。 論理値説明図表 第 図 論理値説明図表 第 図 状態説明図表 第 図 第 ０図 馬区゛チカカ言兇月月図表 第 図 駆動力説明図表 第１２図

Claims (1)

1. 【特許請求の範囲】 １）スイッチング素子が接続する接続点への駆動力を方
   向によって２分して該接続点のネット値を評価するネッ
   ト評価手段（１）と、 該ネット評価手段（１）によって得られるネット値が変
   化する時に、前記接続点にゲートが接続している前記ス
   イッチング素子と異なるスイッチング素子の駆動力を求
   める駆動力評価手段（２）と、 該駆動力評価手段（２）によって得られる駆動力に基づ
   いて再度前記ネット評価手段（１）と前記駆動力評価手
   段（２）を動作させ、最終ネット値と駆動力を求める制
   御手段（３）とよりなることを特徴とするスイッチング
   素子の論理シミュレーション方式。 ２）前記駆動力は前記接続点に接続される各回路素子に
   流れる電流値もしくは電圧値であり前記ネット値とは前
   記接続点に接続される駆動力の緩和であることを特徴と
   する請求項１記載のスイッイチング素子の論理シミュレ
   ーション方式。 ３）前記制御手段（３）は前記ネット評価手段（１）と
   前記駆動力評価手段（２）とを複数回繰り返し動作させ
   ることを特徴とする請求項１記載のスイッチング素子の
   論理シミュレーション方式。