JP2002132848A - 論理シミュレーションシステムおよび入出力制御装置 - Google Patents

論理シミュレーションシステムおよび入出力制御装置

Info

Publication number
JP2002132848A
JP2002132848A JP2001264623A JP2001264623A JP2002132848A JP 2002132848 A JP2002132848 A JP 2002132848A JP 2001264623 A JP2001264623 A JP 2001264623A JP 2001264623 A JP2001264623 A JP 2001264623A JP 2002132848 A JP2002132848 A JP 2002132848A
Authority
JP
Japan
Prior art keywords
logic simulation
display
signal
logic
input
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2001264623A
Other languages
English (en)
Other versions
JP3729765B2 (ja
Inventor
Akiko Sato
昭子 佐藤
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP2001264623A priority Critical patent/JP3729765B2/ja
Publication of JP2002132848A publication Critical patent/JP2002132848A/ja
Application granted granted Critical
Publication of JP3729765B2 publication Critical patent/JP3729765B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

(57)【要約】 【課題】 論理シミュレーションシステムに関し、ユー
ザに対し、論理シミュレーションに関する面倒な手順や
操作を意識することなくシミュレーションの実行及び解
析を容易に且つ効率的に行えるようにする。 【解決手段】 論理回路の信号端子に対応付けられた論
理回路データ情報を管理する手段と、指定した時刻のみ
の信号端子の信号値を表示するフリーフォーマット表示
形式による論理シミュレーション結果情報と指定した時
刻を含む信号端子の信号値の時系列表示形式となるスト
リーム表示形式による論理シミュレーション結果情報を
それぞれ画面上に表示するための手段と、変更された信
号値を論理回路データ情報の前記信号端子に設定する信
号値設定手段を備える。

Description

【発明の詳細な説明】
【0001】
【発明の属する技術分野】本発明は、論理回路のシミュ
レーションを行う技術に係り、特に、ディスプレイ画面
を介してユーザと対話することで論理シミュレーション
を行い、その結果をディスプレイ画面に表示する構成を
採る論理シミュレーションシステムおよび入出力制御装
置に関する。
【0002】近年、計算機システム等に実装する論理回
路はますます高集積度化が進み、これに伴い、その設計
した論理回路の動作確認や誤動作の解析を行うためのシ
ミュレーションに要する時間が膨大なものになってい
る。大規模な回路を階層的に分割して設計する過程にお
いて、階層単位に論理シミュレーションを行い検証して
いくためには、上位階層の規模の大きい回路のシミュレ
ーションの作業と同様に下位階層の規模の小さい回路の
シミュレーションの作業をも容易で分かりやすいことが
要求される。
【0003】
【従来の技術】従来の論理シミュレーションシステムで
は、指定した時刻の論理シミュレーション結果情報をユ
ーザ定義の表示形式に従って表示する「フリーフォーマ
ット表示形式」の方法、又は、指定した信号端子の論理
シミュレーション結果情報をシステム定義の表示形式に
従って時刻の流れに沿った形で表示する「ストリーム表
示形式」の方法が採用されている。
【0004】フリーフォーマット表示形式では、論理シ
ミュレーション結果情報となる信号端子の信号値を一画
面に多数表示できるという利点があるが、その反面、信
号値の時間的な流れを把握できないので、論理回路の誤
りを発見した時にその原因解析に時間を要するといった
問題点がある。一方、ストリーム表示形式では、信号端
子の信号値の時系列データを表示するようになっている
ので、論理回路の誤りを発見した時にその原因解析が容
易になるという利点があるが、その反面、時系列データ
を表示することから一画面に表示可能な信号端子数が少
なくなり、このために別画面表示を頻繁に行うことにな
り、ひいてはシミュレーションの作業に時間を要すると
いった問題点がある。このように、両者の表示形式はそ
れぞれ一長一短がある。
【0005】また、従来行われている論理シミュレーシ
ョンの方法では、専用の制御言語によって論理シミュレ
ーションの手順(例えば回路動作パターン等)を予め記
述しておき、その記述された制御言語を翻訳した後にシ
ミュレーションを実行し、その実行結果すなわち論理シ
ミュレーション結果情報を解析することによって論理回
路の動作確認を行っている。
【0006】この場合、論理回路設計の初期段階では設
計誤りも比較的多いため、種々の回路動作パターンを予
め記述しておくという手法よりも、むしろ、論理回路設
計者が、ディスプレイ画面との対話を通して少しずつ回
路の動作状態を見ながら次のシミュレーションの動作を
思考していくといった手法の方が適していると考えられ
る。
【0007】
【発明が解決しようとする課題】上述したように従来技
術では、制御言語によるシミュレーション手順の記述→
制御言語の翻訳→シミュレーション実行→結果解析及び
動作確認といった手法に基づいて論理シミュレーション
が行われていた。このため、論理回路の設計終了後すぐ
シミュレーションを開始してから動作確認までに多大な
手間と時間を要するといった課題があった。
【0008】また、結果解析及び動作確認後、さらに次
のシミュレーション手順を記述していくうえで、論理回
路設計者にとっては、必ずしも使い勝手のよい手法では
なかった。本発明は、かかる従来技術における課題に鑑
み創作されたもので、ユーザに対し、論理シミュレーシ
ョンに関する面倒な手順や操作を意識することなくシミ
ュレーションの実行及び解析を容易に且つ効率的に行え
るようにし、また次の段階のシミュレーション手順を考
える場合にはその思考の中断を少なくして良好な操作性
を与えることができる論理シミュレーションシステムお
よび入出力制御装置を提供することを目的とする。
【0009】
【課題を解決するための手段】上記課題を解決するた
め、本発明に係る論理シミュレーションシステムは、デ
ィスプレイ画面を介してユーザと対話することで論理シ
ミュレーションを行い、その結果を該ディスプレイ画面
に表示する構成を採ることを前提として、前記ディスプ
レイ画面を介してユーザと対話することで、任意の表示
範囲によって規定されたウィンドウの形態で論理シミュ
レーション結果情報の少なくとも1つの表示形式を設定
する設定手段と、該設定手段により設定されるフリーフ
ォーマット表示形式の表示態様を管理する第1の管理テ
ーブルと、論理シミュレーション結果情報の時系列表示
形式となるストリーム表示形式の表示態様を管理する第
2の管理テーブルと、論理シミュレーション結果情報を
なす信号端子毎の信号値の時系列データを管理する第3
の管理テーブルと、前記第1,第2,第3の管理テーブ
ルの管理データを用いて論理シミュレーション結果情報
を特定し、該特定した論理シミュレーション結果情報を
前記ディスプレイ画面に表示するよう処理を行う結果表
示制御手段とを具備し、指定した時刻のフリーフォーマ
ット表示形式での論理シミュレーション結果情報と指定
した信号端子のストリーム表示形式での論理シミュレー
ション結果情報とを、それぞれ前記ディスプレイ画面上
の設定されたウィンドウに同時に表示するようにしたこ
とを特徴とする。
【0010】さらに本発明にかかる論理シミュレーショ
ンシステムでは、論理シミュレーションの結果を画面に
表示する論理シミュレーションシステムにおいて、前記
論理シミュレーションの対象となる論理回路の信号端子
に対応付けられた論理回路データ情報を管理する情報管
理手段と、指定した時刻のみの前記信号端子の信号値を
表示するフリーフォーマット表示形式による論理シミュ
レーション結果情報と指定した時刻を含む前記信号端子
の信号値の時系列表示形式となるストリーム表示形式に
よる論理シミュレーション結果情報をそれぞれ画面上に
表示するための結果表示制御手段と、変更された信号値
を前記論理回路データ情報の前記信号端子に設定する信
号値設定手段とを具備することを特徴とする。
【0011】本発明にかかる入出力制御装置では、論理
回路の信号端子に対応付けられた論理回路データ情報に
基づいて論理シミュレーションを行う論理シミュレーシ
ョン装置を制御し、前記論理シミュレーション装置の結
果を画面に表示させる入出力制御装置において、指定し
た時刻のみの前記信号端子の信号値を状態値として表示
するフリーフォーマット表示形式による論理シミュレー
ション結果情報と指定した時刻を含む前記信号端子の信
号値の時系列表示形式となるストリーム表示形式による
論理シミュレーション結果情報をそれぞれ画面上に表示
するための結果表示制御手段と、変更された信号値を前
記論理シミュレーション装置が管理する前記論理回路デ
ータ情報の前記信号端子に設定させる信号値設定手段と
を具備することを特徴とする。
【0012】また、本発明の好適な実施態様において
は、論理シミュレーション対象の回路内の複数のメモリ
セルを特定する論理アドレス空間を定義したデータを管
理するメモリ管理テーブルを更に具備し、このメモリ管
理テーブルを参照して、前記論理アドレス空間によって
規定されるメモリ仮想空間イメージでメモリ内容をディ
スプレイ画面に表示するよう処理を行っている。
【0013】
【作用】上述した本発明の構成によれば、多数の信号端
子の信号値を表示可能にするフリーフォーマット表示形
式での論理シミュレーション結果情報と、信号端子の信
号値の時間的な流れを把握可能にするストリーム表示形
式での論理シミュレーション結果情報とを同一ディスプ
レイ画面上にマルチウィンドウの形態で同時に表示する
ことを基本構成とし、またメモリ仮想空間イメージでメ
モリ内容をディスプレイ画面上に表示することを基本構
成にして、メニューの選択による入力指示等を不要に
し、フリーフォーマット表示上に直接書き込むことによ
り状態値を設定したり、ストリーム表示上の時刻部分を
直接指示することによりシミュレーションを実行した
り、メモリ内容表示上に直接書き込むことによりメモリ
内容を書き換えたりする構成を採っている。
【0014】従って、ユーザは、論理シミュレーション
に関する面倒な手順や操作を意識することなく、論理シ
ミュレーションの実行とその解析を容易に且つ効率的に
行うことができる。また、次の段階のシミュレーション
手順を考える場合でも、その思考の中断を少なくして、
効率的なシミュレーションの実行が可能となる。なお、
本発明の他の構成上の特徴及び作用の詳細については、
添付図面を参照しつつ以下に記述される実施例を用いて
説明する。
【0015】
【発明の実施の形態】図1には本発明に係る論理シミュ
レーションシステムの一実施例の構成が示される。図
中、1は本発明に係る論理シミュレーションシステム、
2は論理シミュレーションシステム1の備える端末を示
し、該端末は、論理シミュレーション結果情報等を表示
するディスプレイ3と、ユーザ又はオペレータが操作す
るキーボードやマウス等の入力装置4を備えている。
【0016】本実施例による論理シミュレーションシス
テム1は、入出力(I/O)制御手段10と、論理回路
データ(LD)情報管理手段11と、論理シミュレーシ
ョン手段12と、結果表示制御手段13と、コマンド解
析手段14と、ファクションキー制御手段15と、ウィ
ンドウ管理テーブル16と、信号値管理テーブル17
と、フリーフォーマットウィンドウ(FW)管理テーブ
ル18と、ストリームウィンドウ(SW)管理テーブル
19と、時刻管理テーブル20と、メモリ管理テーブル
21と、ファンクション管理テーブル22と、ログ出力
手段23と、ウィンドウ設定手段24と、状態値選択手
段25と、信号値設定手段26と、属性変更手段27
と、メモリ内容表示手段28と、メモリ内容設定手段2
9と、シミュレーション実行手段30と、時刻設定手段
31と、メモリ内容選択手段32とを有している。以
下、各構成要素について説明する。
【0017】入出力(I/O)制御手段10は、端末2
との間のインタフェース処理を実行する。また、論理回
路データ(LD)情報管理手段11は、論理シミュレー
ションの対象となる論理回路データ情報を管理する。但
し、論理回路データ情報は実際には信号端子番号で記述
されているので、LD情報管理手段11は、この信号端
子番号とユーザ定義の信号端子名との対応関係を管理す
ることになる。また、論理シミュレーション手段12
は、LD情報管理手段11の管理する論理回路の論理シ
ミュレーション処理を実行し、その論理シミュレーショ
ン結果情報を信号値管理テーブル17に登録すると共
に、そのシミュレーション時刻を時刻管理テーブル20
に登録する。
【0018】結果表示制御手段13は、ウィンドウ管理
テーブル16、信号値管理テーブル17、フリーフォー
マットウィンドウ管理テーブル18、ストリームウィン
ドウ管理テーブル19及び時刻管理テーブル20の各管
理データを用いて、論理シミュレーション結果情報を端
末2のディスプレイ3に表示するよう制御を行う。コマ
ンド解析手段14は、ユーザと対話することで、ユーザ
から与えられたコマンドを解析して命令管理テーブルを
作成し、指示された命令へ制御を移す。また、ファクシ
ョンキー制御手段15は、ユーザと対話することで、端
末2の入力装置4を介してユーザから指示されたファク
ションキーに設定されているコマンドをコマンド解析手
段14に転送する。
【0019】ウィンドウ管理テーブル16は、端末2の
ディスプレイ3に表示すべき1つ又は複数のウィンドウ
の表示態様を管理する。また、信号値管理テーブル17
は、論理シミュレーション結果情報をなす信号端子毎の
信号値の時系列データを管理する。また、フリーフォー
マットウィンドウ(FW)管理テーブル18は、ユーザ
定義のフリーフォーマット表示形式の表示態様を管理す
る。また、ストリームウィンドウ(SW)管理テーブル
19は、論理シミュレーション結果情報の時系列表示形
式となるシステム定義のストリーム表示形式の表示態様
を管理する。また、時刻管理テーブル20は、表示する
論理シミュレーション時刻を管理すると共に、現表示時
刻を管理する。また、メモリ管理テーブル21は、後述
するように論理アドレス空間の定義データを管理する。
また、ファンクション管理テーブル22は、端末2の入
力装置4に備えられているファクションキーに設定され
ているコマンドデータを管理する。
【0020】ログ出力手段23は、コマンド解析手段1
4の解析結果に基づいて、エラーの無かったものを「ロ
グ」として出力する。ウィンドウ設定手段24は、ユー
ザとの対話を通してコマンド解析手段14の解析結果に
基づき、端末2のディスプレイ3に表示すべき1つ又は
複数のウィンドウ(フリーフォーマットウィンドウとス
トリームウィンドウ)を設定するための処理を行う。具
体的には、例えば、ユーザが2種類のフリーフォーマッ
トウィンドウを表示することを希望した場合には、スト
リームウィンドウを表示することに加えて、デフォルト
として用意される2つのフリーフォーマットウィンドウ
用のウィンドウ枠を設定し、ユーザとの対話を通して、
この2つのウィンドウ枠のそれぞれにユーザの希望する
フリーフォーマット表示形式を割り付ける。係る処理
は、2種類以上のフリーフォーマットウィンドウを表示
する時にも同様である。さらに、このウィンドウ設定手
段24は、ユーザとの対話を通して、フリーフォーマッ
トウィンドウ用のウィンドウ枠の大きさや配置を変える
機能をも有している。
【0021】状態値選択手段25は、ユーザと対話する
ことで、端末2のディスプレイ3に表示されているフリ
ーフォーマット表示形式中の状態値を選択する。また、
信号値設定手段26は、コマンド解析手段14の解析結
果に基づいて、当該コマンドが信号値設定命令であると
判断される時、その解析結果より得られた信号端子に値
を設定する。また、属性変更手段27は、コマンド解析
手段14の解析結果に基づいて、当該コマンドが属性変
更命令であると判断される時、その解析結果より得られ
た信号端子の属性を変更することで、該当する素子又は
回路の評価を行わないようにする。
【0022】メモリ内容表示手段28は、コマンド解析
手段14の解析結果に基づいて、当該コマンドがメモリ
内容表示命令であると判断される時、メモリ管理テーブ
ル21を参照して該当するメモリ内容を端末2のディス
プレイ3に表示するよう制御を行う。また、メモリ内容
設定手段29は、コマンド解析手段14の解析結果に基
づいて、当該コマンドがメモリ内容設定命令であると判
断される時、シミュレーション対象回路内のメモリ内容
を書き換える。
【0023】シミュレーション実行手段30は、コマン
ド解析手段14の解析結果に基づいて、当該コマンドが
シミュレーションを実行する命令であると判断される
時、論理シミュレーション手段12に制御を移し、指定
された時刻における論理シミュレーションを実行する。
また、時刻設定手段31は、ユーザと対話することで、
端末2のディスプレイ3に表示されるストリーム表示形
式中の任意のシミュレーション時刻を設定し、シミュレ
ーション実行手段30を介して論理シミュレーション手
段12に制御を移し、その設定されたシミュレーション
時刻まで論理シミュレーションを実行する。なお、設定
されたシミュレーション時刻が現在時刻よりも前の時刻
である場合には、その設定された過去の時刻でのシミュ
レーション結果をフリーフォーマット表示形式で表示す
るように処理がなされる。
【0024】メモリ内容選択手段32は、ユーザと対話
することで、端末2のディスプレイ3に表示されている
メモリ内容のうちユーザの指定したメモリ内容を選択
し、その選択したメモリ内容をメモリ内容設定手段29
に転送する。そして、その選択されたメモリ内容の値が
元の表示値と異なる値である場合に、メモリ内容設定手
段29は、その選択されたメモリ内容を書き換えるよう
処理を行う。
【0025】以下、論理シミュレーション結果情報の表
示処理に用いられる各種管理テーブルについて、図2〜
図5を参照しながら詳細に説明する。図2はウィンドウ
管理テーブル及びそれに関連した各テーブルを説明する
ための図である。図中、(a)に示すウィンドウ管理テ
ーブル16は、端末2のディスプレイ3に表示されるウ
ィンドウの持つ属性情報を管理するものであり、具体的
には、ウィンドウ設定手段24によって設定されたウィ
ンドウがフリーフォーマットウィンドウなのか又はスト
リームウィンドウなのかを管理するウィンドウ種別エン
トリーと、設定されたウィンドウの表示位置を管理する
表示位置エントリーと、設定されたウィンドウの表示態
様データの展開位置を管理する管理テーブル位置エント
リーと、以前に特定されたフリーフォーマットウィンド
ウの表示内容データの展開位置を管理する表示内容エン
トリーとを備えている。
【0026】また、(b)に示すフリーフォーマットウ
ィンドウ(FW)管理テーブル18は、前述したように
ユーザ定義のフリーフォーマット表示形式の表示態様デ
ータを管理するものであり、具体的には、どの表示位置
にどの信号端子の信号値を表示させるかといった表示態
様データを管理する。上述したウィンドウ管理テーブル
16は、ウィンドウ種別エントリーでフリーフォーマッ
トウィンドウ種別を管理する時には、設定されたフリー
フォーマット表示態様データを管理するこのフリーフォ
ーマットウィンドウ管理テーブル18の展開位置を管理
する。
【0027】また、(c)に示すストリームウィンドウ
(SW)管理テーブル19は、前述したようにシステム
定義のストリーム表示形式の表示態様データを管理する
ものであり、具体的には、1行目にはどの信号端子の信
号値を表示させ、2行目にはどの信号端子の信号値を表
示させるかといった表示態様データを管理する。上述し
たウィンドウ管理テーブル16は、ウィンドウ種別エン
トリーでストリームウィンドウ種別を管理する時には、
設定されたストリーム表示態様データを管理するこのス
トリームウィンドウ管理テーブル19の展開位置を管理
する。
【0028】また、(d)に示す信号値管理テーブル1
7は、前述したように論理シミュレーション結果情報を
管理するものであり、具体的には、信号端子毎の信号値
の時系列データを信号端子毎に管理する。また、(e)
に示す時刻管理テーブル20は、対象となる論理シミュ
レーションの表示時刻と、現表示時刻を示す論理シミュ
レーション表示時刻とを管理する。更に、(f)は表示
内容テーブルを示し、以前に特定されたフリーフォーマ
ットウィンドウの表示内容データの再利用のために管理
する。上述したウィンドウ管理テーブル16は、表示内
容エントリーでこの表示内容テーブルの展開位置を管理
する。
【0029】上述したように、ウィンドウ管理テーブル
16は、端末2のディスプレイ3に表示すべき1つ又は
複数のウィンドウの表示態様を管理しているが、設定さ
れた各ウィンドウ内の表示は、フリーフォーマット表示
形式の場合にはフリーフォーマットウィンドウ(FW)
管理テーブル18及び信号値管理テーブル17を参照す
ることにより、またストリーム表示形式の場合にはスト
リームウィンドウ(SW)管理テーブル19及び信号値
管理テーブル17を参照することにより、それぞれ行わ
れる。また、シミュレーション時刻が経過するか、又は
現時刻よりも以前の時刻を指定された場合には、時刻管
理テーブル20によって管理することにより、全てのウ
ィンドウの表示シミュレーション時刻を同期させる。
【0030】フリーフォーマット表示形式のウィンドウ
内に表示されている任意の状態値を指示された場合、フ
リーフォーマットウィンドウ(FW)管理テーブル18
を参照することで、指示された状態値に対応する信号端
子を知ることができる。従って、ウィンドウ上の状態値
が書き換えられた場合、その状態値を、指示された信号
端子の回路情報(つまり論理回路データ情報管理手段1
1によって管理されている回路情報)に設定すること
で、フリーフォーマット表示形式ウィンドウ上を書き換
えて、信号値を設定することができる。
【0031】図3はメモリ管理テーブルを説明するため
の図である。図中、(a)は論理シミュレーションの対
象となる論理回路内の複数のメモリセル(RAM)を特
定するアドレス空間を規定したメモリ仮想空間イメージ
を示し、(b)はそのメモリ仮想空間イメージを管理す
るメモリ管理テーブル21の構成を示す。
【0032】このメモリ仮想空間イメージは、例えば、
以下に記述するメモリ定義例によって定義される。メモリ定義例 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', ……等は、
各メモリセル(RAM)のモデルに対する信号名を表し
ており、図示の例では、64KアドレスのRAMを8×
8個用いて8ビット幅の512Kアドレス空間を定義し
ている。
【0033】図4はメモリのインタリーブを説明するた
めの図である。インタリーブ等でアドレスが不連続な場
合、例えば、以下に記述するインタリーブ指定定義例の
ようにウェイ数を定義する。インタリーブ指定定義例 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);こ
の例のようにウェイ数を8とした場合、図4に示すよう
に19ビット(0〜18)のうち下位3ビット(0〜
2)を上位に移動してアドレスを計算する。なお、図4
において、m=19は、log(アドレス数)=log
(512K)の計算によって求められ、n=3は、lo
g(ウェイ数)=log(8)の計算によって求められ
る。
【0034】このようにして定義されたウェイ数、アド
レス数、信号名等は、図3(c)に示すメモリ宣言管理
テーブルによって管理される。そして、メモリ宣言管理
テーブル内の補助テーブル位置エントリーによって展開
される補助テーブルを介して記憶域をアクセスすること
により、上述したメモリ仮想空間を作り出すことがで
き、これによってメモリ内容表示が可能となる。
【0035】また、アドレスが或る変換規則に従って不
連続な場合でも、メモリ宣言管理テーブルのウェイ数か
ら、上述したようなインタリーブのアドレス計算を行う
ことでメモリ仮想空間を作り出すことができる。さら
に、メモリへの書き込みの場合は、メモリ内容の表示と
同じようにして記憶域をアクセスすることにより、メモ
リ内容の書き換えを行うことができる。
【0036】図5はファンクション管理テーブル22を
説明するための図である。ユーザとの対話を通して端末
2の入力装置4よりファンクションキーが操作された場
合、図示のファンクション管理テーブルを参照すること
で、実行すべきコマンド列が得られる。図5において、
(1)のコマンド文字列のようにコマンド(図示の例で
はシミュレーションを実行する命令;SIML)で始ま
っている場合には、当該コマンドはコマンド解析手段1
4に引き渡され、それによってその命令の即時実行が処
理される。また、(2)のコマンド文字列のように先頭
に“D”がある場合には、そのコマンド文字列はコマン
ド入力域(後述する図7の(7)の領域)に表示され
る。
【0037】前述したように、本発明に係る論理シミュ
レーションシステムでは、フリーフォーマット表示形式
で表される論理シミュレーション結果情報と、ストリー
ム表示形式で表される論理シミュレーション結果情報と
を同一ディスプレイ画面上にマルチウィンドウを用いて
同時に表示することを基本構成にしている。このうちス
トリーム表示形式の表示態様については、システム側で
予め用意するものであるが、フリーフォーマット表示形
式の表示態様については、ユーザが自由に定義すること
になる。
【0038】このフリーフォーマット表示形式の表示態
様の設定処理は、主として、ウィンドウ管理テーブル1
6(フリーフォーマットウィンドウ管理テーブル18)
及びウィンドウ設定手段24によって制御される。つま
り、ユーザに対し画面イメージでもって、どの表示位置
にどの信号端子の信号値を表示させるかといった表示態
様を指定させて、これを論理シミュレーションシステム
1の内部データ形式に変換していくことで、1つ又は複
数のフリーフォーマット表示形式(例えば、後述する図
6〜図10に示すウィンドウa,b)を設定していくこ
とになる。
【0039】ここで、ストリーム表示形式とフリーフォ
ーマット表示形式のいずれもが、複数の信号端子を1つ
のグループとして定義することを許しており、例えば、
GROUP # GRP1 ('DATA0', 'DATA1', 'DATA2', 'DATA
3');というように4つの信号端子DATAi (i=0,1,2,3)を
「# GRP1」というグループ名で定義して、このグループ
名を用いて、この4つの信号端子DATAi の信号値を2進
数や16進数で表示させるように指定させることも可能
である。この指定に従って、例えば“0011”という
2進数でもって、この4つの信号端子DATAi の持つ信号
値の表示が実現されることになり、また、例えば“3”
という16進数でもって、この4つの信号端子DATAi の
持つ信号値の表示が実現されることになる。
【0040】次に、本実施例に係るシステムによる論理
シミュレーション結果情報の表示処理例について、図6
〜図10を参照しながら説明する。図6は、ディスプレ
イ3の画面上に2つのフリーフォーマット表示形式のウ
ィンドウa,bと1つのストリーム表示形式のウィンド
ウcとが表示されている表示例を示す。
【0041】図中、(1)はユーザが自由に設定できる
文字、(2)はユーザが設定した信号端子の状態値を示
す。この状態値は、前述したように、1信号端子に対し
て1文字、或いは4信号端子をまとめて1文字(つまり
16進表示)で指示することが可能である。また、
(3)はシミュレーション時刻、(4)は信号端子名、
(5)は(4)の信号端子に対する状態値をシミュレー
ション時刻に沿って表示したものである。また、(6)
は現シミュレーション時刻を示す。
【0042】図7は、上記3つのウィンドウa,b,c
とコマンド入力域を表示した表示例を示す。図中、
(7)で指示される部分が、ユーザの入力操作に基づい
て入力されたコマンド(文字列)を表示するためのコマ
ンド入力域を示す。図示の例では、コマンド入力域
(7)にSETS(信号端子に値を設定する命令)が表
示され、 'SIG1' という信号端子に '1' を設定す
る旨の指示が表示されている。
【0043】図8は、図7の表示例におけるウィンドウ
a内の(8)の部分をポインティングデバイス等で指示
することでその状態値を直接書き換えた表示例を示す。
これは、上述したSETS(信号端子に値を設定する命
令)と同じ機能であるが、図7のようにコマンド入力域
(7)に長い文字列を入力することなく、容易に信号値
を設定できる例を示している。
【0044】図9は、コマンド入力域(7)にSIML
(シミュレーションを実行する命令)が表示されている
表示例を示す。図示の例では、シミュレーション時刻を
t1まで進める旨の指示が表示されている。図10は、
図9の表示例におけるウィンドウc内の(9)の部分を
ポインティングデバイス等で指示することでシミュレー
ション時刻をt1まで進めた表示例を示す。これは、上
述したSIML(シミュレーションを実行する命令)と
同じ機能であるが、図9のようにコマンド入力域(7)
に文字列を入力することなく、容易にシミュレーション
の実行ができる例を示している。
【0045】図11は、図3及び図4に関連して説明し
たメモリ仮想空間イメージの内容表示の一例を示す。図
示の例では、ワード長が16Kで、ビット長が72ビッ
トの仮想空間イメージの内容が表示されている。図中、
*1,*2,……,*16はそれぞれメッセージ表示欄
又はデータ入力欄を表している。すなわち、*1はメモ
リ名表示欄、*2はワード長表示欄、*3はビット長表
示欄、*4はインタリーブのウェイ数表示欄、*5はベ
ースアドレス表示・入力欄、*6は表示先頭アドレス変
位表示・入力欄、*7はアドレス表現のモード(HEX
/DEC)表示・入力欄、*8は縦スクロール量表示・
入力欄、*9は横スクロール量表示・入力欄、*10は
先頭表示コラム位置表示・入力欄、*11はテンプレー
ト名入力欄、*12はコメント表示・入力欄、*13は
フォーマット表示・入力欄、*14はアドレス表示欄、
*15はデータ表示・入力欄、*16はコマンド入力欄
を示す。
【0046】図12は、メモリの内容書き換えの一例を
示す。図示の例では、ディスプレイ画面のコマンド入力
域(7)にSETM(メモリの内容を書き換える命令)
が表示され、これによって、MEMORY01と定義さ
れたメモリ空間の0ワード目に‘0’を書き込んでい
る。図13は、メモリの内容書き換えの他の例を示す。
【0047】図示の例は、図11の表示例におけるアド
レス表示欄*14のアドレス“0”に対応するデータを
直接指定して書き換えた場合の表示例を示している。こ
の例では、1箇所のみを指定して書き換えを行うように
しているが、もちろん、複数箇所を指定して同時に書き
込むことも可能である。これは、前述のSETM(メモ
リの内容を書き換える命令)と同じ機能であるが、図1
2のようにコマンド入力域(7)に文字列を入力するこ
となく、容易にメモリ内容を書き換えることができる例
を示している。
【0048】図14には結果表示制御手段13のプログ
ラム構成の一例が示される。同図に示すように、結果表
示制御手段13は、ウィンドウマネージャ80と、該ウ
ィンドウマネージャによって制御されるイベント処理プ
ロセス81と、それぞれイベント処理プロセス81によ
って起動されるストリームウィンドウ表示プロセス8
2、フリーフォーマットウィンドウ表示プロセス83、
時刻変更プロセス84、コマンド処理プロセス85、状
態値変更プロセス86、メモリ表示プロセス87、メモ
リ書き込みプロセス88及びファンクションキー処理プ
ロセス89とを備える。
【0049】図15〜図25には結果表示制御手段13
が備える各プロセスを規定したフローチャートが示され
る。以下、これらのフローチャートを参照しながら、本
実施例に係る論理シミュレーション処理について詳細に
説明する。 <イベント処理プロセス81……図15参照>端末2か
らイベントが入力されると、先ずステップ101では、
この入力イベントの受付処理を実行する。次のステップ
102では、入力イベントがストリームウィンドウ(S
W)表示プロセス82の起動を指示するイベントである
(Y)か否(N)かを判定し、判定結果がYを指示する
場合にはストリームウィンドウ表示プロセス82を起動
し、判定結果がNを指示する場合にはステップ103に
進む。ステップ103では、入力イベントがフリーフォ
ーマットウィンドウ(FW)表示プロセス83の起動を
指示するイベントである(Y)か否(N)かを判定し、
判定結果がYを指示する場合にはフリーフォーマットウ
ィンドウ表示プロセス83を起動し、判定結果がNを指
示する場合にはステップ104に進む。
【0050】ステップ104では、入力イベントが時刻
変更プロセス84の起動を指示するイベントである
(Y)か否(N)かを判定し、判定結果がYを指示する
場合には時刻変更プロセス84を起動し、判定結果がN
を指示する場合にはステップ105に進む。ステップ1
05では、入力イベントがコマンド処理プロセス85の
起動を指示するイベントである(Y)か否(N)かを判
定し、判定結果がYを指示する場合にはコマンド処理プ
ロセス85を起動し、判定結果がNを指示する場合には
ステップ106に進む。ステップ106では、入力イベ
ントが状態値変更プロセス86の起動を指示するイベン
トである(Y)か否(N)かを判定し、判定結果がYを
指示する場合には状態値変更プロセス86を起動し、判
定結果がNを指示する場合にはステップ107に進む。
【0051】ステップ107では、入力イベントがメモ
リ表示プロセス87の起動を指示するイベントである
(Y)か否(N)かを判定し、判定結果がYを指示する
場合にはメモリ表示プロセス87を起動し、判定結果が
Nを指示する場合にはステップ108に進む。ステップ
108では、入力イベントがメモリ書き込みプロセス8
8の起動を指示するイベントである(Y)か否(N)か
を判定し、判定結果がYを指示する場合にはメモリ書き
込みプロセス88を起動し、判定結果がNを指示する場
合にはステップ109に進む。
【0052】ステップ109では、入力イベントがファ
ンクションキー処理プロセス89の起動を指示するイベ
ントである(Y)か否(N)かを判定し、判定結果がY
を指示する場合にはファンクションキー処理プロセス8
9を起動し、判定結果がNを指示する場合にはステップ
110に進む。ステップ110では、入力イベントが処
理終了を指示する終了イベントである(Y)か否(N)
かを判定し、判定結果がYを指示する場合にはこのフロ
ーは「終了」となり、判定結果がNを指示する場合には
ステップ101に戻って上記処理を繰り返す。
【0053】このようにして、イベント処理プロセス8
1は、図15の処理フローを実行することで、入力イベ
ントの指示するプロセスを起動していくよう処理する。 <ストリームウィンドウ表示プロセス82……図16参
照>イベント処理プロセス81から起動されると、先ず
ステップ201では、時刻管理テーブル20から現表示
時刻を示す論理シミュレーション表示時刻を読み出す。
次のステップ202では、この読み出した論理シミュレ
ーション表示時刻を標準時刻として、ストリームウィン
ドウ表示データを作成する。すなわち、ストリームウィ
ンドウ管理テーブル19の指定するストリームウィンド
ウの表示形式に、読み出した論理シミュレーション表示
時刻近傍の信号値管理テーブル17の信号値時系列デー
タを当てはめていくことで、ストリームウィンドウ表示
データを作成する。
【0054】次のステップ203では、作成したストリ
ームウィンドウ表示データをウィンドウ設定手段24が
設定したストリームウィンドウ(例えば図6〜図10に
示されるストリーム表示形式のウィンドウc)に表示し
ていく。この時、ストリームウィンドウ表示プロセス8
2は、現シミュレーション表示時刻部分(図6の(6)
の部分)と当該シミュレーション表示時刻に対応付けら
れる信号値部分(図6の(5)の部分)については色を
変えて表示していくことで、その旨を表示していくこと
になる。
【0055】<フリーフォーマットウィンドウ表示プロ
セス83……図17参照>イベント処理プロセス81か
ら起動されると、先ずステップ301では、時刻管理テ
ーブル20から現表示時刻を示す論理シミュレーション
表示時刻を読み出す。次のステップ302では、この読
み出した論理シミュレーション表示時刻を標準時刻とし
て、フリーフォーマットウィンドウ表示データを作成す
る。すなわち、フリーフォーマットウィンドウ管理テー
ブル18の指定するフリーフォーマットウィンドウの表
示形式に、読み出した論理シミュレーション表示時刻の
信号値テーブル17の信号値データを当てはめていくこ
とで、フリーフォーマットウィンドウ表示データを作成
する。
【0056】次のステップ303では、作成したフリー
フォーマットウィンドウ表示データをウィンドウ設定手
段24が設定したフリーフォーマットウィンドウ(例え
ば図6〜図10に示されるフリーフォーマット表示形式
のウィンドウa,b)に表示していく。以上の如く、ス
トリームウィンドウ表示プロセス82及びフリーフォー
マットウィンドウ表示プロセス83の処理に従って、ス
トリーム表示形式に従う論理シミュレーション結果情報
とフリーフォーマット表示形式に従う論理シミュレーシ
ョン結果情報とが、端末2のディスプレイ3に同時に表
示されることになる。
【0057】<時刻変更プロセス84……図18参照>
イベント処理プロセス81から起動されると、先ずステ
ップ401では、新たな論理シミュレーション表示時刻
となる、指定された変更後の時刻を取得する。次のステ
ップ402では、指定された時刻が現在の時刻より前で
ある(Y)か否(N)かを判定し、判定結果がYを指示
する場合にはステップ403に進み、判定結果がNを指
示する場合にはステップ404に進む。ステップ404
では、指定された時刻まで論理シミュレーションを進め
る処理を行い、この後、ステップ403に進む。
【0058】ステップ403では、時刻管理テーブル2
0の論理シミュレーション表示時刻を更新すると共に、
処理すべきウィンドウ(すなわち表示中のウィンドウ)
がストリーム表示形式である(Y)か否(N)かを判定
し、判定結果がYを指示する場合にはステップ405に
進み、判定結果がNを指示する場合(つまり処理すべき
ウィンドウがフリーフォーマット表示形式である場合)
にはステップ406に進む。ステップ406では、指定
された新たな論理シミュレーション表示時刻の信号値を
信号値管理テーブル17から取得し、次のステップ40
7では、その取得した信号値を現在表示中の信号値と比
較して違うところだけを色を変えて当該フリーフォーマ
ットウィンドウに表示する。この後、このフローは「終
了」となる。
【0059】一方、ステップ405では、指定された時
刻が現在時刻より前である(Y)か否(N)かを判定
し、判定結果がYを指示する場合にはステップ408に
進み、判定結果がNを指示する場合にはステップ409
に進む。ステップ409では、更新前の論理シミュレー
ション表示時刻から指定された新たな論理シミュレーシ
ョン表示時刻までの信号値を信号値管理テーブル17か
ら読み出して表示し、この後、ステップ408に進む。
ステップ408では、指定された新たな論理シミュレー
ション表示時刻の表示部分の色を変えて表示する。この
後、このフローは「終了」となる。
【0060】このようにして、時刻変更プロセス84の
処理に従って、論理シミュレーション表示時刻がユーザ
の指定するものに更新され、また、ストリームウィンド
ウ中の現シミュレーション表示時刻の表示部分が色を変
えて表示されると共に、フリーフォーマットウィンドウ
中の信号値表示の内の論理シミュレーション表示時刻の
更新により変化する信号値部分が色を変えて表示される
ようになる。
【0061】<コマンド処理プロセス85……図19,
図20参照>イベント処理プロセス81から起動される
と、先ずステップ501では、コマンドがファイルから
入力されたもの(Y)か否(N)か、つまりユーザとの
対話を通して入力されたものでないか否かを判定し、判
定結果がYを指示する場合にはステップ502に進み、
判定結果がNを指示する場合にはステップ504に進
む。ステップ502ではファイルからのコマンド入力が
終了していない(Y)か否(N)かを判定し、判定結果
がYを指示する場合にはステップ503に進み、判定結
果がNを指示する場合にはこのフローは「終了」とな
る。ステップ503では、1コマンド文字列をファイル
から入力する。
【0062】次のステップ504では、入力されてくる
コマンド文字列の解析を実行する。ステップ505で
は、この解析結果に基づいて文法上の間違いがある
(Y)か否(N)かを判定し、判定結果がYを指示する
場合にはステップ506に進み、判定結果がNを指示す
る場合にはステップ507に進む。ステップ506で
は、エラーメッセージを出力し、この後、このフローは
「終了」となる。
【0063】一方、ステップ507では、入力されたコ
マンドがSETS(信号端子に値を設定する命令)であ
る(Y)か否(N)かを判定し、判定結果がYを指示す
る場合にはステップ508に進み、判定結果がNを指示
する場合にはステップ509に進む。ステップ508で
は、指定された信号端子に値を設定し、この後、ステッ
プ515に進む。
【0064】一方、ステップ509では、入力されたコ
マンドがSETM(メモリの内容を書き換える命令)で
ある(Y)か否(N)かを判定し、判定結果がYを指示
する場合にはステップ510に進み、判定結果がNを指
示する場合にはステップ511に進む。ステップ510
では、指定されたメモリ仮想空間に値を設定し、この
後、ステップ515に進む。
【0065】一方、ステップ511では、入力されたコ
マンドがCHGV(信号端子の属性を変更する命令)で
ある(Y)か否(N)かを判定し、判定結果がYを指示
する場合にはステップ512に進み、判定結果がNを指
示する場合にはステップ513に進む。ステップ512
では、指定された信号端子の属性を変更し、この後、ス
テップ515に進む。
【0066】一方、ステップ513では、入力されたコ
マンドがSIML(シミュレーションを実行する命令)
である(Y)か否(N)かを判定し、判定結果がYを指
示する場合にはステップ514に進み、判定結果がNを
指示する場合にはステップ515に進む。ステップ51
4では、指定された時刻まで論理シミュレーションを実
行し、この後、ステップ515に進む。
【0067】ステップ515では、ファイルからコマン
ドが入力中である(Y)か否(N)かを判定し、判定結
果がYを指示する場合にはステップ502に戻って上記
処理を繰り返し、判定結果がNを指示する場合にはこの
フローは「終了」となる。このようにして、コマンド処
理プロセス85の処理に従って、コマンドの指定条件を
充足する時刻を論理シミュレーション表示時刻として、
フリーフォーマット表示形式でのウィンドウ内の表示デ
ータ、ストリーム表示形式でのウィンドウ内の表示デー
タ、及び、メモリ仮想空間イメージの内容表示データが
更新されていく。
【0068】<状態値変更プロセス86……図21>イ
ベント処理プロセス81から起動されると、先ずステッ
プ601では、フリーフォーマット表示形式のウィンド
ウ内の指定された状態値の表示位置と書き換えられた値
をウィンドウ管理テーブル16及びフリーフォーマット
ウィンドウ管理テーブル18と信号値管理テーブル17
から取得する。次のステップ602では、指定された表
示位置は上記状態値の設定が可能である(Y)か否
(N)かを判定し、判定結果がYを指示する場合にはス
テップ603に進み、判定結果がNを指示する場合には
ステップ605に進む。
【0069】ステップ603では、指定された表示位置
に対応する信号端子をフリーフォーマットウィンドウ管
理テーブル18から取得し、次のステップ604では、
その取得した信号端子に上記状態値を設定する。これに
よって、フリーフォーマットウィンドウ内の指定された
表示位置における状態値が変更されて表示される。この
後、このフローは「終了」となる。
【0070】一方、ステップ605では、エラーメッセ
ージを出力し、この後、このフローは「終了」となる。
このようにして、状態値変更プロセス86の処理に従っ
て、フリーフォーマットウィンドウ上の表示位置の指定
と書き換えるべき状態値の指定から、その表示位置に対
応する信号端子が特定され、その信号端子の状態値が変
更表示されるようになる。
【0071】<メモリ表示プロセス87……図22>イ
ベント処理プロセス81から起動されると、先ずステッ
プ701では、図3及び図4に関連して説明したように
メモリ管理テーブル21を参照して仮想空間イメージを
生成する。次のステップ702では、生成した仮想空間
イメージを端末2のディスプレイ3に表示する(例えば
図11,図13参照)。この後、このフローは「終了」
となる。
【0072】<メモリ書き込みプロセス88……図2
3,図24> (1) 第1の例……図23参照 イベント処理プロセス81から起動されると、先ずステ
ップ801では、ユーザとの対話を通してディスプレイ
画面上に直接指定された位置と状態値を取得する。次の
ステップ802では、その取得した位置に基づいて、メ
モリ管理テーブル21の記憶領域内のアクセスする領域
(つまり、その取得した位置を指示するアドレスによっ
て指定される記憶領域)を求める。次のステップ803
では、その求められた領域に上記指定された状態値を設
定する。これによって、ディスプレイ画面上に直接指定
された位置に対応するメモリ内容が書き換えられる。こ
の後、このフローは「終了」となる。
【0073】(2) 第2の例……図24参照 イベント処理プロセス81から起動されると、先ずステ
ップ851では、入力されたコマンドがメモリ内容を書
き換える命令(SETM)であると判断された時に、メ
モリ管理テーブル21よりアクセスする領域を求める。
次のステップ852では、その求められた領域に、上記
SETMによって指示される状態値を設定する。これに
よって、上記SETMに基づいてディスプレイ画面上に
指定された位置に対応するメモリ内容が書き換えられ
る。この後、このフローは「終了」となる。
【0074】<ファンクションキー処理プロセス89…
…図25>イベント処理プロセス81から起動される
と、先ずステップ901では、ユーザが操作したファン
クションキーの番号を指示する情報をファンクション管
理テーブル22から取得する。次のステップ902で
は、その取得した番号情報に基づいて、その操作された
ファンクションキーに特定のコマンドが設定されている
(Y)か否(N)かを判定し、判定結果がYを指示する
場合にはステップ903に進み、判定結果がNを指示す
る場合にはこのフローは「終了」となる。
【0075】ステップ903では、そのコマンドは即時
実行されるべき命令である(Y)か否(N)かを判定
し、判定結果がYを指示する場合にはステップ904に
進み、判定結果がNを指示する場合にはステップ905
に進む。ステップ905では、指定されたコマンド文字
列をコマンド入力域(図19に示す表示画面上の(7)
の部分)に表示し、この後、このフローは「終了」とな
る。
【0076】一方、ステップ904では、指定されたコ
マンド文字列を前述のコマンド処理プロセス(図19,
図20参照)に引き渡すことで即時実行を行う。この
後、このフローは「終了」となる。以上説明したよう
に、本実施例に係る論理シミュレーションシステムにお
いては、結果表示制御手段13は、ウィンドウ管理テー
ブル16(フリーフォーマットウィンドウ管理テーブル
18)及び信号値管理テーブル17の管理データを参照
して、フリーフォーマット表示形式の持つ信号端子の現
表示時刻の信号値を設定することで、現表示時刻におけ
るフリーフォーマット表示形式での論理シミュレーショ
ン結果情報を特定すると共に、ウィンドウ管理テーブル
16(ストリームウィンドウ管理テーブル19)及び信
号値管理テーブル17の管理データを参照して、ストリ
ーム表示形式の持つ信号端子の現表示時刻を含む信号値
の時系列データを特定することで、現表示時刻を含むス
トリーム表示形式での論理シミュレーション結果情報を
特定する。そして、特定したフリーフォーマット表示形
式での論理シミュレーション結果情報とストリーム表示
形式での論理シミュレーション結果情報とを、それぞれ
ディスプレイ画面上の設定されたウィンドウ内に同時に
表示する。
【0077】そして、コマンド解析手段14は、ディス
プレイ3を介してユーザと対話することで、入出力制御
手段10を介して入力されるコマンドを解析し、その結
果、当該コマンドが信号端子への信号値設定の命令であ
る場合には、信号値設定手段26に制御を渡す。信号値
設定手段26は、論理回路データ情報管理手段11に変
更を通知することによって信号値の状態を変更する。な
お、信号値の設定に際しては、2進表示或いは16進表
示によって、複数の信号端子にまとめて設定してもよ
い。
【0078】状態値選択手段25は、ディスプレイ画面
を介してユーザと対話することで、フリーフォーマット
表示形式中の状態値を選択する。そして、この選択され
た状態値が元の表示値と異なる値であると判定した場合
には、ウィンドウ管理テーブル16を参照して、選択さ
れた状態値に対応する信号端子を、入力された値と共
に、信号値設定手段26に引き渡す。これを受けて信号
値設定手段26は、フリーフォーマット表示形式中の指
示された状態値を直接変更する。
【0079】また、時刻設定手段31は、ディスプレイ
画面を介してユーザと対話することで、ストリーム表示
形式中のシミュレーション時刻を選択する。そして、そ
の選択したシミュレーション時刻が現時刻よりも先であ
ると判定した場合には、シミュレーション実行手段30
に制御を移すことで、その選択したシミュレーション時
刻までシミュレーションを進める。
【0080】一方、メモリ内容選択手段32は、ディス
プレイ画面を介してユーザと対話することで、ディスプ
レイ画面に表示されているメモリ内容のうちユーザが指
示したメモリ内容を選択する。そして、その指示された
メモリ内容の値が元の表示値と異なる値であると判定し
た場合には、メモリ管理テーブル21を参照し、メモリ
内容設定手段29に制御を移すことで、その指示された
メモリ内容の書き換えを行う。
【0081】このように、本実施例による論理シミュレ
ーションシステムによれば、多数の信号端子の信号値を
表示可能にするフリーフォーマット表示形式での論理シ
ミュレーション結果情報と、信号端子の信号値の時間的
な流れを把握可能にするストリーム表示形式での論理シ
ミュレーション結果情報とを同一ディスプレイ画面上に
マルチウィンドウの形態で同時に表示し、またメモリ仮
想空間イメージの内容をディスプレイ画面上に表示する
ことを基本構成にして、メニューの選択による入力指示
等を不要にし、フリーフォーマット表示上に直接書き込
むことにより状態値を設定したり、ストリーム表示上の
時刻部分を直接指示することによりシミュレーションを
実行したり、メモリ内容表示上に直接書き込むことによ
りメモリ内容を書き換えたりする構成を採っている。
【0082】従って、ユーザは、論理シミュレーション
に関する面倒な手順や操作を意識することなく、論理シ
ミュレーションの実行とその解析を容易に且つ効率的に
行うことができる。また、次の段階のシミュレーション
手順を考える場合でも、その思考の中断を少なくして、
効率的なシミュレーションの実行が可能となる。
【0083】なお、上述した実施例ではディスプレイ画
面上の表示部分の色を変えることでユーザの注意を喚起
する構成について説明したが、本発明はこれに限定され
ることなく、例えば、明るさを変えたり、或いはフリッ
カさせたりするような他の構成を採ることも可能であ
る。
【0084】本発明は、さらに以下の実施態様を含む。 (付記1) ディスプレイ画面を介してユーザと対話す
ることで論理シミュレーションを行い、その結果を該デ
ィスプレイ画面に表示する構成を採る対話型論理シミュ
レーションシステムにおいて、前記ディスプレイ画面を
介してユーザと対話することで、任意の表示範囲によっ
て規定されたウィンドウの形態で論理シミュレーション
結果情報の少なくとも1つの表示形式を設定する設定手
段(24)と、該設定手段により設定されるフリーフォ
ーマット表示形式の表示態様を管理する第1の管理テー
ブル(16,18)と、論理シミュレーション結果情報
の時系列表示形式となるストリーム表示形式の表示態様
を管理する第2の管理テーブル(16,19)と、論理
シミュレーション結果情報をなす信号端子毎の信号値の
時系列データを管理する第3の管理テーブル(17)
と、前記第1,第2,第3の管理テーブルの管理データ
を用いて論理シミュレーション結果情報を特定し、該特
定した論理シミュレーション結果情報を前記ディスプレ
イ画面に表示するよう処理を行う結果表示制御手段(1
3)とを具備し、指定した時刻のフリーフォーマット表
示形式での論理シミュレーション結果情報と指定した信
号端子のストリーム表示形式での論理シミュレーション
結果情報とを、それぞれ前記ディスプレイ画面上の設定
されたウィンドウに同時に表示するようにしたことを特
徴とする対話型論理シミュレーションシステム。
【0085】(付記2) 付記1に記載の対話型論理シ
ミュレーションシステムにおいて、論理シミュレーショ
ンの対象となる論理回路の信号端子に対応付けられた論
理回路データ情報を管理する手段(11)と、前記ディ
スプレイ画面との対話を通してユーザから与えられたコ
マンドを解析する手段(14)と、該解析結果に基づい
て当該コマンドが信号端子への信号値設定を指示する命
令(SETS)である場合に、前記論理回路データ情報
のうち指示された信号端子に対応する信号値の情報を変
更することで信号値設定を行う手段(26)とを具備す
ることを特徴とする対話型論理シミュレーションシステ
ム。
【0086】(付記3) 付記2に記載の対話型論理シ
ミュレーションシステムにおいて、前記信号値設定を行
う手段は、一信号端子名又は複数の信号端子をまとめた
グループ名の指定によるコマンドに基づいて信号端子へ
の信号値設定を行うことを特徴とする対話型論理シミュ
レーションシステム。
【0087】(付記4) 付記3に記載の対話型論理シ
ミュレーションシステムにおいて、前記結果表示制御手
段は、前記信号端子への信号値設定がグループ名の指定
によって行われる場合に、論理シミュレーション結果情
報の信号値を16進数又は2進数で表示することで複数
の信号端子の信号値をまとめて表示するよう処理を行う
ことを特徴とする対話型論理シミュレーションシステ
ム。
【0088】(付記5) 付記1に記載の対話型論理シ
ミュレーションシステムにおいて、論理シミュレーショ
ンの対象となる論理回路の信号端子に対応付けられた論
理回路データ情報を管理する手段(11)と、前記ディ
スプレイ画面を介してユーザと対話することで、フリー
フォーマット表示形式のウィンドウ内に表示されている
状態値のうちユーザが指示した状態値を選択する手段
(25)と、該選択された状態値が元の表示値と異なる
値である場合に、前記第1の管理テーブルを参照して該
選択された状態値に対応する信号端子を特定し、前記論
理回路データ情報のうち前記特定された信号端子に対応
する現時刻での状態値情報を変更する手段(25,2
6)とを具備することを特徴とする対話型論理シミュレ
ーションシステム。
【0089】(付記6) 付記1に記載の対話型論理シ
ミュレーションシステムにおいて、論理シミュレーショ
ンの対象となる論理回路の信号端子に対応付けられた論
理回路データ情報を管理する手段(11)と、前記ディ
スプレイ画面との対話を通してユーザから与えられたコ
マンドを解析する手段(14)と、該解析結果に基づい
て当該コマンドが属性変更を指示する命令である場合
に、前記論理回路データ情報のうち指示された信号端子
の属性情報を変更することで論理シミュレーション対象
回路内の該当する素子又は回路の評価を行わないよう処
理する手段(27)とを具備することを特徴とする対話
型論理シミュレーションシステム。
【0090】(付記7) 付記1に記載の対話型論理シ
ミュレーションシステムにおいて、前記ディスプレイ画
面との対話を通してユーザから与えられたコマンドを解
析する手段(14)と、該解析結果に基づいて当該コマ
ンドがシミュレーションを実行する命令(SIML)で
ある場合に、該命令によって指定された時刻における論
理シミュレーションを実行する手段(30,12)とを
具備することを特徴とする対話型論理シミュレーション
システム。
【0091】(付記8) 付記1に記載の対話型論理シ
ミュレーションシステムにおいて、前記ディスプレイ画
面を介してユーザと対話することで、該ディスプレイ画
面に表示されるストリーム表示形式のウィンドウ内の任
意のシミュレーション時刻を設定する手段(31)と、
該設定されたシミュレーション時刻まで論理シミュレー
ションを実行する手段(30,12)とを具備すること
を特徴とする対話型論理シミュレーションシステム。
【0092】(付記9) 付記8に記載の対話型論理シ
ミュレーションシステムにおいて、前記結果表示制御手
段は、前記設定されたシミュレーション時刻が現在時刻
よりも過去の時刻である場合に、その設定された過去の
時刻での論理シミュレーション結果情報をフリーフォー
マット表示形式で表示するよう処理を行うことを特徴と
する対話型論理シミュレーションシステム。
【0093】(付記10) 付記1に記載の対話型論理
シミュレーションシステムにおいて、ユーザが操作する
入力装置(4)に備えられているファクションキーに設
定されたコマンドデータを管理するファクション管理テ
ーブル(22)と、前記ディスプレイ画面との対話を通
してユーザから指示されたファクションキーに設定され
ているコマンドを前記ファクション管理テーブルから特
定し、該特定したコマンドの内容に応じて、定義済みコ
マンドの即時実行の処理、又は前記ディスプレイ画面内
の特定の表示領域への当該コマンドの表示処理を制御す
る手段(15,14)とを具備することを特徴とする対
話型論理シミュレーションシステム。
【0094】(付記11) 付記1に記載の対話型論理
シミュレーションシステムにおいて、前記ディスプレイ
画面との対話を通してユーザから与えられたコマンドを
解析する手段(14)と、前記コマンドの解析結果に基
づいてエラーの無かったものをログとして出力する手段
(23)とを具備することを特徴とする対話型論理シミ
ュレーションシステム。
【0095】(付記12) 付記1に記載の対話型論理
シミュレーションシステムにおいて、論理シミュレーシ
ョン対象の回路内の複数のメモリセル(RAM)を特定
する論理アドレス空間を定義したデータを管理するメモ
リ管理テーブル(21)を更に具備し、該メモリ管理テ
ーブルを参照して、前記論理アドレス空間によって規定
されるメモリ仮想空間イメージでメモリ内容を前記ディ
スプレイ画面に表示するよう処理を行うことを特徴とす
る対話型論理シミュレーションシステム。
【0096】(付記13) 付記12に記載の対話型論
理シミュレーションシステムにおいて、前記ディスプレ
イ画面との対話を通してユーザから与えられたコマンド
を解析する手段(14)と、該解析結果に基づいて当該
コマンドがメモリ内容表示を指示する命令である場合
に、前記メモリ管理テーブルを参照して該当するメモリ
内容を前記ディスプレイ画面に表示するよう処理を行う
手段(28,13)とを具備することを特徴とする対話
型論理シミュレーションシステム。
【0097】(付記14) 付記12に記載の対話型論
理シミュレーションシステムにおいて、前記ディスプレ
イ画面との対話を通してユーザから与えられたコマンド
を解析する手段(14)と、該解析結果に基づいて当該
コマンドがメモリ内容設定命令(SETM)である場合
に、シミュレーション対象回路内のメモリセルのメモリ
内容を書き換えるよう処理を行う手段(29)とを具備
することを特徴とする対話型論理シミュレーションシス
テム。
【0098】(付記15) 付記12に記載の対話型論
理シミュレーションシステムにおいて、前記ディスプレ
イ画面を介してユーザと対話することで、前記ディスプ
レイ画面に表示されているメモリ内容のうちユーザの指
定したメモリ内容を選択する手段(32)と、該選択さ
れたメモリ内容の値が元の表示値と異なる値である場合
に、前記メモリ管理テーブルを参照して該選択されたメ
モリ内容を書き換えるよう処理を行う手段(32,2
9)とを具備することを特徴とする対話型論理シミュレ
ーションシステム。
【0099】(付記16) 付記12に記載の対話型論
理シミュレーションシステムにおいて、シミュレーショ
ン対象回路内の複数のメモリセルを特定するアドレスが
インタリーブ等のために所定の変換規則に従って不連続
に設定されている場合に、当該アドレス空間に対応した
メモリ仮想空間イメージでメモリ内容を前記ディスプレ
イ画面に表示する際に、前記所定の変換規則に従ってデ
ータを並び変えることで当該メモリ仮想空間上にデータ
を連続して表示するよう処理を行うことを特徴とする対
話型論理シミュレーションシステム。
【0100】(付記17) 付記16に記載の対話型論
理シミュレーションシステムにおいて、ディスプレイ画
面に表示されるメモリセル仮想空間上の任意のアドレス
及びビットの値を書き換えた時に、付記16のアドレス
変換の逆変換によりシミュレーション対象回路内のメモ
リセルに対するアドレスを計算し、データを並び変えて
メモリセルの内容を書き換えるようにしたことを特徴と
する対話型論理シミュレーションシステム。
【0101】
【発明の効果】以上説明したように本発明によれば、フ
リーフォーマット表示上に直接書き込むことによって状
態値を設定したり、ストリーム表示上の時刻部分を指示
することによりシミュレーション実行を行わせたり、メ
モリ内容表示上に直接書き込むことによってメモリ内容
を書き換えたりすることができるので、ユーザは、シミ
ュレーションに関する面倒な手順や操作を意識すること
なく、容易に且つ効率的にシミュレーションの実行及び
解析を行うことができる。
【図面の簡単な説明】
【図1】本発明に係る対話型論理シミュレーションシス
テムの一実施例の構成を示すブロック図である。
【図2】図1におけるウィンドウ管理テーブル及びそれ
に関連した各テーブルの説明図である。
【図3】図1におけるメモリ管理テーブルの説明図であ
る。
【図4】メモリのインタリーブの説明図である。
【図5】図1におけるファンクション管理テーブルの説
明図である。
【図6】図1のシステムによる論理シミュレーション結
果情報の表示処理の第1の例を示す図である。
【図7】図1のシステムによる論理シミュレーション結
果情報の表示処理の第2の例を示す図である。
【図8】図1のシステムによる論理シミュレーション結
果情報の表示処理の第3の例を示す図である。
【図9】図1のシステムによる論理シミュレーション結
果情報の表示処理の第4の例を示す図である。
【図10】図1のシステムによる論理シミュレーション
結果情報の表示処理の第5の例を示す図である。
【図11】図1のシステムによるメモリ仮想空間イメー
ジの内容表示の一例を示す図である。
【図12】メモリの内容書き換えの一例を示す図であ
る。
【図13】メモリの内容書き換えの他の例を示す図であ
る。
【図14】図1における結果表示制御手段のプログラム
構成の一例を示すブロック図である。
【図15】図14に示すイベント処理プロセスの一例を
示すフローチャートである。
【図16】図14に示すストリームウィンドウ表示プロ
セスの一例を示すフローチャートである。
【図17】図14に示すフリーフォーマットウィンドウ
表示プロセスの一例を示すフローチャートである。
【図18】図14に示す時刻変更プロセスの一例を示す
フローチャートである。
【図19】図14に示すコマンド処理プロセスの一例
(その1)を示すフローチャートである。
【図20】図14に示すコマンド処理プロセスの一例
(その2)を示すフローチャートである。
【図21】図14に示す状態値変更プロセスの一例を示
すフローチャートである。
【図22】図14に示すメモリ表示プロセスの一例を示
すフローチャートである。
【図23】図14に示すメモリ書き込みプロセスの第1
の例を示すフローチャートである。
【図24】図14に示すメモリ書き込みプロセスの第2
の例を示すフローチャートである。
【図25】図14に示すファンクションキー処理プロセ
スの一例を示すフローチャートである。
【符号の説明】
1…対話型論理シミュレーションシステム 2…端末 3…ディスプレイ 4…入力装置(キーボード、マウス等) 10…入出力(I/O)制御手段 11…論理回路データ(LD)情報管理手段 12…論理シミュレーション手段 13…結果表示制御手段 14…コマンド解析手段 15…ファクションキー制御手段 16…ウィンドウ管理テーブル 17…信号値管理テーブル 18…フリーフォーマットウィンドウ(FW)管理テー
ブル 19…ストリームウィンドウ(SW)管理テーブル 20…時刻管理テーブル 21…メモリ管理テーブル 22…ファンクション管理テーブル 23…ログ出力手段 24…ウィンドウ設定手段 25…状態値選択手段 26…信号値設定手段 27…属性変更手段 28…メモリ内容表示手段 29…メモリ内容設定手段 30…シミュレーション実行手段 31…時刻設定手段 32…メモリ内容選択手段

