JPH03246768A - 論理動作シミユレータ - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、ディジタル信号を扱う論理回路の論理動作シ
ミュレーションに係る。特に、入力信号として、少なく
とも２つ以上のディジタル値のどちらであっても良いと
いう状態値である「ドントケア」を用いて、対象とする
論理回路がとり得る任意の論理空間に対する機能動作を
解析するのに好適な、論理動作シミュレータに関する。

〔従来の技術〕

従来の論理動作シミュレータは、解析の対象とする論理
回路の主に内部ノード及び出力信号に対して不確定状態
を設けていた。不確定状態とは、動作解析時において、
ディジタル値を該論理回路の入力信号から順番に、ある
時間軸に対して該論理回路の内部ノードに伝播させてい
く課程で、ある時刻で該ノードの論理値がある１つのデ
ィジタル値に決めることができないという状態である。

なお、不確定状態の取扱い方式については、特開昭６３
−２０５４４において論じられている。

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

上記従来技術では、解析の対象とする論理回路の入力信
号として、少なくとも２つ以上のディジタル値のどちら
であっても良いという状態値である「ドントケア」を、
他のディジタル値と同等に用いて論理動作解析を行なう
ことについて配慮がされていない。又、不確定状態を含
んだ論理演算では、特に冗長回路が存在する場合に正常
な動作解析を行なうことができなかった。従って、該論
理回路の全論理空間に対する論理動作を解析するために
は、該論理回路の入力信号本数をＮ本として、２値論理
の場合でも２のＮ乗通りの入カバターンが必要となる。

特に入力信号本数が多くなると、入カバターン数が指数
的に増加することから、論理動作シミュレーションに要
する時間が増大し、シミュレーション結果を照合する作
業も膨大なものになってしまうという問題があった。

本発明の目的は、該論理回路の全論理空間に対する論理
動作を解析するための入カバターン数を削減し、シミュ
レーションに要する時間を減少させ、入カバターンの作
成、及びシミュレーション結果の照合を簡単にすること
にある。

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

上記目的は、従来の論理動作シミュレータにおいて、少
なくとも２つ以上のディジタル値のどちらであっても良
いという状態値である「ドントケア」を、他のディジタ
ル値と同様に入力信号として用いて動作解析することが
できる機能を設けることにより、達成される。

〔作用〕

入カバターンにドントケアを用いて論理回路の動作解析
を行なうことにより、ドントケアを入力した信号がその
時の出力値に影響しているか否かを検証することができ
る。すなわち、ドントケアを入力した信号にその系でと
り得る任意のディジタル値の全組合せを仮定したときに
出力信号の論理値が変わらない場合については、その系
でとり得る任意のディジタル値の全組合せを実際に入力
して動作解析した場合と等価な解析結果を得ることがで
きる。従って、その分だけ動作検証のための入カバター
ン数を削減することができる。

〔実施例〕

以下１本発明の一実施例を図面を用いて説明する。

第１図は、３人力２出力の２値論理を例にとり、論理設
計の一手法を、設計階層ごとに模式的に流れ図として示
したものである。

１１０は機能動作を設計する工程である。この工程では
、組合せ回路ごとに１１１に示したような機能表を用い
て、入力信号の全論理空間に対する出力信号の論理値を
定義する。該論理の機能表１１１は、その−例として３
本の入力信号Ａ、Ｂ。

Ｃのとりうる全論理空間に対して、そのときの出力Ｘ、
Ｙの論理値を定義している。入力信号の論理値の組合せ
は、この場合２の３乗で８通りあるが、機能表１１１で
はドントケア（機能表１１１中の＊：０でも１でもどち
らでもよい状態）を用いた５つの組合せで表現している
。

ここで、ドントケアを指定した信号は、論理値が０であ
っても１であっても、その行で定義されている出力値に
影響を与えない。すなわち、その行で定義されている出
力信号の論理値は、ドントケアを指定した信号以外の入
力信号の論理値の組合せだけで決まっている。式１１２
，１１３は、それぞれ出力信号Ｘ、Ｙのプール代数式で
ある。

１２０は１機能動作設計工程１１０で作成した機能表１
１１を基にして、実際の論理ゲートに展開設計する工程
である。この工程では、機能表１１１に対応する論理回
路１２１を実際の論理ゲートを用いて設計する。

