JPH04205187A - 論理シミュレータ - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 この発明は論理検証ツールである論理シミュレータに関
するものである。

〔従来の技術〕

第４図は従来の論理シミュレータの入出力系統ブロック
図、第５図は第４図の論理シミュレータの構成を示すブ
ロック図である。図において、（１）は論理シミュレー
タ本体、（２）は回路接続情報、（３）はテストパター
ン、（４）はシミュレーション結果、（５）は表示装置
に表示されたシミュレーション結果、（６）はプリンタ
によって出力されたリスト状のシミュレーション結果、
（７）は入力データを処理する入力データ処理部、（８
）は回路接続情報を保持して置く回路接続情報部、（９
）はある時間での信号値を保持して置く信号値保持部、
αＯ）は論理値を求める演算部、０υはシミュレーショ
ン結果を出力するための出力データ処理部、α２はシミ
ュレーション時間をカウントするタイマである。

次に動作について説明する。論理シミュレータ（１）の
入力データとして回路接続情報部（２）とシミュレーシ
ョンをする回路に入力すべき信号値であるテストパター
ン（３）を用意し、論理シミュレータ実行時に与える。

この与えられたデータは入力データ処理部（７）で論理
シミュレータ（１）内で扱いやすい形に変換して、回路
接続情報（２）は回路接続情報部（８）に、テストパタ
ーン（３）は信号値保持部（９）に入れられる。タイマ
Ｏ２によって時間を進めて、その時間に対する信号値と
回路接続情報部（８）の回路を構成している素子の論理
タップを演算部αωに与えて演算し、この演算結果を信
号値保持部（９）に送る。

信号値保持部（９）に送られた演算結果は、タイマα２
からの時間と共に出力データ処理部αυに送られ、磁気
ディスク内のシミュレーション結果（４）、表示装置に
表示されたシミュレーション結果（５）またはプリンタ
によって出力されたリスト状のシミュレーション結果（
６）として出力される。論理検証を行う者はこれらのシ
ミュレーション結果を見て論理検証を行う。

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

従来の論理シミュレータは以上のように構成されていた
ので、シミュレーション結果はシミュレーション時間の
進行に伴って信号値を出力して行くため、不具合箇所を
発見すると、人手で不具合箇所からシミュレーション結
果を時間の若い方へ追って行き原因を見付は出さなけれ
ばならず、原因となる信号名を表示しているとは限らず
、よって論理検証に時間かかかり、論理検証の効率を妨
げるという問題点があった。

この発明は上記のような問題点を解消するためになされ
たもので、論理シミュレーション結果と制御コマンドを
入力することによって、指定されたシミュレーション時
間より時間を逆登ってカウントして行き、その時間にお
ける信号値を逐次表示し、かつ、条件を与えることて原
因と思われる箇所て信号値表示を止める機能を備えた論
理シミュレータを得ることを目的とする。

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

この発明に係る論理シミュレータは、−度行われた論理
シミュレーション結果を保持して置き、その結果と制御
コマンドとしてシミュレーション結果表示を始める時間
、信号名、表示を停止する条件等を論理シミュレータの
入力データとして与えることによって、シミュレーショ
ン時間を逆登ってカウントして行き、その時間における
信号値を逐次表示し、条件が合えばそこで信号値表示を
停止するようにしたものである。

〔作用〕

この発明における論理シミュレータは、シミュレーショ
ン時間を逆登ってカウントし、その時間の信号値を表示
して行き、条件により信号値表示を停止する機能を備え
ることにより、論理検証時の不具合原因箇所の発見が早
くなり、論理検証が効率的に行える。

〔実施例〕

以下、この発明の一実施例を図について説明する。

第１図はこの発明の一実施例である論理シミュレータの
入出力系統ブロック図、第２図は第１図の論理シミュレ
ータの構成を示すブロック図、第３図は第１図、第２図
のシミュレーション結果の図である。図において、（１
）は論理シミュレータ本体、論理シミュレータ本体（１
）の入力データとじて回路接続情報（２）、テストパタ
ーン（３）、制御コマンド（３）があり、出力データと
して磁気ディスク上に作成されるシミュレーション結果
（４）、表示装置に表示されたシミュレーション結果（
５）、プリンタによって出力されたシミュレーション結
果（６）がある。

