JPH07334533A - 対話型論理シミュレーションシステム - Google Patents

Abstract

(57)【要約】 【目的】 対話型論理シミュレーションシステムに関
し、ユーザに対し、論理シミュレーションに関する面倒
な手順や操作を意識することなくシミュレーションの実
行及び解析を容易に且つ効率的に行えるようにすること
を目的とする。 【構成】 フリーフォーマット表示形式の表示態様を管
理するテーブル 16,18、論理シミュレーション結果情報
の時系列表示形式となるストリーム表示形式の表示態様
を管理するテーブル 16,19、及び論理シミュレーション
結果情報をなす信号端子毎の信号値の時系列データを管
理するテーブル17を参照することで、指定した時刻のフ
リーフォーマット表示形式での論理シミュレーション結
果情報と指定した信号端子のストリーム表示形式での論
理シミュレーション結果情報とを、それぞれディスプレ
イ画面上の設定されたウィンドウに同時に表示するよう
に構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路のシミュレー
ションを行う技術に係り、特に、ディスプレイ画面を介
してユーザと対話することで論理シミュレーションを行
い、その結果をディスプレイ画面に表示する構成を採る
対話型論理シミュレーションシステムに関する。

【０００２】近年、計算機システム等に実装する論理回
路はますます高集積度化が進み、これに伴い、その設計
した論理回路の動作確認や誤動作の解析を行うためのシ
ミュレーションに要する時間が膨大なものになってい
る。大規模な回路を階層的に分割して設計する過程にお
いて、階層単位に論理シミュレーションを行い検証して
いくためには、上位階層の規模の大きい回路のシミュレ
ーションの作業と同様に下位階層の規模の小さい回路の
シミュレーションの作業をも容易で分かりやすいことが
要求される。

【０００３】

【従来の技術】従来の対話型論理シミュレーションシス
テムでは、指定した時刻の論理シミュレーション結果情
報をユーザ定義の表示形式に従って表示する「フリーフ
ォーマット表示形式」の方法、又は、指定した信号端子
の論理シミュレーション結果情報をシステム定義の表示
形式に従って時刻の流れに沿った形で表示する「ストリ
ーム表示形式」の方法が採用されている。

【０００４】フリーフォーマット表示形式では、論理シ
ミュレーション結果情報となる信号端子の信号値を一画
面に多数表示できるという利点があるが、その反面、信
号値の時間的な流れを把握できないので、論理回路の誤
りを発見した時にその原因解析に時間を要するといった
問題点がある。一方、ストリーム表示形式では、信号端
子の信号値の時系列データを表示するようになっている
ので、論理回路の誤りを発見した時にその原因解析が容
易になるという利点があるが、その反面、時系列データ
を表示することから一画面に表示可能な信号端子数が少
なくなり、このために別画面表示を頻繁に行うことにな
り、ひいてはシミュレーションの作業に時間を要すると
いった問題点がある。このように、両者の表示形式はそ
れぞれ一長一短がある。

【０００５】また、従来行われている論理シミュレーシ
ョンの方法では、専用の制御言語によって論理シミュレ
ーションの手順（例えば回路動作パターン等）を予め記
述しておき、その記述された制御言語を翻訳した後にシ
ミュレーションを実行し、その実行結果すなわち論理シ
ミュレーション結果情報を解析することによって論理回
路の動作確認を行っている。

【０００６】この場合、論理回路設計の初期段階では設
計誤りも比較的多いため、種々の回路動作パターンを予
め記述しておくという手法よりも、むしろ、論理回路設
計者が、ディスプレイ画面との対話を通して少しずつ回
路の動作状態を見ながら次のシミュレーションの動作を
思考していくといった手法の方が適していると考えられ
る。

【０００７】

【発明が解決しようとする課題】上述したように従来技
術では、制御言語によるシミュレーション手順の記述→
制御言語の翻訳→シミュレーション実行→結果解析及び
動作確認といった手法に基づいて論理シミュレーション
が行われていた。このため、論理回路の設計終了後すぐ
シミュレーションを開始してから動作確認までに多大な
手間と時間を要するといった課題があった。

【０００８】また、結果解析及び動作確認後、さらに次
のシミュレーション手順を記述していくうえで、論理回
路設計者にとっては、必ずしも使い勝手のよい手法では
なかった。本発明は、かかる従来技術における課題に鑑
み創作されたもので、ユーザに対し、論理シミュレーシ
ョンに関する面倒な手順や操作を意識することなくシミ
ュレーションの実行及び解析を容易に且つ効率的に行え
るようにし、また次の段階のシミュレーション手順を考
える場合にはその思考の中断を少なくして良好な操作性
を与えることができる対話型論理シミュレーションシス
テムを提供することを目的とする。

【０００９】

【課題を解決するための手段】上記課題を解決するた
め、本発明に係る対話型論理シミュレーションシステム
は、ディスプレイ画面を介してユーザと対話することで
論理シミュレーションを行い、その結果を該ディスプレ
イ画面に表示する構成を採ることを前提として、前記デ
ィスプレイ画面を介してユーザと対話することで、任意
の表示範囲によって規定されたウィンドウの形態で論理
シミュレーション結果情報の少なくとも１つの表示形式
を設定する設定手段と、該設定手段により設定されるフ
リーフォーマット表示形式の表示態様を管理する第１の
管理テーブルと、論理シミュレーション結果情報の時系
列表示形式となるストリーム表示形式の表示態様を管理
する第２の管理テーブルと、論理シミュレーション結果
情報をなす信号端子毎の信号値の時系列データを管理す
る第３の管理テーブルと、前記第１，第２，第３の管理
テーブルの管理データを用いて論理シミュレーション結
果情報を特定し、該特定した論理シミュレーション結果
情報を前記ディスプレイ画面に表示するよう処理を行う
結果表示制御手段とを具備し、指定した時刻のフリーフ
ォーマット表示形式での論理シミュレーション結果情報
と指定した信号端子のストリーム表示形式での論理シミ
ュレーション結果情報とを、それぞれ前記ディスプレイ
画面上の設定されたウィンドウに同時に表示するように
したことを特徴とする。

【００１０】また、本発明の好適な実施態様において
は、論理シミュレーション対象の回路内の複数のメモリ
セルを特定する論理アドレス空間を定義したデータを管
理するメモリ管理テーブルを更に具備し、このメモリ管
理テーブルを参照して、前記論理アドレス空間によって
規定されるメモリ仮想空間イメージでメモリ内容をディ
スプレイ画面に表示するよう処理を行っている。

【００１１】

【作用】上述した本発明の構成によれば、多数の信号端
子の信号値を表示可能にするフリーフォーマット表示形
式での論理シミュレーション結果情報と、信号端子の信
号値の時間的な流れを把握可能にするストリーム表示形
式での論理シミュレーション結果情報とを同一ディスプ
レイ画面上にマルチウィンドウの形態で同時に表示する
ことを基本構成とし、またメモリ仮想空間イメージでメ
モリ内容をディスプレイ画面上に表示することを基本構
成にして、メニューの選択による入力指示等を不要に
し、フリーフォーマット表示上に直接書き込むことによ
り状態値を設定したり、ストリーム表示上の時刻部分を
直接指示することによりシミュレーションを実行した
り、メモリ内容表示上に直接書き込むことによりメモリ
内容を書き換えたりする構成を採っている。

【００１２】従って、ユーザは、論理シミュレーション
に関する面倒な手順や操作を意識することなく、論理シ
ミュレーションの実行とその解析を容易に且つ効率的に
行うことができる。また、次の段階のシミュレーション
手順を考える場合でも、その思考の中断を少なくして、
効率的なシミュレーションの実行が可能となる。なお、
本発明の他の構成上の特徴及び作用の詳細については、
添付図面を参照しつつ以下に記述される実施例を用いて
説明する。

【００１３】

【実施例】図１には本発明に係る対話型論理シミュレー
ションシステムの一実施例の構成が示される。図中、１
は本発明に係る論理シミュレーションシステム、２は論
理シミュレーションシステム１の備える端末を示し、該
端末は、論理シミュレーション結果情報等を表示するデ
ィスプレイ３と、ユーザ又はオペレータが操作するキー
ボードやマウス等の入力装置４を備えている。