１３０は、論理ゲート展開工程１２０で設計した論理回
路１２１単体、及びその他の論理回路１３３．１３４，
１３５と接続した状態で、その論理動作を検証する工程
である。すなわち、ドントケア入力を用いた動作シミュ
レーションを行なう。

以下、論理動作検証工程１３０に示した例について、よ
り詳細に説明する。

今、論理回路１２１のみの論理動作を検証する場合を考
えると、入力端子Ａ、Ｂ、Ｃに機能表１１１で定義した
ドントケアを含んだパターンをそのまま入力することで
、出力端子１２５，１２６に機能表１１１で定義した論
理値が得られるかどうかを確認することができる°、す
なわち、入力端子Ａ、Ｂ、Ｃに、（０，Ｏ，Ｏ）　、（
０，１，＊）、（０，＊、１）　　、　（１，Ｏ，傘）
、（１，１，申）の５パターンを入力して、出力端子Ｘ
、Ｙにそれぞれ、（０，１）、（０，Ｏ）、（０，Ｏ）
、（１゜Ｏ）、（０，１）が出力されることを確かめれ
ば、論理回路１２１の全論理空間に対してその論理動作
を確認することができる。（但し、記号本はドントケア
を表す。） なぜなら、機能表１１１を基にして設計した論理１２１
の動作解析においては、ドントケアを指定した信号がそ
の行で定義されている出力値に影響を与えていればドン
トケアが出力され、該信号が該出力値に影響を与えてい
なければ該出力値がそのまま出力される。すなわち、該
機能表で定義したパターンと同じパターンで、その系で
とり得る任意のディジタル値の全組合せを実際に入力し
て動作解析した場合と等価な動作検証になっているから
である。

第４図に、２値論理におけるドントケアを含んだ論理演
算定義の一例を示す。項番１〜５はドントケア入力の代
りにＯ／１を入力したときに、出力が変化しなければそ
の値、出力が変化すればドントケアを出力することを示
す。項番６〜１１では、入力されるドントケアの従属関
係によって出力値が決まり、互いに反転関係にある入力
信号が少なくとも１組ある場合のみ、ＡＮＤ演算では０
を、ＯＲ演算では１を出力し、それ以外の場合はドント
ケアを出力することを示す。又、ＮＯＲ。

ＮＡＮＤＡＮＤ演算はそれぞれ出力値が反転するものと
する。

第１図で示した例では、入力Ａ、Ｂ、Ｃが互いに独立だ
とすると、機能表１１１で定義したパターンをそのまま
入力しているかぎり、第４図に示した２値論理に関する
ドントケアを含んだ論理演算定義のうち項番１〜５を適
用するだけで動作解析することができる。

次に、論理回路１２１の出力であるＸ、Ｙを入力として
この２本の信号のＯＲをとった出力信号１３１を生成す
る論理回路１３３を接続して、全体として入力信号がＡ
、Ｂ、’Ｃの３人力で、出力信号がＺの１出力である論
理回路の動作解析を考える。

今、入力信号Ａ、Ｂ、Ｃに論理値（１，傘、０）を入力
すると、論理回路１２１の出力Ｘ、Ｙは、それぞれ式１
１２，１１３を用いて、それぞれ、１・本、０・串・１
＋１・童となるから、第４図の項番１〜３で定義した論
理演算により、それぞれ、串、＊となる。従って、論理
回路１３３のＯＲに着目すると、第４図の論理演算定義
の項番１１を満たすことから、論理回路１３３の出力Ｚ
の値を１とすることができる。ここで、＊とはネの代り
に１及びＯを仮定したときに１本のノードはそれぞれ０
及び１となることを示す。

論理回路１３３の出力２は、その入力信号が式１１２．
１１３で表されることから式１３２で表すことができ、
式１３２にＡ＝１．Ｂ＝＊、Ｃ＝０を代入すると１＋傘
・１＝１となって上記の解析結果が正しいことがわかる
。

上記の例では２つの論理回路１２１，１３３を接続する
と、結果的に、出力２を生成するためには冗長な、Ｂ＋
Ｂという項を演算する冗長回路が存在するために、論理
回路１３３の論理演算においてドントケア同志の論理演
算が必要となる。

ここで、冗長回路とは、その入力信号にその系で取り得
るディジタル値の全ての組合せを入力しても出力値が変
化しない回路構成をいう。

