JPH0375874A - 論理回路シミュレーシヨン装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 この発明は、論理回路をシミュレーションして得られた
入出力信号の変化情報を表示するエンジニアリング・ワ
ーク・ステーション等の論理回路シミュレーション装置
に関する。

〔従来の技術〕

一般に、論理回路のシミュレーションは論理素子の論理
及びデイレ−によって論理演算を行ない。

入力信号の変化に伴なって経時変化する出力信号が期待
された通りしこ出力されるか否かによって論理回路の設
計を検証するものである。

すなわち、第７図のフローチャー１へに示すように、設
計段階の後に論理回路を作成すると同時に、その論理回
路のテスト設計を行なって入力するテストパターンと出
力される期待値を作成する。

その後、上述のような論理回路シミュレーション装置に
よってシミュレーションを行ない、その結果得られた出
力信号と予め作成した期待値が一敵するか否かで論理検
証を行なうのである。

そして、その論理検証によって出力信号に不具合か生じ
ていれは、その原因を究明して対策を講しる必要がある
。

この原因究明の作業を不具合解析（「テハツクｊとも称
する）というが、そのｆｊ頂は第８図のフローチャート
に示すように、シミュレーションを実行した結果に不具
合があるならば、ますナス１−パターンを調へてそこに
原因か有れば修正し、ナス１−パターンが正常ならば次
に論理回路を調へてそこに原因が有れば修正して再度シ
ミュレーションを行なう。

もし、テスｈパターンと論理回路にノアｘ囚かなけれは
、シミュレーションシステ１１及びライブラリを調べて
修正し、シミュレーションの結果に不具合がなくなった
ら作業を終了する。

上述したシミュレーション結果の不具合には、（１）出
力信号に不定値が出ている。

（２）期待値と異なる出力信汁かｙｌ　ニアＪされてい
る。

（３）期待された波形の幅が出力されない。

の３種類かあるか、特に（１）の場合は必ずその発生個
所を突き＋）、ぬて解決しなければならない。

そこで、この不定値の発生個所を探索するには、論理回
路の全ノート（結節点）あるいは１部のノー　ｌ’に関
するシミュレーション結果の情報を表示させる従来の論
理回路シミュレーション”！４’ｌｌを使用して、操作
者が１つ１つ論理回路中の不定値発生個所と思われる論
理素子について、その入力信号と出力信号の波形に出て
いる不定値によって不定値発生個所の素子か否かを特定
する作業を行なって探索していた。

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

しかじなが１〕上記のような論理回路シミュレーション
装置では、論理回路の全ノードあるいは１部のノー１＜
に関するシミュレーション結果の情報を表示するたけて
あり、その表示される不定値信号をもとにして論理回路
の出力側から順次論理素子をたどっていって不定値発生
個所を見つけなけれはならないので、操作者が論理回路
の解析に−）いての知識を持っていないと行なえないと
いう問題があった。

：３ また、１つ１つの論理素子の多くの信号を追わなくては
ならないために解析に時間がかかるという問題もあった
。

さらに、論理回路中にフィードバック回路があれば、不
具合解析の際に時間ごとの発生個所を探らなければなら
ないので正確に突き止めることが難しいという問題もあ
った。

この発明は上記の点に鑑みてなされたものであり、論理
回路のシミュレーションによって得られた出力（ｊ４１
に発生した不定値の発生個所の探索作業を容易に行なう
ことができるようにすることを目的とする。

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

この発明は」二記の目的を達Ｊ戊するため、第１図の機
能ブロック図に示すように、論理回路のシミュレーショ
ンを行なうシミュレーション演算手段Ａと、その結果得
られた入出力信号の変化情報を記憶するシミュレーショ
ン結果保持手段Ｂと、その記憶されている変化情報を波
形で表示すると共に変化情報中の不定値信号を明、ｊ＼
する表示手段Ｃとを備えた論理回路シミュレーション装
置において、上記の不定値信じ・を指定して入力する不
定植信今人力手段１つと、その指定された不定値信号を
出力した論理回路中の素子を出力側から順次追って不定
値信号の発生元である素子まで遡る不定値信は発生箇所
追求手段Ｅど、その遡った素子を表示手段Ｃに表示させ
る不定値発生箇所表示手段１・゛を設けたものである。

〔作　用〕 この発明による論理回路シミュレーション装置は、シミ
ュレーション結果保持手段Ｈに記憶されるシミュレーシ
ョン演算手段Ａの演算によって得られた入出力信号の変
化情報を、表示手段Ｃに波形として表示する。