【００１４】本実施例による論理シミュレーションシス
テム１は、入出力（Ｉ／Ｏ）制御手段１０と、論理回路
データ（ＬＤ）情報管理手段１１と、論理シミュレーシ
ョン手段１２と、結果表示制御手段１３と、コマンド解
析手段１４と、ファクションキー制御手段１５と、ウィ
ンドウ管理テーブル１６と、信号値管理テーブル１７
と、フリーフォーマットウィンドウ（ＦＷ）管理テーブ
ル１８と、ストリームウィンドウ（ＳＷ）管理テーブル
１９と、時刻管理テーブル２０と、メモリ管理テーブル
２１と、ファンクション管理テーブル２２と、ログ出力
手段２３と、ウィンドウ設定手段２４と、状態値選択手
段２５と、信号値設定手段２６と、属性変更手段２７
と、メモリ内容表示手段２８と、メモリ内容設定手段２
９と、シミュレーション実行手段３０と、時刻設定手段
３１と、メモリ内容選択手段３２とを有している。以
下、各構成要素について説明する。

【００１５】入出力（Ｉ／Ｏ）制御手段１０は、端末２
との間のインタフェース処理を実行する。また、論理回
路データ（ＬＤ）情報管理手段１１は、論理シミュレー
ションの対象となる論理回路データ情報を管理する。但
し、論理回路データ情報は実際には信号端子番号で記述
されているので、ＬＤ情報管理手段１１は、この信号端
子番号とユーザ定義の信号端子名との対応関係を管理す
ることになる。また、論理シミュレーション手段１２
は、ＬＤ情報管理手段１１の管理する論理回路の論理シ
ミュレーション処理を実行し、その論理シミュレーショ
ン結果情報を信号値管理テーブル１７に登録すると共
に、そのシミュレーション時刻を時刻管理テーブル２０
に登録する。

【００１６】結果表示制御手段１３は、ウィンドウ管理
テーブル１６、信号値管理テーブル１７、フリーフォー
マットウィンドウ管理テーブル１８、ストリームウィン
ドウ管理テーブル１９及び時刻管理テーブル２０の各管
理データを用いて、論理シミュレーション結果情報を端
末２のディスプレイ３に表示するよう制御を行う。コマ
ンド解析手段１４は、ユーザと対話することで、ユーザ
から与えられたコマンドを解析して命令管理テーブルを
作成し、指示された命令へ制御を移す。また、ファクシ
ョンキー制御手段１５は、ユーザと対話することで、端
末２の入力装置４を介してユーザから指示されたファク
ションキーに設定されているコマンドをコマンド解析手
段１４に転送する。

【００１７】ウィンドウ管理テーブル１６は、端末２の
ディスプレイ３に表示すべき１つ又は複数のウィンドウ
の表示態様を管理する。また、信号値管理テーブル１７
は、論理シミュレーション結果情報をなす信号端子毎の
信号値の時系列データを管理する。また、フリーフォー
マットウィンドウ（ＦＷ）管理テーブル１８は、ユーザ
定義のフリーフォーマット表示形式の表示態様を管理す
る。また、ストリームウィンドウ（ＳＷ）管理テーブル
１９は、論理シミュレーション結果情報の時系列表示形
式となるシステム定義のストリーム表示形式の表示態様
を管理する。また、時刻管理テーブル２０は、表示する
論理シミュレーション時刻を管理すると共に、現表示時
刻を管理する。また、メモリ管理テーブル２１は、後述
するように論理アドレス空間の定義データを管理する。
また、ファンクション管理テーブル２２は、端末２の入
力装置４に備えられているファクションキーに設定され
ているコマンドデータを管理する。

【００１８】ログ出力手段２３は、コマンド解析手段１
４の解析結果に基づいて、エラーの無かったものを「ロ
グ」として出力する。ウィンドウ設定手段２４は、ユー
ザとの対話を通してコマンド解析手段１４の解析結果に
基づき、端末２のディスプレイ３に表示すべき１つ又は
複数のウィンドウ（フリーフォーマットウィンドウとス
トリームウィンドウ）を設定するための処理を行う。具
体的には、例えば、ユーザが２種類のフリーフォーマッ
トウィンドウを表示することを希望した場合には、スト
リームウィンドウを表示することに加えて、デフォルト
として用意される２つのフリーフォーマットウィンドウ
用のウィンドウ枠を設定し、ユーザとの対話を通して、
この２つのウィンドウ枠のそれぞれにユーザの希望する
フリーフォーマット表示形式を割り付ける。係る処理
は、２種類以上のフリーフォーマットウィンドウを表示
する時にも同様である。さらに、このウィンドウ設定手
段２４は、ユーザとの対話を通して、フリーフォーマッ
トウィンドウ用のウィンドウ枠の大きさや配置を変える
機能をも有している。

【００１９】状態値選択手段２５は、ユーザと対話する
ことで、端末２のディスプレイ３に表示されているフリ
ーフォーマット表示形式中の状態値を選択する。また、
信号値設定手段２６は、コマンド解析手段１４の解析結
果に基づいて、当該コマンドが信号値設定命令であると
判断される時、その解析結果より得られた信号端子に値
を設定する。また、属性変更手段２７は、コマンド解析
手段１４の解析結果に基づいて、当該コマンドが属性変
更命令であると判断される時、その解析結果より得られ
た信号端子の属性を変更することで、該当する素子又は
回路の評価を行わないようにする。

【００２０】メモリ内容表示手段２８は、コマンド解析
手段１４の解析結果に基づいて、当該コマンドがメモリ
内容表示命令であると判断される時、メモリ管理テーブ
ル２１を参照して該当するメモリ内容を端末２のディス
プレイ３に表示するよう制御を行う。また、メモリ内容
設定手段２９は、コマンド解析手段１４の解析結果に基
づいて、当該コマンドがメモリ内容設定命令であると判
断される時、シミュレーション対象回路内のメモリ内容
を書き換える。

【００２１】シミュレーション実行手段３０は、コマン
ド解析手段１４の解析結果に基づいて、当該コマンドが
シミュレーションを実行する命令であると判断される
時、論理シミュレーション手段１２に制御を移し、指定
された時刻における論理シミュレーションを実行する。
また、時刻設定手段３１は、ユーザと対話することで、
端末２のディスプレイ３に表示されるストリーム表示形
式中の任意のシミュレーション時刻を設定し、シミュレ
ーション実行手段３０を介して論理シミュレーション手
段１２に制御を移し、その設定されたシミュレーション
時刻まで論理シミュレーションを実行する。なお、設定
されたシミュレーション時刻が現在時刻よりも前の時刻
である場合には、その設定された過去の時刻でのシミュ
レーション結果をフリーフォーマット表示形式で表示す
るように処理がなされる。

【００２２】メモリ内容選択手段３２は、ユーザと対話
することで、端末２のディスプレイ３に表示されている
メモリ内容のうちユーザの指定したメモリ内容を選択
し、その選択したメモリ内容をメモリ内容設定手段２９
に転送する。そして、その選択されたメモリ内容の値が
元の表示値と異なる値である場合に、メモリ内容設定手
段２９は、その選択されたメモリ内容を書き換えるよう
処理を行う。

【００２３】以下、論理シミュレーション結果情報の表
示処理に用いられる各種管理テーブルについて、図２〜
図５を参照しながら詳細に説明する。図２はウィンドウ
管理テーブル及びそれに関連した各テーブルを説明する
ための図である。図中、（ａ）に示すウィンドウ管理テ
ーブル１６は、端末２のディスプレイ３に表示されるウ
ィンドウの持つ属性情報を管理するものであり、具体的
には、ウィンドウ設定手段２４によって設定されたウィ
ンドウがフリーフォーマットウィンドウなのか又はスト
リームウィンドウなのかを管理するウィンドウ種別エン
トリーと、設定されたウィンドウの表示位置を管理する
表示位置エントリーと、設定されたウィンドウの表示態
様データの展開位置を管理する管理テーブル位置エント
リーと、以前に特定されたフリーフォーマットウィンド
ウの表示内容データの展開位置を管理する表示内容エン
トリーとを備えている。