次に、冗長回路の動作解析について説明する。

第２＠は代表的な冗長回路であり、過渡的な状態を除け
ば入力２１がＯであっても１であっても、出力２３は１
となる。

今、該冗長回路の入力２１に不確定状態が入力された場
合を考えると、出力ノード２３には不確定状態が出力さ
れてしまう。これは、入力ノード２１に設定された不確
定状態が、インバータ２４によって反転されてもその出
力ノード２２は不確定状態となり、ＮＡＮＤ２５に入力
されるノード２１の不確定状態と区別がつかなくなり、
不確定状態同志が入力されるＮＡＮＤ２５の出力ノード
２３も不確定状態になってしまうことによる。すなわち
、不確定状態が、成るノードの論理値を特定のディジタ
ル値に決めることができないという事象のみを伝達する
状態値であり、その系でとり得る全てのディジタル値を
仮定して動作解析を行なうための状態値ではないことに
よる。

このように、不確定状態を入力して動作解析したときに
その解析結果が実動作と異なる可能性があるのは、論理
演算の単位である論理ゲートの入力信号に２つ以上の不
確定状態が入力され、なおかつ該論理ゲートのその他の
入力信号に入力されているディジタル値で該不確定状態
が打ち消されない場合である。

これに対して、本発明で取扱うドントケアは。

結果的にその系でとり得る全てのディジタル値、又はそ
の全ての組合せを仮定して動作解析を行なうための状態
値である。従って、第２図の入力２１にドントケアを入
力すると、以下のようにして出力２３を１と判定するこ
とができる。すなわち、入力２１にドントケアを入力す
ると、インバータ２４の出力２２は、第４図の項番５に
従ってドントケアとなる。その結果ＮＡＮＤ素子２５の
入力は２本ともドントケアとなるが、入力２２はもう一
方の入力２１の反転信号となっていることから、第４図
の項番８に従い、出力２３を１とすることかできる。つ
まり、入力２１に設定したドントケアに１及びＯを仮定
したときに、出力２２の値はそれぞれＯ及び１になって
いることを示すドントケアの反転状態によって、第４図
の項番８の条件を判別することができる。

第２図のように、解析の対象とする論理回路の入力信号
のうちただ１本の信号にのみドントケアが入力された場
合は、ドントケアの反転状態を定義して論理演算を行な
えば、第４図の項番８、及び１１にあてはまる場合が容
易に判定できることから、冗長な論理を含んでいても正
確に動作解析することができる。

すなわち、動作解析時の論理演算の単位である論理ゲー
トの入力信号に伝播してきたドントケアが、解析の対象
としている論理回路の入力信号、又は該論理回路の内部
ノードのうちの１箇所のドントケアに起因するものであ
る場合は、ドントケアの反転状態を定義して論理演算を
行なっていくことで、ドントケアを用いた動作解析が可
能となる。

次に、第３図は、第２図で示した回路を一般化したもの
である。すなわち、ＮＡＮＤ素子２５への入力２１の代
りに別の信号３１が入力されており、入力信号２１．３
１は任意の論理回路Ａ４１゜Ｂ４２によって生成された
ものである場合を考える。ここで、入力信号２１．３１
が両者共ドントケアであるとすると、一般に、両者の従
属関係を判定することは難しいことから、第２図の場合
のようにドントケアの反転状態を用いた演算を行なうこ
とはできない。

この場合の一実現手法として、ＮＡＮＤ素子２５の出力
信号２３について、初段の入力信号を用いた論理式を作
成し、その論理式から冗長項を除いたものに第４図の論
理演算を適用すれば解析することができる。なぜなら、
ドントケアを２つ以上含む論理演算結果がドントケアに
ならずにある１つのディジタル値に決まるためには必ず
冗長回路が存在して、論理式で表すとそれに起因する冗
長項が含まれているからである。しかしながら、このよ
うに論理式を用いて冗長項を削除する方式では、動作解
析時の論理演算単位を越えて、各内部ノードに伝播する
全てのドントケアについて論理式を生成する必要がある
ため、実現可能ではあるが論理動作の解析アルゴリズム
が複雑になってしまい、シミュレーションに要する時間
も増大する可能性がある。

