JPH02294841A - 論理シミュレーション方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理シミュレーション方式に関する。

〔従来の技術〕

従来の技術による論理シミュレーション方式は、論理素
子のタイムチャート表示の指定を行い、指定された論理
素子の期待値を読み込んでシミュレーションを実行し、
終了後シミュレーション結果と期待値との比較を行うも
のであり、比鮫結果のタイムチャートを表示するだけで
あった。

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

上述した従来の論理シミュレーション方式では、タイム
チャート表示を指定した論理素子のシミュレーション結
果と期待値との比較結果において内部の論理素子で異常
が存在した場合、その内部の論理素子から出力側までの
論理について確認することが出来なかった。そのため、
異常が存在した内部の論理素子までの論理について修正
を行って再シミュレーションを実行しても、異常が存在
した内部の論理素子から出力側までの論理でまだ異常が
存在する場合もあり、この時はもう一度修正を行いシミ
ュレーションを行わなければならず、長時間を要すると
いう欠点がある。

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

本発明の論理シミュレーション方式は、論理シミュレー
ションのモデルにおいて内部の論理素子の出力信号と前
記モデルの出力となる論理素子の出力信号とのタイムチ
ャートの表示を指示する論理素子指定部と、指示された
論理素子のシミュレーション結果の期待値を読み込む期
待値入力部と、指示された論理素子のシミュレーション
結果とその期待値とを比較する結果比較部と、内部の論
理素子において比鮫した結果に不一致があった場合にそ
の論理累子に新たに期待値を設定する期待値設定部と、
期待値を設定された内部の論理素子より再びシミュレー
ションを行う再シミュレーション部と、指示された論理
素子のタイムチャートを表示するタイムチャート表示部
とを備えて措成される。

〔実施例〕

次に、本発明について図面を参照して説明する。

第１図は本発明の一実施例の構成を示す流れ図である。

論理素子指定部１では、タイムチャート指定記述を入力
したタイムチャートの表示を行う内部の論理素子を指定
する。期待値入力部２では、論理素子指定部１で指定さ
れた論理素子のシミュレーションの期待値を入力する。

シミュレーション部３では、与えられた入力パターンを
用いてシミュレーションを実行する。結果比較部４では
、シミュレーション部３で出力されたシミュレーション
結果と期待値入力部２で入力した期待値との比較を行う
。ここでシミュレーションモデルの出力に異常が検出さ
れたり内部論理素子の出力に異常が認められたりしない
ときは、それぞれのタイムチャートがタイムチャート表
示部１０で表示される（参照符号５・６）。

期待値設定部７では、シミュレーション結果で不一致が
発生した内部の論理素子に、期待値入力部２で入力した
期待値より該当する論理素子の期待値をｆｌり出して設
定する。再シミュレーション部８では、期待値を設定し
た内部の論理素子についてシミュレーションを実行する
。結果比較部９では、再シミュレーション部８で出力さ
れたシミュレーション結果と期待値入力部２で入力した
期待値とで得られた結果の比較を行う。タイムチャート
表示部１０ては、論理素子指定部１で指定された論理素
子について、その論理素子の出力とシミュレーションモ
デルの出力との結果を比較したタイムチャート及び再シ
ミューレーション部８で出力されたタイムチャートを表
示する。

第２図は本実施例に使用するシミューレーションモデル
の一例を示す説明図である。この図のうち例えば論理素
子Ａ及びＢにタイムチャート表示の指定を行うこととす
る。

そこで、論理素子Ａ及びＢの期待値を入力する。

そして、シミュレーションを実行し、論理素子Ａ及びＢ
のシミュレーション結果と期待値との比鮫を行う。論理
素子ＡのシミＪ．レーシコンの結果と期待値との比較し
た結果に不一致が発生した場合は、論理素子八に期待値
を設定して、論理素子Δ以降の再シミュレーションを実
行する。

かようにして、論理索子Ａ及びＢのタイムチャートを表
示することによって、論理票子八までの論理と論理素子
Ａから論理素子Ｂまでの論理について解析を行うことが
できる。

〔発明の効果〕

以上説明したように本発明は、論理シミュレーション中
にタイムチャート表示の指定を行った内部の論理素子に
対して結果に異常が検出されても、その論理素子に期待
値を設定することにより、異常が検出された論理素子以
降についても確認することが可能となり、１度めシミュ
レーションでより多くの論理ミスを発見でき、効率的に
シミュレーションの解析が行えるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示す流れ図、第２図
は本発明に使用するシミュレーションモデルの一例を示
す説明図。 １・・・論理素子指定部、２・・・期待値入力部、３・
・・シミューレーション部、４・・・結果比較部、５・
・・期待値設定部、６・・・再シミュレーション部、７
・・・タイムチャート表示部。

Claims (1)

【特許請求の範囲】
1. 論理シミュレーションのモデルにおいて内部の論理素子
   の出力信号と前記モデルの出力となる論理素子の出力信
   号とのタイムチャートの表示を指示する論理素子指定部
   と、指示された論理素子のシミュレーション結果の期待
   値を読み込む期待値入力部と、指示された論理素子のシ
   ミュレーション結果とその期待値とを比較する結果比較
   部と、内部の論理素子において比較した結果に不一致が
   あった場合にその論理素子に新たに期待値を設定する期
   待値設定部と、期待値を設定された内部の論理素子より
   再びシミュレーションを行う再シミュレーション部と、
   指示された論理素子のタイムチャートを表示するタイム
   チャート表示部とを備えて成ることを特徴とする論理シ
   ミュレーション方式。