Claims (26)

    【特許請求の範囲】
  1. 【請求項1】 論理シミュレーションの結果を画面に表
    示する論理シミュレーションシステムにおいて、 前記論理シミュレーションの対象となる論理回路の信号
    端子に対応付けられた論理回路データ情報を管理する情
    報管理手段と、 指定した時刻のみの前記信号端子の信号値を表示するフ
    リーフォーマット表示形式による論理シミュレーション
    結果情報と指定した時刻を含む前記信号端子の信号値の
    時系列表示形式となるストリーム表示形式による論理シ
    ミュレーション結果情報をそれぞれ画面上に表示するた
    めの結果表示制御手段と、 変更された信号値を前記論理回路データ情報の前記信号
    端子に設定する信号値設定手段とを具備したことを特徴
    とする論理シミュレーションシステム。
  2. 【請求項2】 請求項1に記載の論理シミュレーション
    システムにおいて、 前記信号値設定手段は、一信号端子名又は複数の信号端
    子をまとめたグループで信号端子への信号値設定を行う
    ことを特徴とする論理シミュレーションシステム。
  3. 【請求項3】 請求項1に記載の論理シミュレーション
    システムにおいて、 前記結果表示制御手段は、信号値の表示を16進数又は
    2進数で表示することで複数の信号端子の信号値をまと
    めて表示することを特徴とする論理シミュレーションシ
    ステム。
  4. 【請求項4】 論理シミュレーションの結果を画面に表
    示する論理シミュレーションシステムにおいて、 指定した時刻のみの信号端子の信号値を表示するフリー
    フォーマット表示形式による論理シミュレーション結果
    情報と指定した時刻を含む前記信号端子の信号値の時系
    列表示形式となるストリーム表示形式による論理シミュ
    レーション結果情報をそれぞれ画面上に表示するための
    結果表示制御手段と、 ユーザがファンクションキーを操作することで、ファン
    クションキーに登録されたコマンドを実行するファンク
    ションキー制御手段とを具備したことを特徴とする論理
    シミュレーションシステム。
  5. 【請求項5】 論理シミュレーションの結果を画面に表
    示する論理シミュレーションシステムにおいて、 指定した時刻のみの信号端子の信号値を表示するフリー
    フォーマット表示形式による論理シミュレーション結果
    情報と指定した時刻を含む信号端子の信号値の時系列表
    示形式となるストリーム表示形式による論理シミュレー
    ション結果情報をそれぞれ画面上に表示するための結果
    表示制御手段と、 入力されたコマンドを解析するコマンド解析手段と、 前記コマンド解析手段によって、エラーがないと判定さ
    れた前記コマンドをログとして出力するログ出力手段と
    を具備することを特徴とする論理シミュレーションシス
    テム。
  6. 【請求項6】 論理シミュレーションの結果を画面に表
    示する論理シミュレーションシステムにおいて、 前記論理シミュレーションの対象となる論理回路の信号
    端子に対応付けられた論理回路データ情報を管理する情
    報管理手段を具備し、 論理アドレス空間によって規定されるメモリ仮想空間イ
    メージで、前記論理回路内の複数のメモリセルに格納さ
    れたメモリ内容を前記画面に表示することを特徴とする
    論理シミュレーションシステム。
  7. 【請求項7】 請求項6に記載の論理シミュレーション
    システムにおいて、 ユーザのコマンド入力によって、メモリ内容を前記画面
    に表示することを特徴とする論理シミュレーションシス
    テム。
  8. 【請求項8】 請求項6に記載の論理シミュレーション
    システムにおいて、 前記メモリセルに格納された前記メモリ内容を書き換え
    るメモリ内容設定手段とを具備したことを特徴とする論
    理シミュレーションシステム。
  9. 【請求項9】 請求項6に記載の論理シミュレーション
    システムにおいて、 前記画面に表示されている前記メモリ内容を選択するメ
    モリ内容選択手段とを具備し、 該選択されたメモリ内容の値が元の表示値と異なる値で
    ある場合に、前記メモリ内容設定手段によって、メモリ
    内容を書き換えることを特徴とする論理シミュレーショ
    ンシステム。
  10. 【請求項10】 請求項6に記載の論理シミュレーショ
    ンシステムにおいて、 前記複数のメモリセルを特定するアドレスが所定の変換
    規則に従って不連続に設定されている場合に、前記所定
    の変換規則に従ってデータを並び変えることでデータを
    連続して前記画面に表示することを特徴とする論理シミ
    ュレーションシステム。
  11. 【請求項11】 請求項10に記載の論理シミュレーシ
    ョンシステムにおいて、 前記メモリセルに格納された前記メモリ内容を書き換え
    るメモリ内容設定手段とを具備したことを特徴とする論
    理シミュレーションシステム。
  12. 【請求項12】 前記各論理シミュレーション結果情報
    をそれぞれに対応するウィンドウで表示することを設定
    する設定手段を有することを特徴とする請求項1乃至1
    1のいずれか1項に記載の論理シミュレーションシステ
    ム。
  13. 【請求項13】 ユーザの指示に基づき前記論理シミュ
    レーション結果情報の表示形態を設定する設定手段を有
    することを特徴とする請求項1乃至12のいずれか1項
    に記載の論理シミュレーションシステム。
  14. 【請求項14】 論理回路の信号端子に対応付けられた
    論理回路データ情報に基づいて論理シミュレーションを
    行う論理シミュレーション装置を制御し、前記論理シミ
    ュレーション装置の結果を画面に表示させる入出力制御
    装置において、 指定した時刻のみの前記信号端子の信号値を状態値とし
    て表示するフリーフォーマット表示形式による論理シミ
    ュレーション結果情報と指定した時刻を含む前記信号端
    子の信号値の時系列表示形式となるストリーム表示形式
    による論理シミュレーション結果情報をそれぞれ画面上
    に表示するための結果表示制御手段と、 変更された信号値を前記論理シミュレーション装置が管
    理する前記論理回路データ情報の前記信号端子に設定さ
    せる信号値設定手段とを具備したことを特徴とする入出
    力制御装置。
  15. 【請求項15】 請求項14に記載の入出力制御装置に
    おいて、 前記信号値設定手段は、一信号端子名又は複数の信号端
    子をまとめたグループで信号端子への信号値設定を行う
    ことを特徴とする入出力制御装置。
  16. 【請求項16】 請求項14に記載の入出力制御装置に
    おいて、 前記結果表示制御手段は、信号値の表示を16進数又は
    2進数で表示することで複数の信号端子の信号値をまと
    めて表示することを特徴とする入出力制御装置。
  17. 【請求項17】 論理シミュレーション装置の結果を画
    面に表示させる入出力制御装置において、 指定した時刻のみの信号端子の信号値を表示するフリー
    フォーマット表示形式による論理シミュレーション結果
    情報と指定した時刻を含む前記信号端子の信号値の時系
    列表示形式となるストリーム表示形式による論理シミュ
    レーション結果情報をそれぞれ画面上に表示するための
    結果表示制御手段と、 ユーザがファンクションキーを操作することで、ファン
    クションキーに登録されたコマンドを実行するファンク
    ションキー制御手段とを具備したことを特徴とする入出
    力制御装置。
  18. 【請求項18】 論理シミュレーション装置の結果を画
    面に表示させる入出力制御装置において、 指定した時刻のみの信号端子の信号値を表示するフリー
    フォーマット表示形式による論理シミュレーション結果
    情報と指定した時刻を含む信号端子の信号値の時系列表
    示形式となるストリーム表示形式による論理シミュレー
    ション結果情報をそれぞれ画面上に表示するための結果
    表示制御手段と、 入力されたコマンドを解析するコマンド解析手段と、 前記コマンド解析手段によって、エラーがないと判定さ
    れた前記コマンドをログとして出力するログ出力手段と
    を具備することを特徴とする入出力制御装置。
  19. 【請求項19】 論理回路の信号端子に対応付けられた
    論理回路データ情報に基づいて論理シミュレーションを
    行う論理シミュレーション装置の結果を画面に表示させ
    る入出力制御装置において、 論理アドレス空間によって規定されるメモリ仮想空間イ
    メージで、前記論理回路内の複数のメモリセルに格納さ
    れたメモリ内容を前記画面に表示することを特徴とする
    入出力制御装置。
  20. 【請求項20】 請求項19に記載の入出力制御装置に
    おいて、 ユーザのコマンド入力によって、メモリ内容を前記画面
    に表示することを特徴とする入出力制御装置。
  21. 【請求項21】 請求項19に記載の入出力制御装置に
    おいて、 論理シミュレーション装置を制御し、前記メモリセルに
    格納された前記メモリ内容を書き換えるメモリ内容設定
    手段とを具備したことを特徴とする入出力制御装置。
  22. 【請求項22】 請求項21に記載の入出力制御装置に
    おいて、 前記画面に表示されている前記メモリ内容を選択するメ
    モリ内容選択手段とを具備し、 該選択されたメモリ内容の値が元の表示値と異なる値で
    ある場合に、前記メモリ内容設定手段によって、メモリ
    内容を書き換えることを特徴とする入出力制御装置。
  23. 【請求項23】 請求項19に記載の入出力制御装置に
    おいて、 論理シミュレーション装置を制御し、前記複数のメモリ
    セルを特定するアドレスが所定の変換規則に従って不連
    続に設定されている場合に、前記所定の変換規則に従っ
    てデータを並び変えることでデータを連続して前記画面
    に表示することを特徴とする入出力制御装置。
  24. 【請求項24】 請求項23に記載の入出力制御装置に
    おいて、 前記メモリセルに格納された前記メモリ内容を書き換え
    るメモリ内容設定手段とを具備したことを特徴とする入
    出力制御装置。
  25. 【請求項25】 前記各論理シミュレーション結果情報
    をそれぞれに対応するウィンドウで表示することを設定
    する設定手段を有することを特徴とする請求項14乃至
    24のいずれか1項に記載の入出力制御装置。
  26. 【請求項26】 ユーザの指示に基づき前記論理シミュ
    レーション結果情報の表示形態を設定する設定手段を有
    することを特徴とする請求項14乃至25のいずれか1
    項に記載の入出力制御装置。