又、別の実現手法として、入力信号に伝播してきたドン
トケアの原因となっている互いに独立なドントケアノー
ドを特定し、このノードのドントケアを０／ｌに置き換
えて解析する方法がある。

この場合、ドントケアの指定された信号に対して・その
系で取り得るディジタル値の全ての組合せについて動作
解析を行なう。その結果、入力信号値のそれぞれの組合
せに対して、出力が変化しなければその値、出力が変化
すればドントケアを出力するという機能を設けることで
、見かけ上ドントケアを用いた動作解析を行なうことが
できる。

第２の手法においては、入力信号に伝播してきたドント
ケアの原因となっている互いに独立なドントケアノード
がｎ個あるとすると、入カバターンの組合せは２のｎ乗
通りとなり、論理回路内に伝播する全てのドントケアに
ついて適用することができない。従って、第２の手法を
適用する場合の条件を、次のように限定する。

動作解析時の論理演算の単位である論理ゲートの入力信
号に伝播してきたドントケアが複数個あり、該論理ゲー
トのその他の入力信号に入力されているディジタル値で
該ドントケアが打ち消されない場合で、なおかつ該ドン
トケアが解析の対象としている論理回路の入力信号、又
は該論理回路の内部ノードのうちの複数箇所のドントケ
アに起因するものである場合に、第２の手法を適用する
ことする。

以下、上記で説明した動作解析を行なうためのシミュレ
ーション方式について詳細に説明する。

第５図は、ドントケアを含んだ動作解析時の論理演算単
位の演算処理フローである。但し、簡単のため論理演算
単位としてＡ　Ｎ　Ｄ　、　ＯＲ、Ｎ　Ａ　Ｎ　Ｄ　。

ＮＯＲ，ＮＯＴのみを仮定している。

まず５１で、該演算単位の入力信号のなかにドントケア
が含まれていなければ、従来通りの確定したディジタル
値同志の動作解析を行なう。

入力信号のなかにドントケアが含まれているとき、５２
でその他の確定したディジタル値の入力信号によって該
ドントケアが打ち消されれば、該演算単位の演算定義に
従って確定するディジタル値を出力する。すなわち、該
演算単位がＡＮＤ、若しくはＮＡＮＤの場合は、入力信
号の中に論理値Ｏが１本でも含まれていれば、その出力
値をＡＮＤならば０、ＮＡＮＤならば１とする。又、該
演算単位がＯＲ１若しくはＮＯＨの場合は、入力信号の
中に論理値０が１本でも含まれていれば、その出力値を
ＯＲならば１、ＮＯＲならばＯとする。

次に、入力信号のなかにドントケアが含まれていて、な
おかつその他の確定したディジタル値の入力信号によっ
て該ドントケアが打ち消されない場合、５３でドントケ
ア入力が１本なら、出力信号に該ドントケアを伝播させ
る。すなわち、該演算単位がＡＮＤ、若しくはＯＲなら
ば該ドントケアをそのまま出力値とし、該演算単位がＮ
　Ａ　Ｎ　Ｄ　。

ＮＯＲ，ＮＯＴならば該ドントケアの反転を出力値とす
る。但し、動作解析の対象としている論理回路内に伝播
するドントケアは真／偽の極性付きで、全て識別番号を
付するものとし、識別番号の付与規則の詳細は第６図、
第７図で説明する。

５３で、入力信号のなかに複数のドントケアがある場合
、５４で各ドントケア間の従属関係を調べ、全てのドン
トケアが互いに独立ならば、新たな識別番号を持つドン
トケアを出力値とし、全て同じ識別番号のドントケアで
極性も同じならば、極性を演算して該ドントケアを出方
に伝播させる。

又、５５で、同じ識別番号のドントケアでなおかつその
極性が互いに反転関係にある組合せが１組でもあれば、
ＡＮＤ、ＮＯＲのときＯを出力値とし、ＯＲ，ＮＡＮＤ
のとき１を出力値とする。

互いに従属関係にある複数のドントケア入力が有り、上
記のどの条件にもあてはまらない場合は、５６に示す通
り、該ドントケアの原因となっている互いに独立なドン
トケアのうち、該ドントケア間の従属関係に関与するド
ントケアのみをＯ／１に展開し、その全ての組合せにつ
いて動作解析を行なって、該演算単位の出力値が全て同
じならその値を、１つでも違う値が存在するなら新たな
識別番号を持つドントケアを出力値とする。