そして、その波形と共に明示された不定値信号を不定値
信号人力手段工）によって指定されると、不定値信号発
生箇所追求手段Ｅがその指定された不定値信跨を出力し
た発生元の素子まで遡り、不定値発生箇所表示手段Ｆに
よって表示手段Ｃに人出列信３と共にその素子を表示す
る。

〔実施例〕

以下、この発明の実施例を図面によって具体的に説明す
る。

第２図は、この発明の一実施例である論理回路シミュレ
ーション装置のフロック構成図である。

この論理回路シミュレーション装置は、キーポー　Ｆ　
ｉ　、マウス２．処理装置３．記憶装置４．及び表示装
置５からなる。

キーボード１は、文字、数字、カーソル移動。

機能選択等の各種のキーを備えており、各種文字データ
の入力や論理回路作成及びテストパターン作成の際の各
種入力、論理回路のシミュレーション実行の指示入力、
シミュレーション結果から不定値が有る出列信けを指定
する入力、及びその他各種の指示の入力等を司り、マウ
ス２は表示装置５の表示画面に映し出されるマウスカー
ソルによって上記の各種の指示入力等を行なう。

すなわち、キーボード１及びマウス２は第１図の不定値
信号入力手段りの役割りを果たす入力装置である。

処理装置ろは、ＣＰＵ、ＲＡＭ、及びＲＯＭ等を備えた
マイクロコンピュータであり、この装置全体の制御を司
ると共に、論理回路作成及びテストパターン作成の際の
処理と、論理回路をシミュレーションする際の種々の演
算処理、シミュレーション結果から得られた入出列信Ｚ
を波形に変換して表示装置５に表示させる処理、シミュ
レーション結果から得られた入出力信号の変化情報を記
憶装置４に記憶させる処理、シミュレーションで得られ
た出力信号に不定値が有るものについてその発生元の素
子まで遡って追求する処理、その遡った素子とその素子
の入出力信号の波形を表示装置５に表示させる処理等を
司る。

すなわち、上記シミュレーション演算手段Ａと不定値信
号発生個所追求手段Ｅと不定値発生個所表示手段Ｆの機
能を果たす。

記憶装置４は、シミュレーションによって得られた入出
力信号の変化情報等を記憶するバー１くティスフ装置等
の記憶装置であり、］二記シミュレーション結果保持手
段Ｂの役割りを果たす。

表示装置５は、上述した表示手段Ｃの役割りに果たすＣ
ＲＴ及びＬ　ＣＤ等のティスプレィ装置てあり、論理回
路の表示やシミュレーション実行の際の作業画面、シミ
ュレーション結果の入出力信号の波形の表示、不定値信
号の有る出力信号を発した素子の追求機能を指示する際
の作業画面とその機能によって追求した素子の表示等及
びその他各種のメツセージを表示する。

次に、第３図のフローチャー１へによって不定値の有る
出力信号を発生した素子を追求する処理について詳述す
る。

始めに、操作者が表示装置５の表示画面に表示された波
形図から、シミュレーション結果の出力信号に不定値（
１″か０“か定まらない値）が有るもののうち、その発
生個所の素子を調へたい出力信号をマウス２によって指
定すると、ステップ上でその出力信珍を不定値信号発生
個所素子追求の対象信号（以後「ターケツＩ−信珍」と
称する）としてセットする。

するとステップ２において、そのターケラ１−信号を発
生した出力元の素子を調へる対象素子（以後「ターケラ
１〜素子」と称する）にセットして、ステップ３でその
ターグツｌ−素子が複数個有るか否かを判断する。つま
り第４図に示すように各タゲット素子の出力がワイヤー
Ｉ−になっているか否かを調へる。

ステップ３の判断によってワイヤーＩへならステップ４
へ進み、全ターゲラ１〜素子のそれぞれについて不定値
が含まれている入力信号が有るか否かを判断し、有れば
ステップ５へ進んでその入力信号に出ている不定値Ｚの
発生時間がワイヤードの出力信号に出ている不定値Ｘの
発生時間より早いか否かを判断する。

そして、早ければステップ６へ進み、違うならステップ
８に進む。

ステップ６では、その入力信号が更に他の素子からの出
力信珍か否かを判断してＹＥＳならステップ７へ進み、
改めてその人列信けをターゲラｈ信号としてセラ１−シ
直してステップ２に戻る。

ＮＯなら、例えば第５図に示−ずように入力側にＦ／Ｆ
があってフィードバック回路を持つ場合などであり、ス
テップ８へ進んでそのターゲラ１へ素子の全入出力信号
のリストを波形にして表示装置５の表示画面に表示する
と共に、論理回路中のその部分の回路図も表示して処理
を終了する。