（７）は論理シミュレータの入力データである回路接続
情報（２）とテストパターン（３）を処理する入力デー
タ処理部、（８）は回路接続情報を保持して置く回路接
続情報部、（９）はある時間での信号値を保持して置く
信号値保持部、ａωは論理値を求める演算部、ａυはシ
ミュレーション結果を出力するための出力データ部、α
りはシミュレーション時間をカウントするタイマ、０４
は保持されていた論理シミュレーション結果を処理する
シミュレーション結果処理部、α９は＃御コマンドを処
理する制御コマンド処理部、ＯＧは表示された信号名、
αηは信号値、Ｏａはシミュレーション時間である。

次に動作について説明する。

論理シミュレータ（１）の入力データとして回路接続情
報（２）とテストパターン（３）を与えて、論理シミュ
レータを実行すると、シミュレーション結果（４）か得
られる。次に制御コマンド０３としてシミュレーション
結果表示を始める時間、信号名、表示を停止する条件等
をシミュレーション結果（４）と共に入力する。制御コ
マンドは制御コマンド処理部０９て処理され、シミュレ
ーション表示時間をタイマ０２に与え、タイマＯ２は時
間を時間の若い方へカウントする。シミュレーション結
果（４）はシミュレーション結果処理部０滲で処理され
る。タイマＯａからの時間はシミュレーション結果処理
部αをへ送られ、シミュレーション結果処理部α４で時
間と時間に対する信号値、信号名を出力データ処理部０
１）へ送り、シミュレーション結果として出力される。

また、制御コマンド処理部α９で処理された表示停止の
条件により、シミュレーション結果処理部０４）へのデ
ータ転送は停止される。

なお、上記実施例ではシミュレーション結果（４）を入
力する場合を示したが、論理シミュレータ（１）内部に
シミュレーション結果を保持して置く場所を設けて、シ
ミュレーション結果処理部０４にデータを与えてもよい
。

〔発明の効果〕

以上のようにこの発明によれば、論理シミュレータ内部
に制御コマンド処理部とシミュレーション結果処理部を
設けたので、シミュレーション結果をシミュレーション
時間の若い方へカウントしなから信号値を表示でき、か
つ、条件を設定するすることで、不具合原因と思われる
箇所で信号値表示を停止することができるようにしたの
で、論理検証における不具合の原因追求が容易になり、
論理検証の効率向上が図れるという効果がある。

【図面の簡単な説明】

第】図はこの発明の一実施例である論理シミュレータの
入出力系統ブロック図、第２図は第１図の論理シミュレ
ータの構成を示すブロック図、第３図は第１図、第２図
のシミュレーション結果の図、第４図は従来の論理シミ
ュレータの入出力系統ブロック図、第５図は第４図の論
理シミュレータの構成を示すブロック図である。 図において、（１）は論理シミュレータ、（２）は回路
接続情報、（３）はテストパターン、（４）は磁気ディ
スク内のシミュレーション結果、（５）は表示装置に表
示されたシミュレーション結果、（６ンはプリンタで出
力されたシミュレーション結果、（７）は入力データ処
理部、（８）は回路接続情報部、（９）は信号値保持部
、αωは演算部、αωは出力データ処理部、Ｏｚはタイ
マ、０３は制御コマンド、０４はシミュレーション結果
処理部、０Ｓは制御コマンド処理部、０（１９は信号名
、出力は信号値、ＱＢはシミュレーション時間を示す。 なお、図中、同一符号は同一、または相当部分を示す。

Claims (1)

【特許請求の範囲】
1. 入力データを処理する入力データ処理部と、回路接続情
   報を保持して置く回路接続情報部と、信号値を保持して
   置く信号保持部と、時間をカウントするタイマと、論理
   演算を行う演算部と、シミュレーション結果を出力する
   出力データ処理部を備えた論理シミュレータにおいて、
   論理シミュレーション結果を取り込むシミュレーション
   結果処理部と、論理シミュレータを制御するコマンドを
   処理する制御コマンド処理部を備えることによって、シ
   ミュレーション時間を逆登って信号に対する信号値を表
   示でき、かつ、信号値表示を制御コマンドとして与えた
   条件により停止等が行える機能を備えたことを特徴とす
   る論理シミュレータ。