次に、本シミュレーション方式を、第６図に示した論理
回路を例にとり、第７図、第８図を用いて更に詳細に説
明する。

第６図は、冗長回路を含んだ論理回路の一例である。

今、入力信号１０，１１．１２の全てにドントケアを入
力して動作解析する場合を考える。

まず、初段の入力ノード１０，１１，１２のドントケア
は互いに独立であるとして、識別番号をそれぞれ０，１
．２として横割を真と仮定する。

第７図はドントケアの来歴テーブルで、論理回路内に伝
播するドントケアがそれぞれ初段のどのドントケア入力
に起因するものであるかを記録しておき、各ドントケア
間の従属関係を調べることができる。識別番号０，１．
２のドントケアには、関係する初段のドントケア番号が
無く、互いに独立であることが判る。

まず、ノート１３の値は、互いに独立なドントケア同志
が入力されているＮＯＲの出力であるから、新たな識別
番号が３で極性が真のドントケア、＊３とする。以下、
説明のため、ドントケアを記号−で表し、識別番号をそ
の後に付けて、極性が真のものを申ｎ、偽のものを＊ｎ
とし、更に記号−の後に来歴情報をコンマで区切って、
傘ｎ−ｋ。

１、ｍのように表す。

＊３は＊０と−１から新たに生成されたドントケアであ
るから、第７図に示すように、関係する初段のドントケ
ア番号が０．１という来歴情報を持っている。

ノード１４の値も同様にして、傘４−０．１となる。

次にノード１５の値は、ノード１３の傘３−０゜１とノ
ード１４の＄４−０．１のＮＯＲ演算結果となっている
。ここで、寧３と＊４は識別番号は違うが、来歴情報が
Ｏと１で重なっている。従つて、両者の従属関係に関与
している独立なドントケアは＊０と＄１であることがわ
かる。これによって、ノード１０とノード１１のドント
ケアをＯ／１に展開し、その全ての組合せについて動作
解析を行なってノード１５の値を求めると、第８図に示
したようになる。すなわち、ノード１０とノード１１の
Ｏ／１組合せ（０，０）、（０，１）、（１，０）に対
しては全て０となるが、入力（１゜１）にたいしては１
となって、出力結果が異なる。

故に、ノード１５の値は＊５となる。又、来歴情報は＊
３と＄４の来歴情報を元に、−０，１となる。

ノード１６の値は、ノード１４の−４−０，１とノード
１５の中５−０．１のＮＡＮＤ演算結果となっている。

従って、上記ノード１５の場合と同様に、ノード１０と
ノード１１のドントケアを０／１に展開し、その全ての
組合せについて動作解析を行なってノード１６の値を求
めると、第８図に示したようになる。すなわち、全ての
入力組合せにたいして出力結果が１となる。故にノード
１６の値は１となり、来歴情報は＊４と申５の来歴情報
を元に、−〇、１である。

次に、ノード１７の値は、ノード１２の宰２のＮＯＴ演
算出力であることから、率２となる。従って、ノード１
８の値は、＊２と＊２のＮＯＲ演算であり、識別番号が
同じで互いに反転関係にあることから、Ｏとなる。

ノード１９の値は、Ｏと申５のＮＡＮＤであるから、１
となり、ノード２０の値は、１と１のＮＡＮＤでＯとな
る。

次に、ノード２１の値は、＊５−Ｑ、１と串２のＮ　Ｏ
Ｒ演算であり、来歴情報が重複していないことから傘５
と串２は互いに独立であることが判る。従って、串６と
なり、来歴情報は、−０，１゜２となる。

〔発明の効果〕

本発明によれば、入カバターンにドントケアを用いて論
理回路の動作解析が行なえるので、動作検証のための入
カバターン数を削減することができる。

一般にＮ本の入力信号がある論理回路を、該入力信号の
全論理空間に対して動作解析するためには、２値論理の
場合でも２のＮ乗通りの入カバターンが必要となる。し
かしながら、実際の論理回路で、入力信号の全論理空間
に対して該論理の出力信号を全て異なる論理値の組合せ
にすることは、メモリ装置のアドレスデコーダ等の特殊
な回路を除いて、はとんど無いといえる。