【００２４】また、（ｂ）に示すフリーフォーマットウ
ィンドウ（ＦＷ）管理テーブル１８は、前述したように
ユーザ定義のフリーフォーマット表示形式の表示態様デ
ータを管理するものであり、具体的には、どの表示位置
にどの信号端子の信号値を表示させるかといった表示態
様データを管理する。上述したウィンドウ管理テーブル
１６は、ウィンドウ種別エントリーでフリーフォーマッ
トウィンドウ種別を管理する時には、設定されたフリー
フォーマット表示態様データを管理するこのフリーフォ
ーマットウィンドウ管理テーブル１８の展開位置を管理
する。

【００２５】また、（ｃ）に示すストリームウィンドウ
（ＳＷ）管理テーブル１９は、前述したようにシステム
定義のストリーム表示形式の表示態様データを管理する
ものであり、具体的には、１行目にはどの信号端子の信
号値を表示させ、２行目にはどの信号端子の信号値を表
示させるかといった表示態様データを管理する。上述し
たウィンドウ管理テーブル１６は、ウィンドウ種別エン
トリーでストリームウィンドウ種別を管理する時には、
設定されたストリーム表示態様データを管理するこのス
トリームウィンドウ管理テーブル１９の展開位置を管理
する。

【００２６】また、（ｄ）に示す信号値管理テーブル１
７は、前述したように論理シミュレーション結果情報を
管理するものであり、具体的には、信号端子毎の信号値
の時系列データを信号端子毎に管理する。また、（ｅ）
に示す時刻管理テーブル２０は、対象となる論理シミュ
レーションの表示時刻と、現表示時刻を示す論理シミュ
レーション表示時刻とを管理する。更に、（ｆ）は表示
内容テーブルを示し、以前に特定されたフリーフォーマ
ットウィンドウの表示内容データの再利用のために管理
する。上述したウィンドウ管理テーブル１６は、表示内
容エントリーでこの表示内容テーブルの展開位置を管理
する。

【００２７】上述したように、ウィンドウ管理テーブル
１６は、端末２のディスプレイ３に表示すべき１つ又は
複数のウィンドウの表示態様を管理しているが、設定さ
れた各ウィンドウ内の表示は、フリーフォーマット表示
形式の場合にはフリーフォーマットウィンドウ（ＦＷ）
管理テーブル１８及び信号値管理テーブル１７を参照す
ることにより、またストリーム表示形式の場合にはスト
リームウィンドウ（ＳＷ）管理テーブル１９及び信号値
管理テーブル１７を参照することにより、それぞれ行わ
れる。また、シミュレーション時刻が経過するか、又は
現時刻よりも以前の時刻を指定された場合には、時刻管
理テーブル２０によって管理することにより、全てのウ
ィンドウの表示シミュレーション時刻を同期させる。

【００２８】フリーフォーマット表示形式のウィンドウ
内に表示されている任意の状態値を指示された場合、フ
リーフォーマットウィンドウ（ＦＷ）管理テーブル１８
を参照することで、指示された状態値に対応する信号端
子を知ることができる。従って、ウィンドウ上の状態値
が書き換えられた場合、その状態値を、指示された信号
端子の回路情報（つまり論理回路データ情報管理手段１
１によって管理されている回路情報）に設定すること
で、フリーフォーマット表示形式ウィンドウ上を書き換
えて、信号値を設定することができる。

【００２９】図３はメモリ管理テーブルを説明するため
の図である。図中、（ａ）は論理シミュレーションの対
象となる論理回路内の複数のメモリセル（ＲＡＭ）を特
定するアドレス空間を規定したメモリ仮想空間イメージ
を示し、（ｂ）はそのメモリ仮想空間イメージを管理す
るメモリ管理テーブル２１の構成を示す。