JP2001264623A 2001-08-31 2001-08-31 対話型論理シミュレーションシステム Expired - Fee Related JP3729765B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2001264623A JP3729765B2 (ja) 2001-08-31 2001-08-31 対話型論理シミュレーションシステム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2001264623A JP3729765B2 (ja) 2001-08-31 2001-08-31 対話型論理シミュレーションシステム

Related Parent Applications (1)

Application Number Title Priority Date Filing Date
JP12258894A Division JP3251125B2 (ja) 1994-06-03 1994-06-03 対話型論理シミュレーションシステム

Publications (2)

Publication Number Publication Date
JP2002132848A true JP2002132848A (ja) 2002-05-10
JP3729765B2 JP3729765B2 (ja) 2005-12-21

Family

ID=19091198

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2001264623A Expired - Fee Related JP3729765B2 (ja) 2001-08-31 2001-08-31 対話型論理シミュレーションシステム

Country Status (1)

Country Link
JP (1) JP3729765B2 (ja)

Also Published As

Publication number Publication date
JP3729765B2 (ja) 2005-12-21

Similar Documents

Publication Publication Date Title
US8209663B2 (en) Dynamic generation of formatted user interfaces in software environments
US7120877B2 (en) System and method for creating a graphical program including a plurality of portions to be executed sequentially
US20060085783A1 (en) Multi-process display method in debugger system
JPH06103049A (ja) 仕様抽象化詳細方式
JPH10283020A (ja) プログラマブル表示装置
JP3251125B2 (ja) 対話型論理シミュレーションシステム
JP2007219649A (ja) ダイヤグラム編集装置
JP3729765B2 (ja) 対話型論理シミュレーションシステム
JP2002132849A (ja) 論理シミュレーションシステムおよび入出力制御装置
JP2002157297A (ja) 論理シミュレーションシステムおよび入出力制御装置
JP2002132850A (ja) 論理シミュレーションシステムおよび入出力制御装置
JP2007280092A (ja) 画面データ作成方法
JP3119960B2 (ja) 論理シミュレーションシステム
JPS63109578A (ja) 論理図概要表示処理方式
JP2001134423A (ja) 対話型既存システムを利用する新システムの画面情報出力方法
JP3674905B2 (ja) 文書編集装置
JPH0317741A (ja) プログラム作成支援装置
JPH11305903A (ja) プロセス監視画面表示用データ作成装置、プロセス監視画面表示装置及びプログラム記録媒体
JP2004537793A (ja) コントロール/ディスプレイ・ユニットのページ・ビルダ・ソフトウェア・ツール
JPH1021062A (ja) ビジュアルプログラミング装置及び方法
JPH10261003A (ja) 論理シミュレーション結果の表示方法および論理シミュレーション支援装置
JP2937381B2 (ja) 集積回路の設計方法及び設計装置
JP2000020113A (ja) ラダープログラムのモニター方法及びモニター用プログラムを記録したコンピュータ読み取り可能な記録媒体
JPH0528428B2 (ja)
JPH02285414A (ja) キー表示処理方式

Legal Events

Date Code Title Description
A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20050104

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20050118

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20050322

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20050531

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20050727

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20050906

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20051004

R150 Certificate of patent or registration of utility model

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20081014

Year of fee payment: 3

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091014

Year of fee payment: 4

LAPS Cancellation because of no payment of annual fees