又、実際の論理回路では、入力信号に伝播してきたドン
トケアをＩｌｏに展開して動作解析しなければならない
ような冗長回路は、テスティング効率を上げるために極
力少なくして最小限に押さえるのが一般的である。

従って、Ｎ本の入力信号がある論理回路の出力信号の論
理値の組合せが、該入力信号の論理値の組合せに対して
Ｍ通りのパターンで定義することができるとすると、２
値論理の場合２のＮ乗通りからＭ通りを差し引いた分だ
け、入カバターン数を削減することができ、その分シミ
ュレーションに要する時間を減少させ、入カバターンの
作成、及びシミュレーション結果の照合が簡単になると
いう効果がある。

【図面の簡単な説明】

第１図は、本発明の一実施例における設計検証までの工
程を示した図、第２図は第１図によって設計される可能
性のある冗長回路の典型例を示す図、第３図は第２図の
例を一般化した回路例を示す図、第４図は２値論理にお
けるドントケアを含んだ論理演算定義の一例を示す図、
第５図はドントケアを含んだ動作解析時の論理演算単位
の演算処理フローを示す図、第６図は冗長論理を含んだ
論理回路例を示す図、第７図はドントケア来歴テーブル
を示す図、第８図はドントケアをＯ／１に展開して動作
解析する場合のパターン例を示す図である。 １１１・・・入カバターンにドントケアを用いた機能表
、１３０・・・ドントケア入力を用いた論理動作検証工
程、１３１・・・冗長回路を含んだ出力信号（ドントケ
ア同志の演算結果が、ある１つのディジタル値になる場
合）。 纂 図 Ｚ 図 ■ 図 ■ 図 不 凹 冨 国 ／’／ 頁 図 不 図

Claims (1)

1. 【特許請求の範囲】 １、ディジタル信号を扱う論理の模擬動作において、少
   なくとも２つ以上のディジタル値のどちらであつても良
   いという状態値であるドントケアを、その他のディジタ
   ル信号と同様に入力信号として使用し、該ドントケアを
   含む論理動作を解析する機能を有することを特徴とする
   論理動作シミュレータ。 ２、前記ドントケアを含む論理動作において、ドントケ
   アを指定した信号に、その系でとり得る任意のディジタ
   ル値を仮定したとき、出力がある１つのディジタル値と
   なる場合にはそのディジタル値を出力とし、出力が２つ
   以上の値をとる場合にはドントケアを出力とする論理演
   算を行うことを特徴とする請求項１記載の論理動作シミ
   ュレータ。 ３、前記ドントケアを含む論理動作において、２つ以上
   のドントケアを含む入力信号から成る論理演算が、該ド
   ントケア信号について冗長な回路構成となつている場合
   、該ドントケア信号にその系でとり得る任意のディジタ
   ル値を仮定したときに出力となるディジタル値、又はド
   ントケアを出力とすることを特徴とする請求項１記載の
   論理動作シミュレータ。 ４、前記ドントケアを含む論理動作を解析する手段とし
   て、動作解析の対象とする論理回路内に伝播するドント
   ケアに識別番号と来歴情報を付加し、該ドントケアの極
   性を判定して論理演算をする機能を設けたことを特徴と
   する請求項１記載の論理動作シミュレータ。 ５、前記ドントケアを含む論理動作を解析する手段とし
   て、動作解析の対象とする論理回路の任意のノードにお
   いて、該ノードの値を決定する論理演算単位の入力とな
   つているドントケアを識別し、該ドントケアの来歴情報
   を基に該ドントケアの原因となつている互いに独立なド
   ントケアを特定して、その互いに独立なドントケアの設
   定されている信号のみを、その系で取り得るディジタル
   値の全ての組合せに展開して動作解析を行ない、その結
   果が全て同じ値ならそのディジタル値を、それ以外なら
   ドントケアを該ノードの値とする機能を設けたことを特
   徴とする請求項１記載の論理動作シミュレータ。 ６、前記模擬動作の対象とする論理を複数の組合せ回路
   に分割し、該組合せ回路のそれぞれを、少なくとも１組
   はドントケアとその他のディジタル値で表現した入力信
   号の論理値の組合せに対して出力信号の論理値を定義し
   た機能動作情報をもとに、該論理の動作解析を行なうこ
   とを特徴とする請求項１記載の論理動作シミュレータ。