【００３０】このメモリ仮想空間イメージは、例えば、
以下に記述するメモリ定義例によって定義される。メモリ定義例 MEMORY MEMORY01 ( ('/RAM SIG11', '/RAM SIG1
2', …………,'/RAM SIG18' ), ('/RAM SIG21', '/R
AM SIG22', …………,'/RAM SIG28' ), …………
…, ('/RAM SIG81', '/RAM SIG82',…………, '/RAM
SIG88' ) ) SIZE (512K, 8) ; このメモリ定義例において、'/RAM SIG11', '/RAM
SIG12', ……等は、各メモリセル（ＲＡＭ）のモデルに
対する信号名を表しており、図示の例では、６４Ｋアド
レスのＲＡＭを８×８個用いて８ビット幅の５１２Ｋア
ドレス空間を定義している。

【００３１】図４はメモリのインタリーブを説明するた
めの図である。インタリーブ等でアドレスが不連続な場
合、例えば、以下に記述するインタリーブ指定定義例の
ようにウェイ数を定義する。インタリーブ指定定義例 MEMORY MEMORY01 ( ('/RAM SIG11', '/RAM SIG1
2', …………,'/RAM SIG18' ), ('/RAM SIG21', '/R
AM SIG22', …………,'/RAM SIG28' ), …………
…, ('/RAM SIG81', '/RAM SIG82',…………, '/RAM
SIG88' ) ) SIZE (512K, 8) INTERLEAVE (8); この例のようにウェイ数を８とした場合、図４に示すよ
うに１９ビット（０〜１８）のうち下位３ビット（０〜
２）を上位に移動してアドレスを計算する。なお、図４
において、ｍ＝１９は、ｌｏｇ（アドレス数）＝ｌｏｇ
（５１２Ｋ）の計算によって求められ、ｎ＝３は、ｌｏ
ｇ（ウェイ数）＝ｌｏｇ（８）の計算によって求められ
る。

【００３２】このようにして定義されたウェイ数、アド
レス数、信号名等は、図３（ｃ）に示すメモリ宣言管理
テーブルによって管理される。そして、メモリ宣言管理
テーブル内の補助テーブル位置エントリーによって展開
される補助テーブルを介して記憶域をアクセスすること
により、上述したメモリ仮想空間を作り出すことがで
き、これによってメモリ内容表示が可能となる。

【００３３】また、アドレスが或る変換規則に従って不
連続な場合でも、メモリ宣言管理テーブルのウェイ数か
ら、上述したようなインタリーブのアドレス計算を行う
ことでメモリ仮想空間を作り出すことができる。さら
に、メモリへの書き込みの場合は、メモリ内容の表示と
同じようにして記憶域をアクセスすることにより、メモ
リ内容の書き換えを行うことができる。

【００３４】図５はファンクション管理テーブル２２を
説明するための図である。ユーザとの対話を通して端末
２の入力装置４よりファンクションキーが操作された場
合、図示のファンクション管理テーブルを参照すること
で、実行すべきコマンド列が得られる。図５において、
のコマンド文字列のようにコマンド（図示の例ではシ
ミュレーションを実行する命令；ＳＩＭＬ）で始まって
いる場合には、当該コマンドはコマンド解析手段１４に
引き渡され、それによってその命令の即時実行が処理さ
れる。また、のコマンド文字列のように先頭に“Ｄ”
がある場合には、そのコマンド文字列はコマンド入力域
（後述する図７のの領域）に表示される。

【００３５】前述したように、本発明に係る対話型論理
シミュレーションシステムでは、フリーフォーマット表
示形式で表される論理シミュレーション結果情報と、ス
トリーム表示形式で表される論理シミュレーション結果
情報とを同一ディスプレイ画面上にマルチウィンドウを
用いて同時に表示することを基本構成にしている。この
うちストリーム表示形式の表示態様については、システ
ム側で予め用意するものであるが、フリーフォーマット
表示形式の表示態様については、ユーザが自由に定義す
ることになる。

【００３６】このフリーフォーマット表示形式の表示態
様の設定処理は、主として、ウィンドウ管理テーブル１
６（フリーフォーマットウィンドウ管理テーブル１８）
及びウィンドウ設定手段２４によって制御される。つま
り、ユーザに対し画面イメージでもって、どの表示位置
にどの信号端子の信号値を表示させるかといった表示態
様を指定させて、これを論理シミュレーションシステム
１の内部データ形式に変換していくことで、１つ又は複
数のフリーフォーマット表示形式（例えば、後述する図
６〜図１０に示すウィンドウａ，ｂ）を設定していくこ
とになる。

【００３７】ここで、ストリーム表示形式とフリーフォ
ーマット表示形式のいずれもが、複数の信号端子を１つ
のグループとして定義することを許しており、例えば、 GROUP # GRP1 ('DATA0', 'DATA1', 'DATA2', 'DATA
3'); というように４つの信号端子DATAi (i＝0,1,2,3)を「#
GRP1」というグループ名で定義して、このグループ名を
用いて、この４つの信号端子DATAi の信号値を２進数や
１６進数で表示させるように指定させることも可能であ
る。この指定に従って、例えば“００１１”という２進
数でもって、この４つの信号端子DATAi の持つ信号値の
表示が実現されることになり、また、例えば“３”とい
う１６進数でもって、この４つの信号端子DATAi の持つ
信号値の表示が実現されることになる。

【００３８】次に、本実施例に係るシステムによる論理
シミュレーション結果情報の表示処理例について、図６
〜図１０を参照しながら説明する。図６は、ディスプレ
イ３の画面上に２つのフリーフォーマット表示形式のウ
ィンドウａ，ｂと１つのストリーム表示形式のウィンド
ウｃとが表示されている表示例を示す。

【００３９】図中、はユーザが自由に設定できる文
字、はユーザが設定した信号端子の状態値を示す。こ
の状態値は、前述したように、１信号端子に対して１文
字、或いは４信号端子をまとめて１文字（つまり１６進
表示）で指示することが可能である。また、はシミュ
レーション時刻、は信号端子名、はの信号端子に
対する状態値をシミュレーション時刻に沿って表示した
ものである。また、は現シミュレーション時刻を示
す。

【００４０】図７は、上記３つのウィンドウａ，ｂ，ｃ
とコマンド入力域を表示した表示例を示す。図中、で
指示される部分が、ユーザの入力操作に基づいて入力さ
れたコマンド（文字列）を表示するためのコマンド入力
域を示す。図示の例では、コマンド入力域にＳＥＴＳ
（信号端子に値を設定する命令）が表示され、 'ＳＩＧ
１'という信号端子に '１' を設定する旨の指示が表示
されている。

【００４１】図８は、図７の表示例におけるウィンドウ
ａ内のの部分をポインティングデバイス等で指示する
ことでその状態値を直接書き換えた表示例を示す。これ
は、上述したＳＥＴＳ（信号端子に値を設定する命令）
と同じ機能であるが、図７のようにコマンド入力域に
長い文字列を入力することなく、容易に信号値を設定で
きる例を示している。

【００４２】図９は、コマンド入力域にＳＩＭＬ（シ
ミュレーションを実行する命令）が表示されている表示
例を示す。図示の例では、シミュレーション時刻をｔ１
まで進める旨の指示が表示されている。図１０は、図９
の表示例におけるウィンドウｃ内のの部分をポインテ
ィングデバイス等で指示することでシミュレーション時
刻をｔ１まで進めた表示例を示す。これは、上述したＳ
ＩＭＬ（シミュレーションを実行する命令）と同じ機能
であるが、図９のようにコマンド入力域に文字列を入
力することなく、容易にシミュレーションの実行ができ
る例を示している。

【００４３】図１１は、図３及び図４に関連して説明し
たメモリ仮想空間イメージの内容表示の一例を示す。図
示の例では、ワード長が１６Ｋで、ビット長が７２ビッ
トの仮想空間イメージの内容が表示されている。図中、
＊１，＊２，……，＊１６はそれぞれメッセージ表示欄
又はデータ入力欄を表している。すなわち、＊１はメモ
リ名表示欄、＊２はワード長表示欄、＊３はビット長表
示欄、＊４はインタリーブのウェイ数表示欄、＊５はベ
ースアドレス表示・入力欄、＊６は表示先頭アドレス変
位表示・入力欄、＊７はアドレス表現のモード（ＨＥＸ
／ＤＥＣ）表示・入力欄、＊８は縦スクロール量表示・
入力欄、＊９は横スクロール量表示・入力欄、＊１０は
先頭表示コラム位置表示・入力欄、＊１１はテンプレー
ト名入力欄、＊１２はコメント表示・入力欄、＊１３は
フォーマット表示・入力欄、＊１４はアドレス表示欄、
＊１５はデータ表示・入力欄、＊１６はコマンド入力欄
を示す。

【００４４】図１２は、メモリの内容書き換えの一例を
示す。図示の例では、ディスプレイ画面のコマンド入力
域にＳＥＴＭ（メモリの内容を書き換える命令）が表
示され、これによって、ＭＥＭＯＲＹ０１と定義された
メモリ空間の０ワード目に‘０’を書き込んでいる。図
１３は、メモリの内容書き換えの他の例を示す。

【００４５】図示の例は、図１１の表示例におけるアド
レス表示欄＊１４のアドレス“０”に対応するデータを
直接指定して書き換えた場合の表示例を示している。こ
の例では、１箇所のみを指定して書き換えを行うように
しているが、もちろん、複数箇所を指定して同時に書き
込むことも可能である。これは、前述のＳＥＴＭ（メモ
リの内容を書き換える命令）と同じ機能であるが、図１
２のようにコマンド入力域に文字列を入力することな
く、容易にメモリ内容を書き換えることができる例を示
している。

【００４６】図１４には結果表示制御手段１３のプログ
ラム構成の一例が示される。同図に示すように、結果表
示制御手段１３は、ウィンドウマネージャ８０と、該ウ
ィンドウマネージャによって制御されるイベント処理プ
ロセス８１と、それぞれイベント処理プロセス８１によ
って起動されるストリームウィンドウ表示プロセス８
２、フリーフォーマットウィンドウ表示プロセス８３、
時刻変更プロセス８４、コマンド処理プロセス８５、状
態値変更プロセス８６、メモリ表示プロセス８７、メモ
リ書き込みプロセス８８及びファンクションキー処理プ
ロセス８９とを備える。

【００４７】図１５〜図２５には結果表示制御手段１３
が備える各プロセスを規定したフローチャートが示され
る。以下、これらのフローチャートを参照しながら、本
実施例に係る論理シミュレーション処理について詳細に
説明する。 ＜イベント処理プロセス８１……図１５参照＞端末２か
らイベントが入力されると、先ずステップ１０１では、
この入力イベントの受付処理を実行する。次のステップ
１０２では、入力イベントがストリームウィンドウ（Ｓ
Ｗ）表示プロセス８２の起動を指示するイベントである
（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示する
場合にはストリームウィンドウ表示プロセス８２を起動
し、判定結果がＮを指示する場合にはステップ１０３に
進む。ステップ１０３では、入力イベントがフリーフォ
ーマットウィンドウ（ＦＷ）表示プロセス８３の起動を
指示するイベントである（Ｙ）か否（Ｎ）かを判定し、
判定結果がＹを指示する場合にはフリーフォーマットウ
ィンドウ表示プロセス８３を起動し、判定結果がＮを指
示する場合にはステップ１０４に進む。

【００４８】ステップ１０４では、入力イベントが時刻
変更プロセス８４の起動を指示するイベントである
（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示する
場合には時刻変更プロセス８４を起動し、判定結果がＮ
を指示する場合にはステップ１０５に進む。ステップ１
０５では、入力イベントがコマンド処理プロセス８５の
起動を指示するイベントである（Ｙ）か否（Ｎ）かを判
定し、判定結果がＹを指示する場合にはコマンド処理プ
ロセス８５を起動し、判定結果がＮを指示する場合には
ステップ１０６に進む。ステップ１０６では、入力イベ
ントが状態値変更プロセス８６の起動を指示するイベン
トである（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを
指示する場合には状態値変更プロセス８６を起動し、判
定結果がＮを指示する場合にはステップ１０７に進む。

【００４９】ステップ１０７では、入力イベントがメモ
リ表示プロセス８７の起動を指示するイベントである
（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示する
場合にはメモリ表示プロセス８７を起動し、判定結果が
Ｎを指示する場合にはステップ１０８に進む。ステップ
１０８では、入力イベントがメモリ書き込みプロセス８
８の起動を指示するイベントである（Ｙ）か否（Ｎ）か
を判定し、判定結果がＹを指示する場合にはメモリ書き
込みプロセス８８を起動し、判定結果がＮを指示する場
合にはステップ１０９に進む。

【００５０】ステップ１０９では、入力イベントがファ
ンクションキー処理プロセス８９の起動を指示するイベ
ントである（Ｙ）か否（Ｎ）かを判定し、判定結果がＹ
を指示する場合にはファンクションキー処理プロセス８
９を起動し、判定結果がＮを指示する場合にはステップ
１１０に進む。ステップ１１０では、入力イベントが処
理終了を指示する終了イベントである（Ｙ）か否（Ｎ）
かを判定し、判定結果がＹを指示する場合にはこのフロ
ーは「終了」となり、判定結果がＮを指示する場合には
ステップ１０１に戻って上記処理を繰り返す。

【００５１】このようにして、イベント処理プロセス８
１は、図１５の処理フローを実行することで、入力イベ
ントの指示するプロセスを起動していくよう処理する。 ＜ストリームウィンドウ表示プロセス８２……図１６参
照＞イベント処理プロセス８１から起動されると、先ず
ステップ２０１では、時刻管理テーブル２０から現表示
時刻を示す論理シミュレーション表示時刻を読み出す。
次のステップ２０２では、この読み出した論理シミュレ
ーション表示時刻を標準時刻として、ストリームウィン
ドウ表示データを作成する。すなわち、ストリームウィ
ンドウ管理テーブル１９の指定するストリームウィンド
ウの表示形式に、読み出した論理シミュレーション表示
時刻近傍の信号値管理テーブル１７の信号値時系列デー
タを当てはめていくことで、ストリームウィンドウ表示
データを作成する。

【００５２】次のステップ２０３では、作成したストリ
ームウィンドウ表示データをウィンドウ設定手段２４が
設定したストリームウィンドウ（例えば図６〜図１０に
示されるストリーム表示形式のウィンドウｃ）に表示し
ていく。この時、ストリームウィンドウ表示プロセス８
２は、現シミュレーション表示時刻部分（図６のの部
分）と当該シミュレーション表示時刻に対応付けられる
信号値部分（図６のの部分）については色を変えて表
示していくことで、その旨を表示していくことになる。

【００５３】＜フリーフォーマットウィンドウ表示プロ
セス８３……図１７参照＞イベント処理プロセス８１か
ら起動されると、先ずステップ３０１では、時刻管理テ
ーブル２０から現表示時刻を示す論理シミュレーション
表示時刻を読み出す。次のステップ３０２では、この読
み出した論理シミュレーション表示時刻を標準時刻とし
て、フリーフォーマットウィンドウ表示データを作成す
る。すなわち、フリーフォーマットウィンドウ管理テー
ブル１８の指定するフリーフォーマットウィンドウの表
示形式に、読み出した論理シミュレーション表示時刻の
信号値テーブル１７の信号値データを当てはめていくこ
とで、フリーフォーマットウィンドウ表示データを作成
する。

【００５４】次のステップ３０３では、作成したフリー
フォーマットウィンドウ表示データをウィンドウ設定手
段２４が設定したフリーフォーマットウィンドウ（例え
ば図６〜図１０に示されるフリーフォーマット表示形式
のウィンドウａ，ｂ）に表示していく。以上の如く、ス
トリームウィンドウ表示プロセス８２及びフリーフォー
マットウィンドウ表示プロセス８３の処理に従って、ス
トリーム表示形式に従う論理シミュレーション結果情報
とフリーフォーマット表示形式に従う論理シミュレーシ
ョン結果情報とが、端末２のディスプレイ３に同時に表
示されることになる。

【００５５】＜時刻変更プロセス８４……図１８参照＞
イベント処理プロセス８１から起動されると、先ずステ
ップ４０１では、新たな論理シミュレーション表示時刻
となる、指定された変更後の時刻を取得する。次のステ
ップ４０２では、指定された時刻が現在の時刻より前で
ある（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示
する場合にはステップ４０３に進み、判定結果がＮを指
示する場合にはステップ４０４に進む。ステップ４０４
では、指定された時刻まで論理シミュレーションを進め
る処理を行い、この後、ステップ４０３に進む。

【００５６】ステップ４０３では、時刻管理テーブル２
０の論理シミュレーション表示時刻を更新すると共に、
処理すべきウィンドウ（すなわち表示中のウィンドウ）
がストリーム表示形式である（Ｙ）か否（Ｎ）かを判定
し、判定結果がＹを指示する場合にはステップ４０５に
進み、判定結果がＮを指示する場合（つまり処理すべき
ウィンドウがフリーフォーマット表示形式である場合）
にはステップ４０６に進む。ステップ４０６では、指定
された新たな論理シミュレーション表示時刻の信号値を
信号値管理テーブル１７から取得し、次のステップ４０
７では、その取得した信号値を現在表示中の信号値と比
較して違うところだけを色を変えて当該フリーフォーマ
ットウィンドウに表示する。この後、このフローは「終
了」となる。

【００５７】一方、ステップ４０５では、指定された時
刻が現在時刻より前である（Ｙ）か否（Ｎ）かを判定
し、判定結果がＹを指示する場合にはステップ４０８に
進み、判定結果がＮを指示する場合にはステップ４０９
に進む。ステップ４０９では、更新前の論理シミュレー
ション表示時刻から指定された新たな論理シミュレーシ
ョン表示時刻までの信号値を信号値管理テーブル１７か
ら読み出して表示し、この後、ステップ４０８に進む。
ステップ４０８では、指定された新たな論理シミュレー
ション表示時刻の表示部分の色を変えて表示する。この
後、このフローは「終了」となる。

【００５８】このようにして、時刻変更プロセス８４の
処理に従って、論理シミュレーション表示時刻がユーザ
の指定するものに更新され、また、ストリームウィンド
ウ中の現シミュレーション表示時刻の表示部分が色を変
えて表示されると共に、フリーフォーマットウィンドウ
中の信号値表示の内の論理シミュレーション表示時刻の
更新により変化する信号値部分が色を変えて表示される
ようになる。

【００５９】＜コマンド処理プロセス８５……図１９，
図２０参照＞イベント処理プロセス８１から起動される
と、先ずステップ５０１では、コマンドがファイルから
入力されたもの（Ｙ）か否（Ｎ）か、つまりユーザとの
対話を通して入力されたものでないか否かを判定し、判
定結果がＹを指示する場合にはステップ５０２に進み、
判定結果がＮを指示する場合にはステップ５０４に進
む。ステップ５０２ではファイルからのコマンド入力が
終了していない（Ｙ）か否（Ｎ）かを判定し、判定結果
がＹを指示する場合にはステップ５０３に進み、判定結
果がＮを指示する場合にはこのフローは「終了」とな
る。ステップ５０３では、１コマンド文字列をファイル
から入力する。

【００６０】次のステップ５０４では、入力されてくる
コマンド文字列の解析を実行する。ステップ５０５で
は、この解析結果に基づいて文法上の間違いがある
（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示する
場合にはステップ５０６に進み、判定結果がＮを指示す
る場合にはステップ５０７に進む。ステップ５０６で
は、エラーメッセージを出力し、この後、このフローは
「終了」となる。

【００６１】一方、ステップ５０７では、入力されたコ
マンドがＳＥＴＳ（信号端子に値を設定する命令）であ
る（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示す
る場合にはステップ５０８に進み、判定結果がＮを指示
する場合にはステップ５０９に進む。ステップ５０８で
は、指定された信号端子に値を設定し、この後、ステッ
プ５１５に進む。

【００６２】一方、ステップ５０９では、入力されたコ
マンドがＳＥＴＭ（メモリの内容を書き換える命令）で
ある（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示
する場合にはステップ５１０に進み、判定結果がＮを指
示する場合にはステップ５１１に進む。ステップ５１０
では、指定されたメモリ仮想空間に値を設定し、この
後、ステップ５１５に進む。

【００６３】一方、ステップ５１１では、入力されたコ
マンドがＣＨＧＶ（信号端子の属性を変更する命令）で
ある（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示
する場合にはステップ５１２に進み、判定結果がＮを指
示する場合にはステップ５１３に進む。ステップ５１２
では、指定された信号端子の属性を変更し、この後、ス
テップ５１５に進む。

【００６４】一方、ステップ５１３では、入力されたコ
マンドがＳＩＭＬ（シミュレーションを実行する命令）
である（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指
示する場合にはステップ５１４に進み、判定結果がＮを
指示する場合にはステップ５１５に進む。ステップ５１
４では、指定された時刻まで論理シミュレーションを実
行し、この後、ステップ５１５に進む。

【００６５】ステップ５１５では、ファイルからコマン
ドが入力中である（Ｙ）か否（Ｎ）かを判定し、判定結
果がＹを指示する場合にはステップ５０２に戻って上記
処理を繰り返し、判定結果がＮを指示する場合にはこの
フローは「終了」となる。このようにして、コマンド処
理プロセス８５の処理に従って、コマンドの指定条件を
充足する時刻を論理シミュレーション表示時刻として、
フリーフォーマット表示形式でのウィンドウ内の表示デ
ータ、ストリーム表示形式でのウィンドウ内の表示デー
タ、及び、メモリ仮想空間イメージの内容表示データが
更新されていく。

【００６６】＜状態値変更プロセス８６……図２１＞イ
ベント処理プロセス８１から起動されると、先ずステッ
プ６０１では、フリーフォーマット表示形式のウィンド
ウ内の指定された状態値の表示位置と書き換えられた値
をウィンドウ管理テーブル１６及びフリーフォーマット
ウィンドウ管理テーブル１８と信号値管理テーブル１７
から取得する。次のステップ６０２では、指定された表
示位置は上記状態値の設定が可能である（Ｙ）か否
（Ｎ）かを判定し、判定結果がＹを指示する場合にはス
テップ６０３に進み、判定結果がＮを指示する場合には
ステップ６０５に進む。

【００６７】ステップ６０３では、指定された表示位置
に対応する信号端子をフリーフォーマットウィンドウ管
理テーブル１８から取得し、次のステップ６０４では、
その取得した信号端子に上記状態値を設定する。これに
よって、フリーフォーマットウィンドウ内の指定された
表示位置における状態値が変更されて表示される。この
後、このフローは「終了」となる。

【００６８】一方、ステップ６０５では、エラーメッセ
ージを出力し、この後、このフローは「終了」となる。
このようにして、状態値変更プロセス８６の処理に従っ
て、フリーフォーマットウィンドウ上の表示位置の指定
と書き換えるべき状態値の指定から、その表示位置に対
応する信号端子が特定され、その信号端子の状態値が変
更表示されるようになる。

【００６９】＜メモリ表示プロセス８７……図２２＞イ
ベント処理プロセス８１から起動されると、先ずステッ
プ７０１では、図３及び図４に関連して説明したように
メモリ管理テーブル２１を参照して仮想空間イメージを
生成する。次のステップ７０２では、生成した仮想空間
イメージを端末２のディスプレイ３に表示する（例えば
図１１，図１３参照）。この後、このフローは「終了」
となる。

【００７０】＜メモリ書き込みプロセス８８……図２
３，図２４＞ 第１の例……図２３参照 イベント処理プロセス８１から起動されると、先ずステ
ップ８０１では、ユーザとの対話を通してディスプレイ
画面上に直接指定された位置と状態値を取得する。次の
ステップ８０２では、その取得した位置に基づいて、メ
モリ管理テーブル２１の記憶領域内のアクセスする領域
（つまり、その取得した位置を指示するアドレスによっ
て指定される記憶領域）を求める。次のステップ８０３
では、その求められた領域に上記指定された状態値を設
定する。これによって、ディスプレイ画面上に直接指定
された位置に対応するメモリ内容が書き換えられる。こ
の後、このフローは「終了」となる。

【００７１】 第２の例……図２４参照 イベント処理プロセス８１から起動されると、先ずステ
ップ８５１では、入力されたコマンドがメモリ内容を書
き換える命令（ＳＥＴＭ）であると判断された時に、メ
モリ管理テーブル２１よりアクセスする領域を求める。
次のステップ８５２では、その求められた領域に、上記
ＳＥＴＭによって指示される状態値を設定する。これに
よって、上記ＳＥＴＭに基づいてディスプレイ画面上に
指定された位置に対応するメモリ内容が書き換えられ
る。この後、このフローは「終了」となる。

【００７２】＜ファンクションキー処理プロセス８９…
…図２５＞イベント処理プロセス８１から起動される
と、先ずステップ９０１では、ユーザが操作したファン
クションキーの番号を指示する情報をファンクション管
理テーブル２２から取得する。次のステップ９０２で
は、その取得した番号情報に基づいて、その操作された
ファンクションキーに特定のコマンドが設定されている
（Ｙ）か否（Ｎ）かを判定し、判定結果がＹを指示する
場合にはステップ９０３に進み、判定結果がＮを指示す
る場合にはこのフローは「終了」となる。

【００７３】ステップ９０３では、そのコマンドは即時
実行されるべき命令である（Ｙ）か否（Ｎ）かを判定
し、判定結果がＹを指示する場合にはステップ９０４に
進み、判定結果がＮを指示する場合にはステップ９０５
に進む。ステップ９０５では、指定されたコマンド文字
列をコマンド入力域（図１９に示す表示画面上のの部
分）に表示し、この後、このフローは「終了」となる。

【００７４】一方、ステップ９０４では、指定されたコ
マンド文字列を前述のコマンド処理プロセス（図１９，
図２０参照）に引き渡すことで即時実行を行う。この
後、このフローは「終了」となる。以上説明したよう
に、本実施例に係る対話型論理シミュレーションシステ
ムにおいては、結果表示制御手段１３は、ウィンドウ管
理テーブル１６（フリーフォーマットウィンドウ管理テ
ーブル１８）及び信号値管理テーブル１７の管理データ
を参照して、フリーフォーマット表示形式の持つ信号端
子の現表示時刻の信号値を設定することで、現表示時刻
におけるフリーフォーマット表示形式での論理シミュレ
ーション結果情報を特定すると共に、ウィンドウ管理テ
ーブル１６（ストリームウィンドウ管理テーブル１９）
及び信号値管理テーブル１７の管理データを参照して、
ストリーム表示形式の持つ信号端子の現表示時刻を含む
信号値の時系列データを特定することで、現表示時刻を
含むストリーム表示形式での論理シミュレーション結果
情報を特定する。そして、特定したフリーフォーマット
表示形式での論理シミュレーション結果情報とストリー
ム表示形式での論理シミュレーション結果情報とを、そ
れぞれディスプレイ画面上の設定されたウィンドウ内に
同時に表示する。

【００７５】そして、コマンド解析手段１４は、ディス
プレイ３を介してユーザと対話することで、入出力制御
手段１０を介して入力されるコマンドを解析し、その結
果、当該コマンドが信号端子への信号値設定の命令であ
る場合には、信号値設定手段２６に制御を渡す。信号値
設定手段２６は、論理回路データ情報管理手段１１に変
更を通知することによって信号値の状態を変更する。な
お、信号値の設定に際しては、２進表示或いは１６進表
示によって、複数の信号端子にまとめて設定してもよ
い。

【００７６】状態値選択手段２５は、ディスプレイ画面
を介してユーザと対話することで、フリーフォーマット
表示形式中の状態値を選択する。そして、この選択され
た状態値が元の表示値と異なる値であると判定した場合
には、ウィンドウ管理テーブル１６を参照して、選択さ
れた状態値に対応する信号端子を、入力された値と共
に、信号値設定手段２６に引き渡す。これを受けて信号
値設定手段２６は、フリーフォーマット表示形式中の指
示された状態値を直接変更する。

【００７７】また、時刻設定手段３１は、ディスプレイ
画面を介してユーザと対話することで、ストリーム表示
形式中のシミュレーション時刻を選択する。そして、そ
の選択したシミュレーション時刻が現時刻よりも先であ
ると判定した場合には、シミュレーション実行手段３０
に制御を移すことで、その選択したシミュレーション時
刻までシミュレーションを進める。

【００７８】一方、メモリ内容選択手段３２は、ディス
プレイ画面を介してユーザと対話することで、ディスプ
レイ画面に表示されているメモリ内容のうちユーザが指
示したメモリ内容を選択する。そして、その指示された
メモリ内容の値が元の表示値と異なる値であると判定し
た場合には、メモリ管理テーブル２１を参照し、メモリ
内容設定手段２９に制御を移すことで、その指示された
メモリ内容の書き換えを行う。

【００７９】このように、本実施例による対話型論理シ
ミュレーションシステムによれば、多数の信号端子の信
号値を表示可能にするフリーフォーマット表示形式での
論理シミュレーション結果情報と、信号端子の信号値の
時間的な流れを把握可能にするストリーム表示形式での
論理シミュレーション結果情報とを同一ディスプレイ画
面上にマルチウィンドウの形態で同時に表示し、またメ
モリ仮想空間イメージの内容をディスプレイ画面上に表
示することを基本構成にして、メニューの選択による入
力指示等を不要にし、フリーフォーマット表示上に直接
書き込むことにより状態値を設定したり、ストリーム表
示上の時刻部分を直接指示することによりシミュレーシ
ョンを実行したり、メモリ内容表示上に直接書き込むこ
とによりメモリ内容を書き換えたりする構成を採ってい
る。

【００８０】従って、ユーザは、論理シミュレーション
に関する面倒な手順や操作を意識することなく、論理シ
ミュレーションの実行とその解析を容易に且つ効率的に
行うことができる。また、次の段階のシミュレーション
手順を考える場合でも、その思考の中断を少なくして、
効率的なシミュレーションの実行が可能となる。

【００８１】なお、上述した実施例ではディスプレイ画
面上の表示部分の色を変えることでユーザの注意を喚起
する構成について説明したが、本発明はこれに限定され
ることなく、例えば、明るさを変えたり、或いはフリッ
カさせたりするような他の構成を採ることも可能であ
る。

【００８２】

【発明の効果】以上説明したように本発明によれば、フ
リーフォーマット表示上に直接書き込むことによって状
態値を設定したり、ストリーム表示上の時刻部分を指示
することによりシミュレーション実行を行わせたり、メ
モリ内容表示上に直接書き込むことによってメモリ内容
を書き換えたりすることができるので、ユーザは、シミ
ュレーションに関する面倒な手順や操作を意識すること
なく、容易に且つ効率的にシミュレーションの実行及び
解析を行うことができる。

【図面の簡単な説明】

【図１】本発明に係る対話型論理シミュレーションシス
テムの一実施例の構成を示すブロック図である。

【図２】図１におけるウィンドウ管理テーブル及びそれ
に関連した各テーブルの説明図である。

【図３】図１におけるメモリ管理テーブルの説明図であ
る。

【図４】メモリのインタリーブの説明図である。

【図５】図１におけるファンクション管理テーブルの説
明図である。

【図６】図１のシステムによる論理シミュレーション結
果情報の表示処理の第１の例を示す図である。

【図７】図１のシステムによる論理シミュレーション結
果情報の表示処理の第２の例を示す図である。

【図８】図１のシステムによる論理シミュレーション結
果情報の表示処理の第３の例を示す図である。

【図９】図１のシステムによる論理シミュレーション結
果情報の表示処理の第４の例を示す図である。

【図１０】図１のシステムによる論理シミュレーション
結果情報の表示処理の第５の例を示す図である。

【図１１】図１のシステムによるメモリ仮想空間イメー
ジの内容表示の一例を示す図である。

【図１２】メモリの内容書き換えの一例を示す図であ
る。

【図１３】メモリの内容書き換えの他の例を示す図であ
る。

【図１４】図１における結果表示制御手段のプログラム
構成の一例を示すブロック図である。

【図１５】図１４に示すイベント処理プロセスの一例を
示すフローチャートである。

【図１６】図１４に示すストリームウィンドウ表示プロ
セスの一例を示すフローチャートである。

【図１７】図１４に示すフリーフォーマットウィンドウ
表示プロセスの一例を示すフローチャートである。

【図１８】図１４に示す時刻変更プロセスの一例を示す
フローチャートである。

【図１９】図１４に示すコマンド処理プロセスの一例
（その１）を示すフローチャートである。

【図２０】図１４に示すコマンド処理プロセスの一例
（その２）を示すフローチャートである。

【図２１】図１４に示す状態値変更プロセスの一例を示
すフローチャートである。

【図２２】図１４に示すメモリ表示プロセスの一例を示
すフローチャートである。

【図２３】図１４に示すメモリ書き込みプロセスの第１
の例を示すフローチャートである。

【図２４】図１４に示すメモリ書き込みプロセスの第２
の例を示すフローチャートである。

【図２５】図１４に示すファンクションキー処理プロセ
スの一例を示すフローチャートである。

【符号の説明】

１…対話型論理シミュレーションシステム ２…端末 ３…ディスプレイ ４…入力装置（キーボード、マウス等） １０…入出力（Ｉ／Ｏ）制御手段 １１…論理回路データ（ＬＤ）情報管理手段 １２…論理シミュレーション手段 １３…結果表示制御手段 １４…コマンド解析手段 １５…ファクションキー制御手段 １６…ウィンドウ管理テーブル １７…信号値管理テーブル １８…フリーフォーマットウィンドウ（ＦＷ）管理テー
ブル １９…ストリームウィンドウ（ＳＷ）管理テーブル ２０…時刻管理テーブル ２１…メモリ管理テーブル ２２…ファンクション管理テーブル ２３…ログ出力手段 ２４…ウィンドウ設定手段 ２５…状態値選択手段 ２６…信号値設定手段 ２７…属性変更手段 ２８…メモリ内容表示手段 ２９…メモリ内容設定手段 ３０…シミュレーション実行手段 ３１…時刻設定手段 ３２…メモリ内容選択手段

Claims (17)

【特許請求の範囲】
1. 【請求項１】 ディスプレイ画面を介してユーザと対話
   することで論理シミュレーションを行い、その結果を該
   ディスプレイ画面に表示する構成を採る対話型論理シミ
   ュレーションシステムにおいて、 前記ディスプレイ画面を介してユーザと対話すること
   で、任意の表示範囲によって規定されたウィンドウの形
   態で論理シミュレーション結果情報の少なくとも１つの
   表示形式を設定する設定手段（２４）と、 該設定手段により設定されるフリーフォーマット表示形
   式の表示態様を管理する第１の管理テーブル（１６，１
   ８）と、 論理シミュレーション結果情報の時系列表示形式となる
   ストリーム表示形式の表示態様を管理する第２の管理テ
   ーブル（１６，１９）と、 論理シミュレーション結果情報をなす信号端子毎の信号
   値の時系列データを管理する第３の管理テーブル（１
   ７）と、 前記第１，第２，第３の管理テーブルの管理データを用
   いて論理シミュレーション結果情報を特定し、該特定し
   た論理シミュレーション結果情報を前記ディスプレイ画
   面に表示するよう処理を行う結果表示制御手段（１３）
   とを具備し、 指定した時刻のフリーフォーマット表示形式での論理シ
   ミュレーション結果情報と指定した信号端子のストリー
   ム表示形式での論理シミュレーション結果情報とを、そ
   れぞれ前記ディスプレイ画面上の設定されたウィンドウ
   に同時に表示するようにしたことを特徴とする対話型論
   理シミュレーションシステム。
2. 【請求項２】 請求項１に記載の対話型論理シミュレー
   ションシステムにおいて、 論理シミュレーションの対象となる論理回路の信号端子
   に対応付けられた論理回路データ情報を管理する手段
   （１１）と、 前記ディスプレイ画面との対話を通してユーザから与え
   られたコマンドを解析する手段（１４）と、 該解析結果に基づいて当該コマンドが信号端子への信号
   値設定を指示する命令（ＳＥＴＳ）である場合に、前記
   論理回路データ情報のうち指示された信号端子に対応す
   る信号値の情報を変更することで信号値設定を行う手段
   （２６）とを具備することを特徴とする対話型論理シミ
   ュレーションシステム。
3. 【請求項３】 請求項２に記載の対話型論理シミュレー
   ションシステムにおいて、 前記信号値設定を行う手段は、一信号端子名又は複数の
   信号端子をまとめたグループ名の指定によるコマンドに
   基づいて信号端子への信号値設定を行うことを特徴とす
   る対話型論理シミュレーションシステム。
4. 【請求項４】 請求項３に記載の対話型論理シミュレー
   ションシステムにおいて、 前記結果表示制御手段は、前記信号端子への信号値設定
   がグループ名の指定によって行われる場合に、論理シミ
   ュレーション結果情報の信号値を１６進数又は２進数で
   表示することで複数の信号端子の信号値をまとめて表示
   するよう処理を行うことを特徴とする対話型論理シミュ
   レーションシステム。
5. 【請求項５】 請求項１に記載の対話型論理シミュレー
   ションシステムにおいて、 論理シミュレーションの対象となる論理回路の信号端子
   に対応付けられた論理回路データ情報を管理する手段
   （１１）と、 前記ディスプレイ画面を介してユーザと対話すること
   で、フリーフォーマット表示形式のウィンドウ内に表示
   されている状態値のうちユーザが指示した状態値を選択
   する手段（２５）と、 該選択された状態値が元の表示値と異なる値である場合
   に、前記第１の管理テーブルを参照して該選択された状
   態値に対応する信号端子を特定し、前記論理回路データ
   情報のうち前記特定された信号端子に対応する現時刻で
   の状態値情報を変更する手段（２５，２６）とを具備す
   ることを特徴とする対話型論理シミュレーションシステ
   ム。
6. 【請求項６】 請求項１に記載の対話型論理シミュレー
   ションシステムにおいて、 論理シミュレーションの対象となる論理回路の信号端子
   に対応付けられた論理回路データ情報を管理する手段
   （１１）と、 前記ディスプレイ画面との対話を通してユーザから与え
   られたコマンドを解析する手段（１４）と、 該解析結果に基づいて当該コマンドが属性変更を指示す
   る命令である場合に、前記論理回路データ情報のうち指
   示された信号端子の属性情報を変更することで論理シミ
   ュレーション対象回路内の該当する素子又は回路の評価
   を行わないよう処理する手段（２７）とを具備すること
   を特徴とする対話型論理シミュレーションシステム。
7. 【請求項７】 請求項１に記載の対話型論理シミュレー
   ションシステムにおいて、 前記ディスプレイ画面との対話を通してユーザから与え
   られたコマンドを解析する手段（１４）と、 該解析結果に基づいて当該コマンドがシミュレーション
   を実行する命令（ＳＩＭＬ）である場合に、該命令によ
   って指定された時刻における論理シミュレーションを実
   行する手段（３０，１２）とを具備することを特徴とす
   る対話型論理シミュレーションシステム。
8. 【請求項８】 請求項１に記載の対話型論理シミュレー
   ションシステムにおいて、 前記ディスプレイ画面を介してユーザと対話すること
   で、該ディスプレイ画面に表示されるストリーム表示形
   式のウィンドウ内の任意のシミュレーション時刻を設定
   する手段（３１）と、 該設定されたシミュレーション時刻まで論理シミュレー
   ションを実行する手段（３０，１２）とを具備すること
   を特徴とする対話型論理シミュレーションシステム。
9. 【請求項９】 請求項８に記載の対話型論理シミュレー
   ションシステムにおいて、 前記結果表示制御手段は、前記設定されたシミュレーシ
   ョン時刻が現在時刻よりも過去の時刻である場合に、そ
   の設定された過去の時刻での論理シミュレーション結果
   情報をフリーフォーマット表示形式で表示するよう処理
   を行うことを特徴とする対話型論理シミュレーションシ
   ステム。
10. 【請求項１０】 請求項１に記載の対話型論理シミュレ
    ーションシステムにおいて、 ユーザが操作する入力装置（４）に備えられているファ
    クションキーに設定されたコマンドデータを管理するフ
    ァクション管理テーブル（２２）と、 前記ディスプレイ画面との対話を通してユーザから指示
    されたファクションキーに設定されているコマンドを前
    記ファクション管理テーブルから特定し、該特定したコ
    マンドの内容に応じて、定義済みコマンドの即時実行の
    処理、又は前記ディスプレイ画面内の特定の表示領域へ
    の当該コマンドの表示処理を制御する手段（１５，１
    ４）とを具備することを特徴とする対話型論理シミュレ
    ーションシステム。
11. 【請求項１１】 請求項１に記載の対話型論理シミュレ
    ーションシステムにおいて、 前記ディスプレイ画面との対話を通してユーザから与え
    られたコマンドを解析する手段（１４）と、 前記コマンドの解析結果に基づいてエラーの無かったも
    のをログとして出力する手段（２３）とを具備すること
    を特徴とする対話型論理シミュレーションシステム。
12. 【請求項１２】 請求項１に記載の対話型論理シミュレ
    ーションシステムにおいて、 論理シミュレーション対象の回路内の複数のメモリセル
    （ＲＡＭ）を特定する論理アドレス空間を定義したデー
    タを管理するメモリ管理テーブル（２１）を更に具備
    し、 該メモリ管理テーブルを参照して、前記論理アドレス空
    間によって規定されるメモリ仮想空間イメージでメモリ
    内容を前記ディスプレイ画面に表示するよう処理を行う
    ことを特徴とする対話型論理シミュレーションシステ
    ム。
13. 【請求項１３】 請求項１２に記載の対話型論理シミュ
    レーションシステムにおいて、 前記ディスプレイ画面との対話を通してユーザから与え
    られたコマンドを解析する手段（１４）と、 該解析結果に基づいて当該コマンドがメモリ内容表示を
    指示する命令である場合に、前記メモリ管理テーブルを
    参照して該当するメモリ内容を前記ディスプレイ画面に
    表示するよう処理を行う手段（２８，１３）とを具備す
    ることを特徴とする対話型論理シミュレーションシステ
    ム。
14. 【請求項１４】 請求項１２に記載の対話型論理シミュ
    レーションシステムにおいて、 前記ディスプレイ画面との対話を通してユーザから与え
    られたコマンドを解析する手段（１４）と、 該解析結果に基づいて当該コマンドがメモリ内容設定命
    令（ＳＥＴＭ）である場合に、シミュレーション対象回
    路内のメモリセルのメモリ内容を書き換えるよう処理を
    行う手段（２９）とを具備することを特徴とする対話型
    論理シミュレーションシステム。
15. 【請求項１５】 請求項１２に記載の対話型論理シミュ
    レーションシステムにおいて、 前記ディスプレイ画面を介してユーザと対話すること
    で、前記ディスプレイ画面に表示されているメモリ内容
    のうちユーザの指定したメモリ内容を選択する手段（３
    ２）と、 該選択されたメモリ内容の値が元の表示値と異なる値で
    ある場合に、前記メモリ管理テーブルを参照して該選択
    されたメモリ内容を書き換えるよう処理を行う手段（３
    ２，２９）とを具備することを特徴とする対話型論理シ
    ミュレーションシステム。
16. 【請求項１６】 請求項１２に記載の対話型論理シミュ
    レーションシステムにおいて、 シミュレーション対象回路内の複数のメモリセルを特定
    するアドレスがインタリーブ等のために所定の変換規則
    に従って不連続に設定されている場合に、当該アドレス
    空間に対応したメモリ仮想空間イメージでメモリ内容を
    前記ディスプレイ画面に表示する際に、前記所定の変換
    規則に従ってデータを並び変えることで当該メモリ仮想
    空間上にデータを連続して表示するよう処理を行うこと
    を特徴とする対話型論理シミュレーションシステム。
17. 【請求項１７】 請求項１６に記載の対話型論理シミュ
    レーションシステムにおいて、 ディスプレイ画面に表示されるメモリセル仮想空間上の
    任意のアドレス及びビットの値を書き換えた時に、請求
    項１６のアドレス変換の逆変換によりシミュレーション
    対象回路内のメモリセルに対するアドレスを計算し、デ
    ータを並び変えてメモリセルの内容を書き換えるように
    したことを特徴とする対話型論理シミュレーションシス
    テム。