また、ステップ４で全ターゲラＩ・素子の入力信号に不
定値が出ているものがなけれは、ステップ９へ進んで全
ターゲラ１〜素子の入力信号にハイインピーダンスを持
つものが有るか否かを判断し、無ければステップ１０へ
進んでその全ターゲラＩ・素子の全入出力信号のリスト
を波形にして表示すると共に、その部分の回路図も表示
して処理を終了する。

ステップ９の判断でハイインピータンスを持つ入力信号
があればステップ１１へ進み、その入力信号の入力光の
ターゲット素子がフリップフロップか否かを判断してフ
リップフロップならステップ１２へ進み、全ターゲット
素子の全入出力信号のリス１〜を波形にして表示すると
共に、その部分の回路図を表示して処理を終了する。

そして、ステップ１１の判断でフリップフロップでなけ
ればステップエ３へ進み、ハイインピーダンスの信号が
入力する素子の入出力信号のリストを波形にして表示す
ると共に、その部分の回路図を表示して処理を終了する
。

また、ステップ３の判断によってターゲット素子が１つ
、すなわち第６図に示すようにワイヤードでなければス
テップ］４へ進み、そのターゲラ１〜素子の全入力信号
を保持してステップ１５へ進み、その中に不定値が出て
いる入力信号が有るか否かを判断する。

ステップ■５の判断で不定値が出ている入力信号が有れ
ばステップ５へ戻って上記の処理を行ない、無ければス
テップＪ６へ進んで更にハイインピータンスを持つもの
は有るか否かを判断し、有ればステップ］９へ進む。

ステップ１６の判断でハイインピーダンスを持つ入力信
号が無ければステップ］７へ進み、そのターケラ１へ素
子はフリップフロップか否かを判断し、フリップフロッ
プならステップ１９へ進むが、１ 否なら通常ではありえないような理由による不具合なの
でステップ１８へ進み、エラー処理をした後に処理を終
了する。

そして、ステップ１６においてハイインピーダンスを持
つ入力信号が有る場合、またはステップ１７においてタ
ーゲット素子がフリップフロップである場合はステップ
」９においてその１個のターゲット素子の全入出力信号
のリス１〜を波形にして表示すると共に、その部分の回
路図を表示して全ての処理を終了する。

このようにして、不定値の発生元の素子を自動的に追求
してその結果を表示するので、操作者はシミュレーショ
ンによって得られた不定値が出ている出力信号のうち調
へたい信号を指定するだけでよい。

〔発明の効果〕

以上説明したように、この発明の論理回路シミュレーシ
ョン装置によると、不定値が有る出力信号を指定すると
自動的に論理回路中の素子を出力側から順次遡って発生
元を追求するので、論理量２ 路の解析についての知識がない操作者でも、論理回路の
シミュレーションによって得られた出力信号に発生した
不定値の発生個所の探索作業を容易にかつ短時間で行な
うことが可能となる。

【図面の簡単な説明】

第１図はこの発明による論理回路シミュレーション装置
の基本的構成を示す機能ブロック図、第２図はこの発明
の一実施例を示すブロック構成図、 第３図は第２図の実施例による不定値信号発生個所追求
の処理を示すフロー図、 第４図乃至第６図は同じくその作用の説明に供する論理
回路の一部分を例示する回路図、第７図は論理回路のシ
ミュレーションの説明に供するフロー図、 第８図は第７図の論理回路シミュレーションによって生
した不具合の原因を探索する作業の説明に供するフロー
図である。 １　キーボード　　２　マウス　　３−処理装置４・記
憶装Ｗ　　　５　表示装置

Claims (1)

1. 【特許請求の範囲】 １　論理回路のシミュレーションを行なうシミュレーシ
   ョン演算手段と、該手段によつて得られた入出力信号の
   変化情報を記憶するシミュレーション結果保持手段と、
   該手段に記憶されている変化情報を波形で表示すると共
   に該変化情報中の不定値信号を明示する表示手段とを備
   えた論理回路シミュレーション装置において、 前記不定値信号を指定して入力する不定値信号入力手段
   と、 該手段によつて指定された不定値信号を出力した論理回
   路中の素子を出力側から順次追つて該不定値信号の発生
   元である素子まで遡る不定値信号発生箇所追求手段と、 該手段によつて遡つた素子を前記表示手段に表示させる
   不定値発生箇所表示手段とを設けたことを特徴とする論
   理回路シミュレーション装置。