JP3192906B2 - 論理シミュレーションシステム及び論理変更方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は論理回路の設計方式に係
り、更に詳しくは論理回路の動作シミュレーションを行
う論理シミュレーションシステム、および論理シミュレ
ーションシステムにおける論理変更方法に関する。

【０００２】

【従来の技術】ディジタル計算機などのように、論理回
路によって構成される装置は近年増々大規模、かつ複雑
となり、それらの装置の設計を検証するための論理シミ
ュレーションの重要性が高まっている。また装置が大規
模になるにつれて、論理シミュレーションの高速化が要
求され、そのため大規模な回路を高速にシミュレーショ
ンするための専用ハードウェアも開発されている。

【０００３】これらのハードウェアを用いることにより
シミュレーションの高速化が実現されてきているが、シ
ミュレーションモデルの作成自体は依然として汎用計算
機によって行う必要があり、モデルの作成時間が長くな
ると言う問題点があった。特に論理回路の一部を修正す
る場合には、論理回路のデータを格納している論理デー
タベースの内容を変更し、シミュレーションモデルを再
作成すると言う方法が一般的にとられている。

【０００４】図６２は、従来の会話型シミュレーション
の概念を示している。設計者はまずシミュレーションの
対象となる論理回路のデータベースを作成し、計算機が
そのデータベースをモデル化してシミュレーションモデ
ルを生成する。そして、計算機は設計者と対話を行いな
がらシミュレーションを実行する。回路を修正する場
合、設計者はデータベースの一部を入力し直して変更す
る。

【０００５】図６３は、従来の会話型シミュレーション
のフローチャートである。図６３において、設計者はま
ず回路にエラーがないかどうかを調べ（ステップＳ１２
１）、エラーを発見した場合はその旨を計算機に入力す
る。計算機はシミュレーションを実行するかどうかを設
計者に問い合わせ（ステップＳ１２２）、回答がＹＥＳ
であればシミュレーションを実行する（ステップＳ１２
３）。そして、シミュレーションを終了する指示があっ
たときに（ステップＳ１２４、ＹＥＳ）、処理を終え
る。

【０００６】ステップＳ１２１でエラーが発見されない
場合は、ステップＳ１２３以降の処理を行い、ステップ
Ｓ１２４で終了しない場合はステップＳ１２１以降の処
理を繰り返す。また、発見されたエラー箇所の回路を修
正したい場合は、設計者はステップＳ１２２でＮＯと回
答し、ステップＳ１２４でＹＥＳと回答して一旦シミュ
レーションを終了させる。そして、データベースの一部
を変更して会話型シミュレーションを再起動し、シミュ
レーションモデルを再作成させる。

【０００７】この方法では、回路規模が大きくなるに従
ってモデル再作成に要する時間が増大し、論理修正を行
って再度シミュレーションによって結果を確認するため
のターンアラウンドタイムが長くなっていた。

【０００８】このような問題点を解決するために、作成
されたシミュレーションモデルの部分的な修正を行う場
合、修正部分を含む階層ブロックのみを再コンパイルし
て、他の部分と結合することによって処理時間を短縮す
る方法もあった。しかしながら、この方法によっても、
階層ブロックの再コンパイルと他の部分との結合処理に
時間がかかり、大規模な回路では処理時間の短縮は十分
ではなかった。また、シミュレーションモデルに階層情
報を持つ必要があり、ファイルの規模が大きくなるとと
もに複雑になる問題がある。

【０００９】更にシミュレーションで見つかったエラー
を修正する場合に、仮の修正を行ってシミュレーション
で正常動作を確認した後に、論理データベースの内容を
修正したいと言う要望が一般的に存在する。すなわち、
論理データベースは設計情報を一括して管理するための
マスター情報であって、複数の設計者が参照するファイ
ルであるために、論理の正当性を確認した後に変更を行
った方がよい。

【００１０】

【発明が解決しようとする課題】本発明はその目的とし
て、２つの大きな問題点を解決しようとするものであ
る。第１の問題点は大規模回路のシミュレーションモデ
ル変更時間の高速化の問題であり、第２の問題点は論理
回路の変更を行う場合に、論理データベースを変更せず
にシミュレーションモデルを仮修正して、シミュレーシ
ョンによりその修正の正当性を確認した後に論理データ
ベースを変更したいと言う問題点である。

【００１１】本発明は論理回路の修正を行おうとする場
合、論理データベースへの論理エントリからやり直して
変更を行うのではなく、すでに作成されているシミュレ
ーションモデルを直接変更することによって仮の修正を
行い、論理シミュレーションを行って結果を確認するま
でのターンアラウンドタイムを短縮することを目的とす
る。

【００１２】

【課題を解決するための手段】図１は本発明の原理ブロ
ック図である。同図は、論理データベースに格納されて
いる論理回路データをシミュレーションモデルに変換し
て、論理シミュレーションを行う論理シミュレーション
システムの原理ブロック図である。

【００１３】図１において、シミュレーションモデル変
更手段１は論理回路の一部の変更を行おうとする時、論
理データベース内のデータの変更を行うことなく、変換
された論理シミュレーションモデルを直接変更するもの
である。

【００１４】このシミュレーションモデル変更手段１
は、例えばグラフィック画面表示・変更指示手段３と、
新シミュレーションモデル作成手段４とによって構成さ
れる。システム内には、例えばシミュレーションモデル
を表示して、設計者がそのシミュレーションモデルに対
する変更指示を対話形式で入力できる表示手段２が備え
られ、グラフィック画面表示・変更指示手段３は表示手
段２の表示制御を行うと共に、シミュレーションモデル
に対する設計者からの変更指示を受け取り、古いシミュ
レーションモデルに対するシミュレーションモデル修正
情報を新シミュレーションモデル作成手段４に出力す
る。新シミュレーションモデル作成手段４は、グラフィ
ック画面表示・変更指示手段３から出力されたシミュレ
ーションモデル修正情報と古いシミュレーションモデル
とに基づいて、新しいシミュレーションモデルを作成す
る。

【００１５】

【作用】本発明においては、論理データベースに格納さ
れる論理回路データは例えば複数の階層に区分された階
層表現の形式であり、その論理回路データが、実際にシ
ミュレーションを行うために、階層がなく、シミュレー
ションを即時実行できるゲートレベルのシミュレーショ
ンモデルに変換されて、シミュレーションが実行され
る。

【００１６】しかしながら、このようなゲートレベルの
シミュレーションモデル自体は一般的に設計者が理解で
きるものではないため、そのようなシミュレーションモ
デルを表示手段２に表示する際には、設計者が理解する
ことができ、かつ１つ以上の論理ゲートを含むマクロの
レベルに変換されて、シミュレーションモデルの表示が
行われる。

【００１７】設計者は、例えばこのようにして表示され
たシミュレーションモデルに対する変更指示を表示手段
２、例えばグラフィックディスプレイを介して対話形式
で行い、その指示がグラフィック画面表示・変更指示手
段３によって解釈され、シミュレーションモデルに対す
る修正情報が新シミュレーションモデル作成手段４に与
えられることにより、新しいシミュレーションモデルの
作成が行われ、そのシミュレーションモデルに対するシ
ミュレーションが実行される。

【００１８】論理シミュレーションシステムには、例え
ばシミュレーションを行うためのソフトウェアシミュレ
ータおよびハードウェアシミュレータと、シミュレーシ
ョンモデルを格納するシミュレーションモデル格納部が
設けられる。そしてシミュレーションモデルの変更を行
う場合には、シミュレーションモデルの修正情報が読み
込まれ、その修正情報に応じて論理変更データが作成さ
れ、ソフトウェアシミュレータに対するデータ、ハード
ウェアシミュレータに対するデータ、およびシミュレー
ションモデル格納部に格納されているシミュレーション
モデルのいずれの変更が行われるかによって、例えばソ
フトウェアシミュレータの主記憶上のデータが変更さ
れ、あるいはハードウェアシミュレータにロードされて
いるデータが変更され、あるいはシミュレーションモデ
ル格納部に格納されているシミュレーションモデルの変
更が行われる。

【００１９】以上のように本発明によれば、論理データ
ベースに格納されている論理回路データを変更すること
なく、シミュレーションモデルの直接変更が可能とな
る。

【００２０】

【実施例】図２は本発明における論理シミュレーション
システムの構成ブロック図である。同図においてシミュ
レーションシステムは、論理を入力するための論理エン
トリ部１０、論理エントリ部１０によって入力された設
計データを格納する設計データベース１１、例えば複数
の論理素子によって構成されるマクロに関するデータを
格納しているマクロライブラリ１２、マクロライブラリ
１２と設計データベース１１との内容を用いて、マクロ
を更にアンドゲート、オアゲートレベルまで展開してシ
ミュレーションモデルを生成するシミュレーションモデ
ル生成部１３、シミュレーションモデル生成部１３によ
って生成されたシミュレーションモデルを格納するシミ
ュレーションモデル格納部１４、シミュレーションモデ
ル格納部１４に格納されているシミュレーションモデル
を用いてシミュレーションを実行するシミュレーション
実行部１５、シミュレーション実行部１５の指示に基づ
いてハードウェアシミュレーションを行うためのシミュ
レーション専用ハードウェア１６、シミュレーションモ
デルを表示するグラフィックディスプレイ１７、および
例えばグラフィックディスプレイ１７を介して行われる
設計者との対話に基づいて、シミュレーションモデル格
納部１４に格納されているシミュレーションモデルを変
更するシミュレーションモデル変更部１８から構成され
ている。

【００２１】図２において論理エントリ部１０は、世界
的な標準設計言語であるＶＨＤＬ（ＶＨＳＩＣハードウ
ェアディスクリプションランゲージ）などによって記述
された設計情報２０の読み込み、またはグラフィックデ
ィスプレイ１７を用いた設計者による回路図イメージの
論理入力などに基づいて、階層ブロック毎の設計情報を
データベースに格納できる形式に整えて、その結果を複
数のファイルから構成される設計データベース１１に出
力する。

【００２２】シミュレーションモデル生成部１３は、前
述のように設計データベース１１とマクロライブラリ１
２との内容に基づき階層形式のデータをフラットに展開
すると共に、マクロをアンド、オアなどのプリミティブ
なゲートレベルに展開して、シミュレーションモデルを
生成する。

【００２３】シミュレーション実行部１５はその内部
に、シミュレーションモデルを汎用計算機の主記憶上に
展開してシミュレーションを実行するソフトウェアシミ
ュレータ２１と、シミュレーションモデルをシミュレー
ション専用ハードウェア１６にローディングしてシミュ
レーションを実行させるためのハードウェアシミュレー
タ制御ソフト２２とを備えており、シミュレーションモ
デル格納部１４に格納されているシミュレーションモデ
ルを用いて、ソフトウェアシミュレーション、またはハ
ードウェアシミュレーションのいずれかを実行する。ソ
フトウェアシミュレータ２１により展開されたシミュレ
ーションモデルは、例えば回路データ情報２３として主
記憶上に保持される。

【００２４】シミュレーションモデル変更部１８は本発
明の最も特徴的な部分であり、シミュレーションモデル
を直接変更する機能を持つ。このシミュレーションモデ
ル変更部１８に対する変更指示の方法としては以下の３
つがある。第１の方法は、グラフィックディスプレイ１
７の画面上で回路図を用いて設計者が対話的に論理変更
を指示する方法であり、設計者にとっては回路図イメー
ジで修正指示ができるので、論理修正が容易である。

【００２５】第２の方法は過去に論理修正を行った結果
としてのシミュレーションモデル修正情報２５，２６の
履歴情報をそのまま、またはマージ、あるいは編集して
入力する方法であり、この方法では何回も修正を行った
結果をマージして一度に修正したり、似たような修正を
繰り返して行う場合に、修正情報を例えばエディタを用
いて編集することができるため、この方法に慣れれば第
１の方法よりも早く修正指示を行うことができる。

【００２６】第３の方法は、論理エントリ部１０から出
力されたシミュレーションモデル修正情報２６をそのま
ま、またはマージ、あるいは編集して入力する方法であ
り、この方法は論理エントリ部で修正を行った場合に、
論理データベースを変更せずに修正情報をシミュレーシ
ョンモデル変更部１８に渡して、シミュレーションモデ
ルを直接変更する方法である。この場合、設計者から見
ればシミュレーションモデルの変更の意識が必要ない
が、設計データベース１１は階層毎に別のファイルにデ
ータが格納されているために、例えば複数のＬＳＩの間
の接続を変更する時、各ＬＳＩと、ＬＳＩを接続するプ
リント板とのファイルの内容を同時に入力することが、
場合によっては必要となる。

【００２７】シミュレーションモデル変更部１８による
シミュレーションモデルの変更方法として、次の４つの
方法がある。第１の方法は、すでにシミュレーションモ
デル格納部１４に格納されているファイルの内容を書き
換えるものであり、この方法では出力用のシミュレーシ
ョンモデルファイルを用意する必要がないため、ディス
クが節約できる。

【００２８】第２の方法は、変更したシミュレーション
モデルファイルを別のファイルとしてシミュレーション
モデル格納部１４に出力する方法であり、この方法では
新たにファイルを用意する必要があるが、元のシミュレ
ーションモデルに対して何種類も変更を行って、それぞ
れ別のファイルを作成することが可能である。

【００２９】第３の方法はソフトウェアシミュレータ２
１が主記憶上に読み込んだシミュレーションモデルを直
接変更する方法であり、また第４の方法はハードウェア
シミュレーション制御ソフト２２がシミュレーション専
用ハードウェア１６にロードしたシミュレーションモデ
ルを直接変更する方法である。これらの方法では、前述
の２つの方法に比較してファイルの出力時間が節約さ
れ、より高速にシミュレーションモデルの変更を実行で
きるが、例えば同一シミュレーションモデルに対して複
数回シミュレーションを実行する必要がある場合には毎
回シミュレーションモデルの変更を行うことになり、そ
の回数が多い場合はトータルとしてのオーバヘッドが第
１、対２の方法よりも大きくなり、処理時間が長くなる
可能性がある。

【００３０】これらの４つの方法のいずれを用いても、
シミュレーションモデルの変更が行われた場合にはシミ
ュレーションモデル修正情報２５が出力され、これはシ
ミュレーションモデル変更部１８に対するシミュレーシ
ョンモデル修正情報２６、および論理エントリ部１０に
対するシミュレーションモデル修正情報２７として用い
られる。なおこれらの４つの方法のいずれを用いるか
は、設計者が最適な方法を選択する。

【００３１】シミュレーションモデルの変更が行われた
場合、シミュレーションにより論理修正の正当性が確認
された時点ではじめて設計データベース１１が変更され
る。この時シミュレーションモデル修正情報２７が論理
エントリ部１０に入力され、論理エントリ部１０によっ
てシミュレーションモデル修正情報２７のフォーマット
が設計データベース１１に対する入力データのフォーマ
ットに変更されることにより、設計データベース１１の
自動変更が行われる。

【００３２】図３は図２のシミュレーションモデル変更
部１８の一例を示す詳細構成ブロック図である。同図に
おいて、シミュレーションモデル変更部１８は、グラフ
ィック画面表示・変更指示部３１と新シミュレーション
モデル作成部３２とから構成され、新しいシミュレーシ
ョンモデルを自動的に生成する。

【００３３】グラフィック画面表示・変更指示部３１
は、設計者がグラフィックディスプレイ１７を介して入
力する変更指示と、シミュレーションモデル格納部１４
に格納されている古いシミュレーションモデルと、シミ
ュレーションモデル修正情報２６、すなわち過去の修正
履歴とを用いて、それらをマージした結果としてシミュ
レーションモデル修正情報２９を新しく作成し、それを
新シミュレーションモデル作成部３２に出力する。新シ
ミュレーションモデル作成部３２は、グラフィック画面
表示・変更指示部３１から出力される新しいシミュレー
ションモデル修正情報２９と、古いシミュレーションモ
デルとを用いて新しいシミュレーションモデルを作成
し、それをシミュレーションモデル格納部１４に格納す
る。

【００３４】図４および図５はグラフィック画面表示・
変更指示部の全体処理フローチャートである。このフロ
ーチャートにおいて処理が開始されると、まず図３で説
明したように例えば過去の修正履歴を示すシミュレーシ
ョンモデル修正情報がステップＳ１で読み込まれ、次い
でＳ２で設計者からグラフィックディスプレイを介して
指示されるコマンドが読み込まれ、コマンドの内容に応
じて、Ｓ３〜Ｓ１２で名前表示か、マクロ表示か、バッ
クトレースか、フォワードトレースか、接続変更か、入
力ピン削除か、出力ピン接続変更か、出力ピン削除か、
論理ブロック追加か、またはブール式による論理追加か
否かがそれぞれ判定され、名前表示である時にはＳ１３
で階層名表示処理が、マクロ表示である時にはＳ１４で
マクロブロック表示処理が、バックトレースである時に
はＳ１５でバックトレース処理が、フォワードトレース
である時にはＳ１６でフォワードトレース処理が、接続
変更である時にはＳ１７で接続変更処理が、入力ピン削
除である場合にはＳ１８で入力ピン削除処理が、出力ピ
ン接続変更である時にはＳ１９で出力ピン接続変更処理
が、出力ピン削除である時にはＳ２０で出力ピン削除処
理が、論理ブロック追加である時にはＳ２１で論理ブロ
ック追加処理が、またブール式による論理追加である時
にはブール式による論理追加処理がＳ２２で行われる。
これらの処理の詳細については後述する。

【００３５】Ｓ１２でコマンドの内容がブール式による
論理追加ではないと判定された時には、Ｓ２３で修正指
示が完了か否かが判定され、完了でない場合にはＳ２の
コマンド読込み以降の処理が繰り返される。修正指示完
了の場合には、Ｓ２４で新しい修正指示に関連するシミ
ュレーションモデル修正情報が作成され、Ｓ２５で古い
シミュレーションモデルと過去の修正履歴である古いシ
ミュレーションモデル修正情報２６とのマージが行わ
れ、Ｓ２６で新しいシミュレーション修正情報、すなわ
ち図３のシミュレーションモデル修正情報２９が出力さ
れて処理を終了する。

【００３６】図６は新シミュレーションモデル作成部の
処理フローチャートである。同図において処理が開始さ
れると、まずステップＳ３０で図３の新しいシミュレー
ションモデル修正情報２９が読み込まれ、その修正情報
に基づいてＳ３１で論理変更データが作成される。この
論理変更データ作成については後述する。

【００３７】Ｓ３１で論理変更データが作成されるとＳ
３２，Ｓ３３、およびＳ３４でそれぞれソフトシミュレ
ータの主記憶データ変更であるか、ハードシミュレータ
のデータ変更であるか、およびシミュレーションモデル
変更であるか否かが判定される。ソフトシミュレータの
主記憶上のデータ変更である場合にはＳ３５で変更デー
タが図２のソフトウェアシミュレータ２１に渡され、ハ
ードシミュレータデータ変更である場合には、Ｓ３６で
図２のシミュレーション専用ハードウェア１６、すなわ
ちハードシミュレータに変更データが渡され、シミュレ
ーションモデル変更である場合にはＳ３７で古いシミュ
レーションモデルが読み込まれ、Ｓ３８でシミュレーシ
ョンモデルの変更が行われ、Ｓ３９で新しいシミュレー
ションモデルが出力されて処理を終了する。

【００３８】なお例えばハードシミュレータのデータ変
更の場合でも、必要に応じてシミュレーションモデルの
変更が行われる。例えば１つのテストデータを用いてシ
ミュレーションを行い、その結果が良好であれば、シミ
ュレーションモデルを変更して、異なるシミュレーショ
ンデータを使ってシミュレーションを行うことも考えら
れる。

【００３９】更にシミュレーションモデルが変更された
場合、その変更結果は原則として図２で論理エントリ部
１０を介して設計データベース１１に反映されるが、場
合によってはデータベースを変更しないこともあり、そ
の判断は設計者によって行われる。シミュレーションモ
デルの変更の有無、データベースの変更の有無などの組
合せは設計者の指示に応じて決定され、全ての組合せが
実際におこる可能性がある。

【００４０】本発明においては、前述のように図２の設
計データベース１１は階層毎のファイルで構成されてい
る。図７はこの階層の考え方を示す設計階層の具体例で
ある。同図において、システムの構成要素のうちで例え
ばプリント板が最上位の階層に属し、マクロが最下位の
階層に属している。マクロとは設計者が理解できる最下
位の階層であり、その内部は単一のゲートによって構成
されることもあり、また複数のゲートによって構成され
ることもある。マクロ内のゲート構成については設計者
は内容を知る必要はない。なお図中の論理ブロック（Ｌ
Ｂ）は一般に複数のマクロによって構成される。

【００４１】最上位のプリント板と最下位のマクロとの
間には複数の途中階層が存在し、これらの途中階層は論
理ブロック（ＬＢ）、または集積回路（ＬＳＩ）によっ
て一般に構成されるが、同一の階層に論理ブロックとマ
クロとが混在する場合もある。

【００４２】図８および図９は設計データベース内の設
計データの階層構造のイメージを示す図である。図８
は、階層構造を表わすための各階層内のプリント板や、
論理ブロック、マクロなどの名前のツリー構造を示す。
図９は図８のツリー構造に対応するシステムのイメージ
である。図８における‘／’は最上位の階層、例えばシ
ステムを表わし、その下位に例えばプリント板Ｕ１及び
Ｕ２を構成要素とする階層があり、プリント板Ｕ１の下
にはＬＳＩを表わすＬ１〜Ｌ４で構成される階層があ
り、更に例えばＬ３の下には論理ブロック（またはマク
ロ）Ｂ１とＢ２で構成される階層が存在する。

【００４３】図１０は図７で説明したようなツリー構造
の各階層における構成要素の名前を検索する場合の画面
表示例である。これは図４のステップＳ３でコマンドの
内容が名前表示であると判定された時に、Ｓ１３で行わ
れる階層名表示処理の結果として表示される画面の例で
ある。この画面中で特定の名前を、例えばカーソルによ
って指定すると、その名前に相当するノードの下位にあ
る階層のノードの名前が表示され、これによって各階層
の構成ノードの名前を検索することができる。

【００４４】図１０で表示画面の下に記入されている注
の意味について説明する。注の１）カレントパス名は、
最上位の階層から現在の階層の直近上位のノードに至る
経路としてのパス名であり、例えば図８において‘／Ｕ
１’のカレントパス名に対してはＵ１の下の階層の構成
ノードとしてのＬ１〜Ｌ４の名前が表示される。

【００４５】注の４）は上位階層のブロック検索（ファ
インドブロック）のためのキーを示し、このキーによっ
て例えば図８の‘／Ｕ１／Ｌ３’のカレントパス名に対
する表示から、‘／Ｕ１’のカレントパス名に対する表
示へと表示を変化させることができる。注５）はファイ
ンドブロックコマンドメニューを表示するためのキーで
ある。このコマンドメニューについては後述する。注
７）のブロック名は図７におけるノードＬ１，Ｌ２など
の名前のことであり、以後各ノードに対応するマクロ、
論理ブロックなどを全てブロックと呼ぶことにする。

【００４６】図１１は一般に階層構造の最下位に位置す
るノードに相当するマクロブロックの内部構成を示す。
このマクロは２つのアンドゲートと、オアゲート、およ
びインバータから構成されており、このマクロにはマク
ロの名前として‘Ｍ０００１’が付けられている。

【００４７】図１２は図１０のマクロブロック内の各ゲ
ートを最下位に持つ階層構造のツリー構造表示である。
ここでは、例えば図７と異なり、説明の都合上最下位に
４つのゲートの名前を持つノードが示されているが、こ
れらの４つのゲートによってマクロブロックが構成され
ている。このマクロブロックパス名は、このツリー構造
に対応して、図１１に示されているように‘／Ａ／Ｂ’
となる。図１２のネーミングツリーを表現するデータに
は、マクロの出口に位置するゲート、すなわちインバー
タＩ１に対してマクロ出力ゲートフラグがオンとなって
おり、またマクロの入口に位置するゲート、すなわち２
つのアンドゲートＡ１，Ａ２に対してマクロ入力ゲート
フラグがオンとなっている。

【００４８】図１３は図１１に示されるマクロのディス
プレイ画面上での表示例である。例えば図１０に示した
ようなブロックの名前検索画面例において図１１のマク
ロが指定されると、このマクロを構成する全てのゲート
がリストアップされ、ゲート間の接続がトレースされ
て、マクロ入力フラグおよびマクロ出力フラグの参照結
果に基づきマクロの形状が再現されて、図１３に示すよ
うな形式で表示される。ここでマクロの入力側の信号、
例えば‘／Ａ／ＮＥＴＡ’はブロックＡの下にあるネッ
トの名前を表わす。なおネットとは電気的に等電位とな
るピンおよび配線の集合である。

【００４９】前述のように、設計者はシミュレーション
対象の論理回路を図１３に示されるマクロの形状のレベ
ルで認識し、このマクロについてはその出力と入力の間
の機能関係を知るのみである。これに対して実際のシミ
ュレーションモデル、すなわち図２においてシミュレー
ションモデル格納部１４に格納されるモデルは、マクロ
の内部が図１１に示すように単一のゲートレベルまで展
開されたものである。本発明においては、ゲートレベル
まで展開されたシミュレーションモデルの変更にあたっ
ては、例えば変更対象のマクロを図１３に示すレベルで
例えばグラフィックディスプレイ上に表示し、このレベ
ルにおいて設計者からの変更指示を受け取ることにな
る。

【００５０】なお図１３に示すようなマクロ表示は、図
４のステップＳ４でコマンドの内容がマクロ表示である
と判定された時に、ステップＳ１４で行われるマクロブ
ロック表示処理によって表示されるマクロの形式を示し
ている。

【００５１】図４のステップＳ５でコマンドの内容がバ
ックトレースであると判定されると、Ｓ１５でバックト
レース処理が行われるが、図１４はこのバックトレース
処理の説明図である。バックトレース処理においては、
あるマクロの入力端子に接続されているマクロが検索さ
れ、そのマクロの表示が行われる。

【００５２】バックトレース処理は、ＦＮＥＴ ＣＭＤ
（ファインドネット コマンド）メニューにおいて図１
４のに示すように‘バックトレース’が選択されるこ
とにより開始される。バックトレース対象の入力信号端
子名として選択可能な信号端子名は、例えば黄色に変色
する。この入力信号端子名は例えばＦＮＥＴウィンド
ウ、またはＦＡＮ−ＩＮウィンドウ上で指定される。バ
ックトレースを中止する場合には、コマンドメニューに
おいて取消しを選択すればよい。

【００５３】バックトレースの対象の信号端子名、すな
わちバックトレースの起点となる信号端子名がで示さ
れるように選択されると、その信号端子名は例えば赤い
色に変色する。そしてこの選択された入力端子に接続さ
れているマクロ、すなわちドライバブロックがＦＡＮ−
ＩＮウィンドウとして表示され、この表示においてこの
マクロは例えば赤い色で表示される。

【００５４】図１５は図４におけるステップＳ１６で行
われるフォワードトレース処理の説明図である。このフ
ォワードトレース処理においては、前述のバックトレー
ス処理とは逆に、あるマクロの出力端子に接続されてい
るマクロが検索されて、そのマクロの名前などが表示さ
れる。

【００５５】図１５においてフォワードトレース処理は
ＦＮＥＴ ＣＭＤメニューにおいて‘フォワードトレー
ス’を選択することにより開始される。フォワードトレ
ースの起点として選択可能な信号端子名はＦＮＥＴウィ
ンドウ、またはＦＡＮ−ＩＮウィンドウ上で、例えば黄
色に変色する。フォワードトレースを中止する場合はコ
マンドメニューから取消しを選択する。

【００５６】フォワードトレースの起点となる信号端子
名がで示すように選択されると、その信号端子名は例
えば赤い色に変色する。そしてこの信号端子名の先に接
続されたマクロ、すなわちレシーバブロックがＦＡＮ−
ＯＵＴウィンドウ上に表示される。図１５では、信号端
子名‘／ＣＨＯＰ１’のファンアウト先として８つのレ
シーバブロックがあり、例えば第１のレシーバブロック
の名前は‘ＦＳ２２’であり、そのパス名は‘／ＡＡＡ
６ Ｄ／００２７Ｃ’であり、そのファンアウト先の入
力ピンは‘０Ａ’であることが示されている。

【００５７】図１６はファンインの２点間変更処理の説
明図である。２点間変更はあるマクロの入力信号、すな
わちファンインの信号名をウィンドウに表示中の信号の
端子名を利用して変更する処理である。この処理はＦＮ
ＥＴコマンドメニューにおいて‘２点間変更’を選択す
ることによって開始される。現在の入力信号に代わって
指定することができる信号端子名は、ＦＢＬＫ（ファイ
ンドブロック）ウィンドウのパス名一覧の中で水色で表
示されている信号端子名、またはＦＮＥＴウィンドウ、
ＭＯＮＩＴＯＲウィンドウに表示されている信号端子名
である。これらの新しい信号端子名に変更可能な現在の
入力信号端子名は例えば黄色に変色する。

【００５８】これらの黄色に変色した選択可能な信号端
子名のうちで、に示すように新しい信号端子名に変更
したい個所を指定すると、その指定された信号端子名は
更に例えば水色に変色する。指定間違いをした場合に
は、コマンドメニューから取消しを選択することにより
その箇所の指定のキャンセルを行う。その後新しいファ
ンインの信号を示す信号端子名をウィンドウ上に表示さ
れている信号端子名から、′または″に示すよう
に選択する。２点間変更のための操作はこれによって完
了する。

【００５９】図１７は２点間変更の処理が行われた後の
表示例である。図１６と図１７とを比較すると、右下の
ウィンドウに表示されているマクロの一番上の入力信号
端子名が図１６のなどで指定された新しい信号端子名
に変更されていることが分かる。なおこの２点間変更処
理は、コマンドの内容が図４のステップＳ７で接続変更
であると判定された時に、ステップＳ１７で行われる接
続変更処理に相当する。

【００６０】図４のステップＳ８でコマンドの内容が入
力ピン削除であると判定されると、ステップＳ１８で入
力ピン削除処理が行われる。この入力ピン削除処理の内
容を図１８を用いて説明する。図１８において、点線で
示されるマクロの中のアンドゲートに対する上から３番
目の入力ピン、およびオアゲートに対する上から３番目
の入力ピンを削除する場合を考える。これは左側の上か
ら３つ目のアンドゲートの出力‘／Ｃ’と、６番目のア
ンドゲートの出力‘／Ｆ’とが接続される入力ピンを削
除することを意味する。

【００６１】本発明においては、入力ピンを削除する場
合にはその削除、すなわち入力信号の切断によって結果
的に例えばアンドゲートやオアゲートの機能が変化しな
いように、すなわち切断されない入力信号によってこれ
らのゲートが正しく機能するように、切断される入力信
号の代わりに定数１、または定数０のブロックが接続さ
れる。図１９はこの接続法の説明図である。同図におい
て、アンドゲートの入力ピンのうち入力信号の切断が指
示されたピンに対しては定数１、オアゲートの入力ピン
のうち切断指示されたピンに対しては定数０のブロック
が接続される。これによってアンドゲート、オアゲート
が残る２つの入力信号に応じて正しく機能することにな
る。

【００６２】このように定数１、もしくは定数０のブロ
ックを接続すること自体は設計者の指示によって行うこ
とも可能であるが、図１８、図１９で説明した入力ピン
の接続の切断の場合には、切断の指示に応じてシステム
が自動的に定数１、または定数０のブロックの接続を行
う。定数１、または定数０のブロックのいずれを接続す
るかは、入力ピンへの信号が切断されるゲートの機能に
よってあらかじめ決定されることになり、テーブルにど
ちらを接続するかを格納しておくことにより、自動的な
判断が可能となる。

【００６３】図２０はこの定数１、または定数０のブロ
ックの接続のフローチャートである。同図において処理
が開始されると、まずステップＳ４１で入力信号の切断
が指示されたピンを入力とするマクロを対象として、マ
クロライブラリを参照してその入力ピンを持つゲートの
種類が調べられ、ステップＳ４２で定数１、定数０のブ
ロックに対する変換テーブルを参照し、定数１、または
定数０のどちらのブロックに接続するかが判断され、ス
テップＳ４３で定数１、または定数０のブロックへの接
続指示情報が作成されて、処理を終了する。なおこの処
理は設計者が例えば図１６でＦＮＥＴ ＣＭＤの‘切り
離し’を選択し、マクロの入力ピンを指定することによ
って開始される。

【００６４】図４において、コマンドの内容がステップ
Ｓ９で出力ピン接続変更であると判定されると、ステッ
プＳ１９で出力ピン接続変更処理が行われる。図２１は
この出力ピン接続変更処理、すなわちファンアウトのつ
なぎかえ処理の説明図である。

【００６５】ファンアウトのつなぎかえ処理は、コマン
ドメニューにおいて‘つなぎかえ’が選択されることに
よって開始される。あるマクロの出力ピンのうち、ファ
ンアウト先を変更するために選択可能な信号端子名は黄
色に変色する。つなぎかえ先として現在の信号端子名か
ら変更される信号端子名としては、ウィンドウに表示中
の信号端子名を利用して指定することができる。ウィン
ドウに表示中の信号端子名は図１６で説明したものと同
じである。

【００６６】あるマクロの出力ピンのうち、ファンアウ
ト先を変更するためにで示すように指定された信号端
子名は黄色から更に水色に変色する。指定間違いをした
場合には、コマンドメニューにおいて取消しを選択する
ことによってキャンセルされる。つなぎかえ先の信号端
子名が、′、または″で示すように選択される
と、つなぎかえのための操作は完了する。

【００６７】本発明においてはファンアウトのつなぎか
えは、ファンアウト先のブロックに対して、ファンイン
のつなぎかえを行うことにより処理が行われる。図２２
はこの処理の説明図である。同図において、ブロックＡ
のファンアウト先への接続を切断してブロックＢのファ
ンアウト先に変更する場合には、同図(a) に示すように
ブロックＡの直後において接続を切断してＢの出力を接
続するのではなくて、(b) に示すようにファンアウト先
のブロック、ここではＡＡ，ＡＢ、およびＡＣのブロッ
クの直前で接続を切断し、ここにブロックＢの出力を接
続することによって一括してファンアウトのつなぎかえ
が行われる。

【００６８】図２３は図２１に対応するファンアウトの
つなぎかえ処理の説明図である。同図において、図２１
ので選択された信号端子名のファンアウト先が、例え
ばで選択された信号端子名のファンアウト先に変更さ
れている。

【００６９】図２４はファンアウトの入れ替え処理の説
明図である。この処理も図４のステップＳ１９で行われ
るものである。処理のための操作は図２１で説明したフ
ァンアウトのつなぎかえ処理におけると同様であり、
で選択された信号端子名と、、′または″で選択
された信号端子名との間でのファンアウトの入れ替えが
行われる。

【００７０】図２５はこのファンアウトの入れ替え処理
の具体例である。同図において、２つのマクロの出力ピ
ンに接続されたそれぞれのファンアウト先が入れ替えら
れている。

【００７１】図５のステップＳ１１でコマンドの内容が
論理ブロック追加と判定されると、ステップＳ２１で論
理ブロック追加処理が行われる。図２６はシミュレーシ
ョンモデル上で追加できるブロック、すなわちマクロの
外観を示す。マクロ名のうち、例えば‘ＩＡＮＤ’の先
頭の‘Ｉ’に特に意味はなく、この名前はアンドゲート
を表わす。また‘空き’はデータ入力に特に接続が行わ
れない場合に、定数０と定数１のどちらのブロックが接
続されるかを表わす。シミュレーションモデル上では、
このようなブロックが追加された後に接続変更が行われ
る。なおラッチのセットタイプとリセットタイプに対す
るマクロの外観は全く同じである。

【００７２】図２７はマクロの内部構成を示す。例えば
ＩＡＮＤゲートを表わすマクロにおいて、出力が負論理
となっているバッファを用いることにより、ＮＡＮＤゲ
ートが構成される。

【００７３】図５のステップＳ１２でコマンドの内容が
ブール式による論理の追加であると判定されると、ステ
ップＳ２２でブール式による論理追加処理が行われる。
図２８〜図３４はこのブール式による論理追加処理の説
明図である。図２８はブール式で論理を定義し、ブロッ
クとして追加する場合のブロック名、および入力／出力
ピンの数などを定義するための最初の手続きの説明図で
ある。ＦＮＥＴコマンドメニューにおいてに示すよう
に‘ブール’を選択すると、ブロック名とＩ／Ｏピン数
の定義メニューが表示される。

【００７４】この定義メニュー上で、〜に示すよう
にブロックの名前、Ｉ／Ｏピンの数を指定してエンタキ
ーを押すことにより、内部論理の定義メニューが表示さ
れる。ブールブロックの作成を中止する場合には、例え
ばＰＦ３キーを押せばよい。

【００７５】図２９はブールブロックの内部論理の定義
メニューを示す。同図は図２８でブロック名、およびＩ
／Ｏピン数の定義メニューに対してキー入力を行った
後、エンタキーを押した直後の状態を示し、ブールブロ
ックの名称、ここでは‘ＢＯＯＬ０１’、４つの入力ピ
ンＩ１〜Ｉ４、２つの出力ピンＯ１およびＯ２が表示さ
れており、設計者は画面上で入力と出力の間の論理関係
をブール式で記述すればよいことになる。

【００７６】図３０はブールブロック内の論理の記述例
であり、図３１はこの記述例に対応する論理回路であ
る。図３０の論理式内で、例えば‘１１０’は図３１で
Ｉ１が入力されているインバータを示し、１１０の前の
記号‘¬’は論理の反転を意味する。このようにして定
義された論理はＭＯＮＩＴＯＲウィンドウに自動出力す
ることができる。すなわち、ブロック名をキーとして該
当する論理を参照することができる。

【００７７】図３２は定義されたブールブロックのＦＮ
ＥＴウィンドウにおける表示である。これは図３０で論
理を定義した後、エンタキーが押されることによって表
示されるウィンドウの内容を示す。このようにＦＮＥＴ
ウィンドウに表示されたブールブロックに対しては、例
えば図１６、図１７で説明したようなファンインの２点
間変更など、ＦＮＥＴウィンドウ上で実行できる機能は
全て使うことができ、ファンアウトのつなぎかえなども
実行できる。

【００７８】図３３はブールブロックの内部論理の他の
記述例である。同図(a) は論理式の記述例であり、(b)
はこの論理式に対応する回路図を示す。図５のステップ
Ｓ２２で行われるブール式による論理追加処理において
は、ブールブロックの内部論理に対する解釈は図３のグ
ラフィック画面表示・変更指示部３１によって自動的に
行われる。図３４はブールブロックの解釈処理、すなわ
ち回路生成アルゴリズムである。同図において処理が開
始されるとステップＳ５１でブール式の構文が解析さ
れ、Ｓ５２でブール式の右辺の演算子に対応するゲート
が生成され、Ｓ５３で生成されたゲートに名前がつけら
れる。この名前としては、ＩＮＰＵＴ文で指定された場
合にはその名前、それ以外の場合にはブール式の左辺の
名前がつけられる。続いてステップＳ５４でブール式の
左辺に反転記号‘¬’がある場合には、その指示を示す
〇印が設定され、Ｓ５５で各ゲート間の接続が名前で対
応づけられて生成され、処理を終了する。

【００７９】図３５〜図３９はシミュレーションモデル
の変更に対してシステム内のデータがどのように変更さ
れるかを示す。図３５においてアンドゲート５の入力と
出力を切り離し、オアゲートを追加し、このオアゲート
に対する入力として２つのアンドゲート３と４の出力を
用い、またこのオアゲートの出力をアンドゲート６と７
に対する入力とする変更を行う場合を考える。図３６は
変更後の回路図である。追加されたオアゲートはオアゲ
ート８である。なお例えばこのオアゲート８の番号
‘８’は、全てのゲートに対して連続的につけられるゲ
ート番号を意味する。

【００８０】図３７はシミュレーションモデルを表現す
るデータを格納するテーブルのフォーマットである。こ
のフォーマットは、図２のシミュレーションモデル格納
部１４に格納されているシミュレーションモデルのファ
イル、ソフトウェアシミュレータ２１、およびシミュレ
ーション専用ハードウェア１６の内部のテーブルの全て
に共通のものであり、論理修正のためのアルゴリズムは
共通に使用可能である。

【００８１】このテーブルにおいてゲートナンバーは前
述のゲート番号を表わし、ゲートタイプの欄にはアン
ド、オアなどのゲートのタイプに関する情報がコード化
されて格納されている。ゲートタイプのうち、例えば
‘ＣＯＮＳＴ０’は前述の定数０のブロックである。フ
ァンイン−１〜４はファンイン側に接続されているゲー
トの番号を示すが、このうち‘０’は何も接続されてい
ないことを、‘１’は定数１のブロックが接続されてい
ることを表わす。この例ではファンインの数は固定され
ており、４となっている。

【００８２】ファンアウトに関する情報はファンアウト
ポインタとファンアウトメモリとから構成されている。
これは１つのゲートに対するファンアウトの数が一定で
ないためである。ファンアウトポインタはファンアウト
メモリのアドレスを示すポインタであり、このポインタ
の指す位置からそのゲートのファンアウトとなるゲート
の番号が連続的に格納されており、対象となるデータの
最終位置にはエンドビットが立っている。

【００８３】図３７には省略されているが、ゲートタイ
プの後に各種の属性フラグが格納されている。図３８は
この属性フラグの格納位置の説明図である。同図におい
て０〜１５ビット目の１６ビットはゲートタイプを示
し、その次の１６〜１９ビット目にＦＡＮＩＮ−１〜４
の入力側で値を反転するか否かのフラグが格納されてい
る。このように各種の属性フラグはゲートタイプの直後
に格納される形式となっている。

【００８４】図３９は、図３５から図３６のようにシミ
ュレーションモデルを変更した場合の、テーブルの格納
内容の変化を示す。同図を図３７と比較すると、ゲート
ナンバー３のアンドゲートに対するファンアウトポイン
タの値が‘４’となり、これに対応してファンアウトメ
モリのアドレス４にゲート番号‘８’が格納され、また
エンドビットが‘１’となっている。ゲートナンバー４
についても全く同様である。ゲートナンバー５のアンド
ゲートに対しては入力、出力が全て切り離されることか
ら、ＦＡＮＩＮ−１および２の値が‘１’となり、ファ
ンアウトポインタの値は‘０’となる。ゲートナンバー
６と７のアンドゲートに対してはＦＡＮＩＮ−１の値が
‘８’となる。更にゲートナンバー８のゲートとしてオ
アゲートが追加され、図３６に対応するＦＡＮＩＮの値
とファンアウトポインタの値が格納されている。

【００８５】このようにシミュレーションモデルの修正
は、テーブル上でのすでに格納されているゲートに対す
るデータの書き替え、および必要に応じたテーブルへの
データ追加によって実行される。従ってこのようなテー
ブルを主記憶、もしくは専用ハードウェアのメモリ上に
ロードした場合には、あらかじめテーブルに予備の領域
を用意しておくことにより、シミュレーションモデルの
修正を容易に行うことができる。またこのような変更に
おいてデータの並び替えを必要としないために、シミュ
レーションモデルの変更処理は極めて高速に実行するこ
とが可能である。

【００８６】図３７および図３９で説明したシミュレー
ションモデルの変更に伴うテーブルデータの変更は、当
然設計者には意識されることなく、システムによって自
動的に行われる。この処理は図６におけるステップＳ３
１の論理変更データ作成処理に相当する。図４０はこの
論理変更データ作成処理の詳細フローチャートである。
同図において処理が開始されると、まずステップＳ６１
で追加すべきゲートがある場合、そのゲートに対応して
テーブル未使用領域、すなわちデータがすでに格納され
ている最大ゲート番号の次のゲート番号の位置からゲー
トタイプなどを定義することによりテーブル作成が開始
される。

【００８７】続いてステップＳ６２で、入力ピンの接続
変更指示に対応してＦＡＮＩＮ−１〜４の値を変更対象
ゲートの全てを対象として書き替え、ステップＳ６３で
出力ピンの接続変更、すなわちファンアウト変更指示に
基づき、ファンアウトポインタとファンアウトメモリの
内容を変更する。この処理ではゲートを切り離す場合は
ファンアウトポインタの値を‘０’とし、ファンアウト
先のゲートを変更する場合でもファンアウト先のゲート
の数が増えない場合にはファンアウトポインタの値のみ
を変更し、ファンアウト先のゲート数が増える場合には
ファンアウトメモリの未使用領域にファンアウト先のゲ
ート番号を新たに設定し、ファンアウトポインタの値と
してはその先頭番地を設定して、処理を終了する。

【００８８】以上においては、図４および図５に対応し
てステップＳ２で読み込まれるコマンドの内容に対応す
る各種の処理を詳細に説明した。例えばステップＳ１３
で階層名表示処理が行われると、図１０で説明したよう
な名前検索画面が表示される。この画面において、例え
ばカーソルで‘ＣＭＤ’の位置を指定するとコマンド入
力フィールドが表示され、そこからマクロ表示や接続変
更のコマンドを入力することができる。また例えば図１
４で説明したように、バックトレースを行った後に例え
ば‘ＢＯＯＬ’のコマンドを指定することにより、ブー
ル式による論理追加処理を行うことができる。このよう
にどのウィンドウからでもコマンドメニューにヒットす
るか、もしくはコマンド入力フィールドにコマンドを入
力することによって他の処理を呼び出すことができる。
この場合その処理に必要な新たなウィンドウが自動的に
生成される。

【００８９】次に、図２のソフトウェアシミュレータ２
１により主記憶上に読み込まれたシミュレーションモデ
ルを直接変更する実施例について説明する。図４１は、
会話型シミュレーションの概念を示している。図４１で
は、シミュレータは設計者と対話しながら論理回路のシ
ミュレーションを実行する。シミュレーション実行中に
設計を変更する場合は、主記憶上に読み込まれたシミュ
レーションモデルの一例である回路データ情報をその場
で変更し、シミュレーションを続行する。回路データ情
報の内容はシミュレーションモデル格納部１４に格納さ
れたシミュレーションモデルの内容とほぼ同じである。
しかし、回路データ情報はシミュレーションが実行され
ている間のみ主記憶上に存在し、シミュレーションモデ
ルはシミュレーションの開始前にＤＡＳＤ（Direct Acc
ess Storage Device）等の外部記憶装置に格納されてい
る。ここでは、主記憶上の回路データ情報を直接変更す
るので、シミュレーションモデルは必ずしも変更する必
要はない。

【００９０】図４２は、シミュレーション実行中に回路
データ情報を変更することが可能な会話型シミュレータ
の構成図である。図４２において、シミュレータ４１は
図４１の会話型シミュレーションを行うシミュレータで
あり、端末４２は例えばグラフィックディスプレイであ
る。また、入力装置４３は端末４２が備えるキーボード
やマウス等である。

【００９１】シミュレータ４１は、入出力制御部５１、
結果表示部５２、回路内部表示部５３、ウィンドウ管理
テーブル格納部５４、信号値管理テーブル格納部５５、
回路変更コマンド列保持部５６、コマンド解析部５７、
トレースポイント変更部５８、ウィンドウ設定部５９、
回路変更部６０、回路変更情報テーブル保持部６１、監
視設定部６２、監視ポイントテーブル保持部６３、回路
データ情報格納部６４、および論理シミュレーション部
６５を備える。

【００９２】入出力制御部５１は端末４２との間の入出
力インタフェース処理を実行し、回路データ情報保持部
６４はシミュレーションの対象となる論理回路の回路デ
ータ情報を格納する。論理シミュレーション部６５は回
路データ情報保持部６４に保持された回路データ情報を
用いてシミュレーションを実行し、その結果情報を信号
値管理テーブル格納部５５の信号値管理テーブルに登録
する。信号値管理テーブルには、シミュレーションの結
果情報を構成する信号端子毎の信号値の時系列データが
格納される。

【００９３】ウィンドウ設定部５９は、ユーザと対話す
ることにより、結果情報の任意の表示形式のうちの１つ
または複数を選択して、ウィンドウ管理テーブル格納部
５４のウィンドウ管理テーブルに設定する。ウィンドウ
管理テーブルにはユーザが定義するフリーフォーマット
の表示形式が格納され、これを用いてマルチウィンドウ
等の管理が行われる。結果表示部５２はウィンドウ管理
テーブルおよび信号値管理テーブルのデータを用いて、
結果情報を端末４２のディスプレイに表示する。

【００９４】回路内部表示部５３は回路データ情報保持
部６４の回路データ情報を用いて、論理回路の内部を端
末４２のディスプレイに表示する。表示された論理回路
の画面上でユーザが指示した回路変更は、回路変更コマ
ンド列として回路変更コマンド列保持部５６に保持され
る。

【００９５】コマンド解析部５７は入出力制御部５１を
介してユーザからのコマンドを受け取り、それを解析す
る。そのコマンドが回路変更命令を伝える回路変更コマ
ンドである場合には、制御を回路変更部６０に渡す。回
路変更部６０は回路変更コマンドを回路変更コマンド列
保持部５６に保存し、回路変更情報テーブル保持部６１
に回路変更情報テーブルを生成する。そして、回路変更
部６０は回路変更情報テーブルを用いて回路データ情報
保持部６４の回路データ情報を書き換え、論理回路を修
正する。

【００９６】この後、論理シミュレーション部６５は変
更後の回路データ情報を用いてシミュレーションを続行
する。また、回路内部表示部５３は変更後の回路データ
情報を参照して、修正された論理回路を表示する。回路
変更コマンド列は入出力制御部５１を介してファイル等
に出力することができ、その内容を後でデータベースに
反映させることもできる。

【００９７】トレースポイント変更部５８は、ユーザと
対話することにより、トレースを開始または終了する信
号端子の情報（トレース情報）を得て、これを回路デー
タ情報に付加する。論理シミュレーション部６５はトレ
ース情報に従って、信号値管理テーブル内の信号端子の
値を追加または削除し、トレースポイントの変更を行
う。ここで、トレースポイントとはシミュレーション結
果を保存して表示することができる信号端子を意味す
る。回路変更情報テーブルにより新たな回路が追加され
た場合でも、対応するトレース情報を付加することによ
り、追加回路のトレースが可能になる。

【００９８】監視設定部６２は、ユーザと対話すること
により、監視するポイントや監視のタイミング等の観測
条件を設定した監視ポイントテーブルを監視ポイントテ
ーブル保持部６３に生成する。論理シミュレーション部
６５は監視ポイントテーブルを参照しながらシミュレー
ションを実行し、論理回路の不安定状態を検出すること
ができる。

【００９９】図４３は、シミュレータ４１による会話型
シミュレーションのフローチャートである。図４３にお
いてシミュレーションが開始されると、ユーザは回路に
エラーがあるかどうかを調べ（ステップＳ７１）、エラ
ーを発見した場合は入力装置４３によりその旨を入力す
る。すると、入出力制御部５１は回路を修正するかどう
かをユーザに問い合わせ（ステップＳ７２）、回答がＹ
ＥＳであればシミュレーションを一時中断する。そし
て、回路変更部６０はユーザが入力する回路変更コマン
ドに従って回路データ情報を変更する（ステップＳ７
３）。

【０１００】次に、入出力制御部５１はシミュレーショ
ンを実行するかどうかをユーザに問い合わせ（ステップ
Ｓ７４）、回答がＹＥＳであれば修正された回路のシミ
ュレーションを実行する（ステップＳ７５）。そして、
シミュレーションを終了する指示があったときに（ステ
ップＳ７６、ＹＥＳ）、処理を終える。

【０１０１】ステップＳ７１でエラーを発見しない場
合、およびステップＳ７２で修正を行わない場合はステ
ップＳ７４以降の処理を行い、ステップＳ７４で回答が
ＮＯの場合はステップＳ７６以降の処理を行う。また、
ステップＳ７６で終了の指示がない場合はステップＳ７
１以降の処理を繰り返す。

【０１０２】図４４は、図４３のステップＳ７３におけ
る回路修正処理のフローチャートである。図４４におい
て処理が開始されると、まず入出力制御部５１は回路変
更コマンド（入力イベント）を受け付け（ステップＳ８
１）、回路変更コマンド列保持部５６に格納する。回路
変更部６０は入力された回路変更コマンドにより論理の
修正があるかどうかを調べ（ステップＳ８２）、修正の
必要がなければそのまま処理を終了する。必要があれば
回路変更情報テーブルを生成して回路データ情報を変更
し（ステップＳ８３）、処理を終了する。

【０１０３】このように回路データ情報を直接変更すれ
ば、シミュレーション中に回路を修正してその場で動作
を確認することができ、回路設計に費やす時間を短縮で
きる。

【０１０４】次に図４５から図５３までを参照しなが
ら、回路修正の具体例について説明する。図４５はシミ
ュレーション対象の論理回路の一部を示す例であり、図
４６は図４５の論理回路を変更した例を示している。図
４５および図４６において、ＡＮＤ１、ＡＮＤ２、ＡＮ
Ｄ３、ＡＮＤ４はＡＮＤ回路を表し、ＳＩＧ１、ＳＩＧ
２、ＳＩＧ３、ＳＩＧ４、ＳＩＧ５、ＳＩＧ６、ＳＩＧ
７、ＳＩＧ８はそれらのＡＮＤ回路の入力信号または出
力信号を表す。

【０１０５】図４５では、ＡＮＤ１はＳＩＧ１とＳＩＧ
２を入力としてＳＩＧ４をＡＮＤ２に出力し、ＡＮＤ２
はＳＩＧ３とＳＩＧ４を入力としてＳＩＧ７を出力し、
ＡＮＤ３はＳＩＧ５とＳＩＧ６を入力としてＳＩＧ８を
出力している。図４６では、ＡＮＤ１から出力されるＳ
ＩＧ４がＡＮＤ２から切り離されて、代わりにＡＮＤ３
に入力するように変更されている。ここで、ＡＮＤ２の
入力信号はＳＩＧ３だけになってしまうが、必要があれ
ば次の変更でその入力に他の信号を追加することも可能
である。

【０１０６】図４７は、図４５の論理回路をシミュレー
ションしている間に回路データ情報保持部６４に保持さ
れている回路データ情報の例を示している。ただし、こ
こでは図４５に示された部分以外の回路の回路データ情
報は省略されている。

【０１０７】図４７の回路データ情報においては、論理
回路を構成する各論理素子毎にそのファンイン数、ファ
ンアウト数、ファンインの信号名、およびファンアウト
の信号名が記述されている。例えば、ＡＮＤ１のファン
イン数は２なので、信号名の先頭から２つ目にあるＳＩ
Ｇ２までがファンインの信号名を表し、その次以降はフ
ァンアウトの信号名を表すことがわかる。他のＡＮＤ回
路についても同様である。論理シミュレーション部６５
は、図４７の回路データ情報を参照して図４５の論理回
路のシミュレーションを行う。

【０１０８】図４８は、ユーザが入力した回路変更コマ
ンドに従って回路変更部６０が生成する回路変更情報テ
ーブルの例を示している。図４８の回路変更情報テーブ
ルは回路データ情報と同様の形式で変更部分についての
み生成される。図４８では、ＡＮＤ２のファンイン数が
２から１に変更され、その信号名のリストからＳＩＧ４
が削除されている。また、ＡＮＤ３のファンイン数が２
から３に変更され、その信号名のリストの先頭にＳＩＧ
４が追加されている。この回路変更情報テーブルは図４
５の論理回路から図４６の論理回路への変更に対応す
る。

【０１０９】図４９は、図４８の回路変更情報テーブル
を用いて回路変更部６０により変更された回路データ情
報を示している。図４９が示すように、変更後の回路デ
ータ情報では、変更に関係する論理素子のデータが回路
変更情報テーブルの内容に置き換えられる。図４９の回
路データ情報は図４６の論理回路を表している。一旦回
路データ情報が変更されると、それ以後論理シミュレー
ション部６５は自動的に変更後の論理回路のシミュレー
ションを行う。

【０１１０】図５０および図５１は、回路内部表示部５
３が回路データ情報を参照して論理回路を表示した画面
の例を示している。図５０は図４７の回路データ情報に
基づいて表示した画面であり、図５１は図４９の変更後
の回路データ情報に基づいて表示した画面である。図５
０および図５１においては、各論理素子毎にその入力信
号と出力信号が図示されている。

【０１１１】図５２および図５３は、結果表示部５２が
ウィンドウ管理テーブル、信号値管理テーブル、および
回路データ情報を参照してシミュレーション結果を表示
した画面の例を示している。図５２および図５３の上段
において、ＣＬＫはクロックのカウント数を表し、ＬＶ
Ｌは１つのクロックサイクル内における観測タイミング
を表す。また、下段はＳＩＧ１、ＳＩＧ２、ＳＩＧ３、
ＳＩＧ４、ＳＩＧ５、ＳＩＧ６、ＳＩＧ７、ＳＩＧ８の
クロック毎の観測値、論理０または論理１を表す。

【０１１２】図５２は図４５の論理回路のＣＬＫ＝０２
までのシミュレーション結果を示している。この時点
で、シミュレーション対象が図４６のように変更された
とすると、以後の表示は図５３のようになる。図５３の
ＣＬＫ＝０２までとＣＬＫ＝０３（＊の位置）以後の信
号値を比べると、ＳＩＧ１、ＳＩＧ２、ＳＩＧ３、ＳＩ
Ｇ４、ＳＩＧ５、およびＳＩＧ６の値は変わらないが、
ＡＮＤ２とＡＮＤ３の入力が変更されたためＳＩＧ７と
ＳＩＧ８の値が変化していることがわかる。

【０１１３】次に図５４から図５７までを参照しなが
ら、トレースポイントを変更する例について説明する。
図５４は、トレースポイント変更処理のフローチャート
である。図５４において処理が開始されると、トレース
ポイント変更部５８はコマンド解析部５７から受け取る
解析結果に従ってトレースポイントの追加か削除かを判
定する（ステップＳ９１）。追加の場合は回路データ情
報保持部６４が保持する回路データ情報の観測属性に新
たなトレースポイントを追加して（ステップＳ９２）、
処理を終了する。削除の場合は回路データ情報の観測属
性からトレースポイントを削除して（ステップＳ９
３）、処理を終了する。

【０１１４】図５５は、ＡＮＤ４とＡＮＤ５から成る論
理回路に新たなゲート回路ＡＮＤ６を追加したときの表
示画面を示している。図５５において、ＡＮＤ４はＳＩ
ＧａとＳＩＧｂを入力としてＳＩＧｅを出力し、ＡＮＤ
５はＳＩＧｃとＳＩＧｄを入力としてＳＩＧｆを出力
し、ＡＮＤ６はＳＩＧｅとＳＩＧｆを入力としてＳＩＧ
ｇを出力する。つまり、ＡＮＤ６はＡＮＤ４とＡＮＤ５
の出力側に追加されている。このとき、入力された回路
変更コマンドからＡＮＤ６の回路データ情報を表す回路
変更情報テーブルが生成され、シミュレーション対象の
回路データ情報が変更される。

【０１１５】図５６はＡＮＤ６が追加される前のシミュ
レーション結果の表示画面を示しており、図５７は追加
後のシミュレーション結果の表示画面を示している。図
５６において、ＴＲＡＣＥ ＳＩＧｇ ＯＮはＡＮＤ６
の追加後にユーザが入力したコマンドであり、ＡＮＤ６
の出力信号であるＳＩＧｇを新たに観測の対象（トレー
スポイント）として追加することを指示している。図５
６ではＳＩＧｇは観測されていないが、図５７ではＳＩ
Ｇｇもトレースポイントとして追加され、＊の付加され
たクロックからその信号値が観測されている。

【０１１６】次に図５８から図６０までを参照しなが
ら、回路の不安定状態を監視する例について説明する。
図５８は、不安定状態を監視する処理のフローチャート
である。図５８において処理が開始されると、論理シミ
ュレーション部６５はシミュレーション実行中にイベン
トが発生したかどうかを判定する（ステップＳ１０
１）。イベントが発生した場合は、それが監視ポイント
テーブルに登録された不安定状態監視の対象の信号端子
（監視ポイント）のイベントかどうかを調べる（ステッ
プＳ１０２）。監視ポイントの場合、結果表示部６４が
その信号の状態に関するメッセージを画面に表示して
（ステップＳ１０３）、論理シミュレーション部６５が
シミュレーションを続行し（ステップＳ１０４）、ステ
ップＳ１０１以降の処理を繰り返す。

【０１１７】ステップＳ１０１でイベントが発生しない
場合およびステップＳ１０２でイベントが監視ポイント
と無関係である場合は、処理を終了する。図５９は、図
５５のＡＮＤ４およびＡＮＤ５から成る部分についての
シミュレーション結果の表示画面を示している。図５９
の状態においてユーザがコマンドＯＮＳＴＢ ９９を入
力すると、コマンド解析部５７がその内容を監視設定部
６２に伝え、監視設定部６２は信号値を観測するタイミ
ングＬＶＬを９９として監視ポイントテーブルに設定す
る。

【０１１８】その後、論理シミュレーション部６５は監
視ポイントテーブルを参照しながら回路を監視し、監視
ポイントの不安定状態を表すイベントが発生すると、結
果表示部６４がメッセージを出力する。ここで、監視ポ
イントの不安定状態とは、監視対象の信号値が安定せず
に、例えば論理０と論理１を交互に示すような状態を指
す。

【０１１９】図６０は、不安定状態を検出したことを伝
えるメッセージの表示例を示している。図６０の＋印の
付加されたクロックにおいて不安定状態が検出され、Ｍ
ＥＳＳＡＧＥが表示されている。ＭＥＳＳＡＧＥによれ
ば、監視ポイントＳＩＧｚが不安定であり、その値はＣ
ＬＫ１０のＬＶＬ９９の時点において論理０であったこ
とがわかる。ここで、ＳＩＧｚはＡＮＤ４およびＡＮＤ
５の入出力信号以外の信号に相当する。

【０１２０】図６１は、回路変更コマンド列保持部５６
の回路変更コマンド列を出力する処理のフローチャート
である。図６１において処理が開始されると、まず入出
力制御手段５１は回路変更に関する情報を保存するかど
うかをユーザに問い合わせる（ステップＳ１１１）。ユ
ーザが保存を希望すれば、回路変更コマンド列保持部５
６から回路変更コマンド列を読み出して、外部記憶装置
のファイルに出力し（ステップＳ１１２）、処理を終了
する。ユーザが保存を希望しなければそのまま処理を終
了する。

【０１２１】出力された回路変更コマンド列のファイル
を用いて、データベースを同様に変更することができ
る。尚、回路変更コマンド列の代わりに、回路変更情報
テーブル保持部６１が保持する回路変更情報テーブルを
ファイルに出力する構成としてもよい。この場合も、出
力されたファイルを用いて変更内容をデータベースに反
映させることができる。

【０１２２】

【発明の効果】以上詳細に説明したように、本発明によ
ればシミュレーションモデル自体を直接に変更すること
が可能となり、大規模回路に対するシミュレーションモ
デルの変更を高速に処理することが可能となる。この場
合、シミュレーションモデルはフラットに展開されたＡ
ＮＤ，ＯＲレベルのモデルであるため、ファイルの構造
がシンプルになるとともにファイルサイズもコンパクト
になるメリットがある。また仮に論理を修正して、その
シミュレーションにより論理変更の正当性を確認した後
に、論理データベースを変更することも可能になり、論
理回路設計効率の向上に寄与するところが大きい。

【図面の簡単な説明】

【図１】本発明の原理構成ブロック図である。

【図２】本発明における論理シミュレーションシステム
の構成を示すブロック図である。

【図３】シミュレーションモデル変更部の詳細構成を示
すブロック図である。

【図４】グラフィック画面表示・変更指示部の全体処理
を示すフローチャート（その１）である。

【図５】グラフィック画面表示・変更指示部の全体処理
を示すフローチャート（その２）である。

【図６】新シミュレーションモデル作成部の処理を示す
フローチャートである。

【図７】論理回路の設計階層の具体例を説明する図であ
る。

【図８】階層構造におけるブロックなどの名前のツリー
構造を示す図である。

【図９】図８のツリー構造に対応するシステムのイメー
ジを示す図である。

【図１０】各階層の構成要素の名前を検索する場合の画
面表示例を示す図である。

【図１１】階層構造の最下位に位置するマクロブロック
の内部構成を示す図である。

【図１２】マクロブロックを最下位に持つ階層構造のツ
リー構造表示を示す図である。

【図１３】マクロブロックのディスプレイ画面上での表
示例を示す図である。

【図１４】バックトレース処理の説明図である。

【図１５】フォワードトレース処理の説明図である。

【図１６】ファンインの２点間変更処理の説明図であ
る。

【図１７】２点間変更の処理が行われた後の表示例を示
す図である。

【図１８】入力ピン削除処理の内容の説明図である。

【図１９】定数１または定数０のブロックの接続法を示
す図である。

【図２０】定数１または定数０のブロックの接続処理の
フローチャートである。

【図２１】出力ピン接続変更処理の説明図である。

【図２２】ファンアウトのつなぎかえ処理の具体例の説
明図である。

【図２３】図２１に対応するファンアウトのつなぎかえ
処理の説明図である。

【図２４】ファンアウトの入れ替え処理の説明図であ
る。

【図２５】ファンアウトの入れ替え処理の具体例を示す
図である。

【図２６】シミュレーションモデル上で追加できるマク
ロの外観を示す図である。

【図２７】追加できるマクロの内部構成を示す図であ
る。

【図２８】ブール式による論理追加のための最初の手続
きの説明図である。

【図２９】ブールブロックの内部論理の定義メニューを
示す図である。

【図３０】ブールブロック内の論理の記述例を示す図で
ある。

【図３１】図３０の記述例に対応する論理回路を示す図
である。

【図３２】定義されたブールブロックのＦＮＥＴウィン
ドウにおける表示を示す図である。

【図３３】ブールブロックの内部論理の他の記述例を示
す図である。

【図３４】ブールブロックの解釈処理のフローチャート
である。

【図３５】シミュレーションモデルの変更例を説明する
図（その１）である。

【図３６】シミュレーションモデルの変更例を説明する
図（その２）である。

【図３７】シミュレーションモデル表現データ格納テー
ブルのフォーマットを示す図である。

【図３８】属性フラグの格納位置の説明図である。

【図３９】シミュレーションモデルを変更した場合のテ
ーブル格納内容の変化を示す図である。

【図４０】論理変更データ作成処理のフローチャートで
ある。

【図４１】一実施例の会話型シミュレーションを示す図
である。

【図４２】回路データ情報の変更が可能な会話型シミュ
レータの構成図である。

【図４３】実施例における会話型シミュレーションのフ
ローチャートである。

【図４４】回路修正処理のフローチャートである。

【図４５】論理回路の例を示す図である。

【図４６】変更後の論理回路を示す図である。

【図４７】回路データ情報の例を示す図である。

【図４８】回路変更情報テーブルの例を示す図である。

【図４９】変更後の回路データ情報を示す図である。

【図５０】論理回路の表示画面の例を示す図である。

【図５１】変更後の論理回路の表示画面を示す図であ
る。

【図５２】シミュレーション結果の表示画面の例を示す
図（その１）である。

【図５３】シミュレーション結果の表示画面の例を示す
図（その２）である。

【図５４】トレースポイント変更処理のフローチャート
である。

【図５５】ゲート追加後の論理回路の表示画面を示す図
である。

【図５６】シミュレーション結果の表示画面の例を示す
図（その３）である。

【図５７】シミュレーション結果の表示画面の例を示す
図（その４）である。

【図５８】不安定状態監視処理のフローチャートであ
る。

【図５９】シミュレーション結果の表示画面の例を示す
図（その５）である。

【図６０】不安定状態を表すメッセージの表示例を示す
図である。

【図６１】回路変更コマンド列の出力処理のフローチャ
ートである。

【図６２】従来の会話型シミュレーションを示す図であ
る。

【図６３】従来のシミュレーションのフローチャートで
ある。

【符号の説明】 １ シミュレーションモデル変更手段 ２ 表示手段 ３ グラフィック画面表示・変更指示手段 ４ 新シミュレーションモデル作成手段 １０ 論理エントリ部 １１ 設計データベース １２ マクロライブラリ １３ シミュレーションモデル生成部 １４ シミュレーションモデル格納部 １５ シミュレーション実行部 １６ シミュレーション専用ハードウェア １７ グラフィックディスプレイ １８ シミュレーションモデル変更部 ２０ 設計情報 ２１ ソフトウェアシミュレータ ２２ ハードウェアシミュレータ制御ソフト ２５，２６，２７，２９ シミュレーションモデル修
正情報 ３１ グラフィック画面表示・変更指示部 ３２ 新シミュレーションモデル作成部 ４１ シミュレータ ４２ 端末 ４３ 入力装置 ５１ 入出力制御部 ５２ 結果表示部 ５３ 回路内部表示部 ５４ ウィンドウ管理テーブル格納部 ５５ 信号値管理テーブル格納部 ５６ 回路変更コマンド列保持部 ５７ コマンド解析部 ５８ トレースポイント変更部５８ ５９ ウィンドウ設定部５９ ６０ 回路変更部 ６１ 回路変更情報テーブル保持部 ６２ 監視設定部 ６３ 監視ポイントテーブル保持部 ６４ 回路データ情報保持部 ６５ 論理シミュレーション部

───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平５−108750（ＪＰ，Ａ) 特開 平３−116383（ＪＰ，Ａ) 特開 昭62−132347（ＪＰ，Ａ) 特開 昭60−147880（ＪＰ，Ａ) 特開 昭56−87875（ＪＰ，Ａ) 特開 平５−134012（ＪＰ，Ａ) 特開 平４−17069（ＪＰ，Ａ) 特表 平４−504321（ＪＰ，Ａ) 国際公開90／11569（ＷＯ，Ａ１) 羽毛田卓哉、外２名、”インクリメン タルシミュレーションのゲートレベルへ の適用”、情報処理学会研究報告、情報 処理学会、平成６年２月、ＤＡ−70（Ｖ ｏｌ．94、Ｎｏ．15）、ｐ．１〜８ (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 17/50 664 G06F 17/50 674 ＪＩＣＳＴファイル（ＪＯＩＳ)

Claims (32)

(57)【特許請求の範囲】
1. 【請求項１】 論理データベースに格納されている階層
   構造の論理回路データをフラットに展開して、フラット
   なシミュレーションモデルを生成するシミュレーション
   モデル生成手段と、 前記論理データベースに格納されている前記論理回路デ
   ータが表す 論理回路の一部の変更を行う時、該論理回路
   データの変更を行うことなく、前記フラットなシミュレ
   ーションモデルを直接変更するシミュレーションモデル
   変更手段とを備えたことを特徴とする論理シミュレーシ
   ョンシステム。
2. 【請求項２】 前記論理シミュレーションシステムが、
   シミュレーションモデルを表示し、設計者が該シミュレ
   ーションモデルに対する変更指示を対話形式で入力でき
   る表示手段を更に備え、 前記シミュレーションモデル変更手段が、該表示手段の
   表示制御を行うと共に、該シミュレーションモデルに対
   する変更指示を受け取り、古いシミュレーションモデル
   に対する修正指示を表すシミュレーションモデル修正情
   報を出力するグラフィック画面表示・変更指示手段と、 該グラフィック画面表示・変更指示手段から出力された
   シミュレーションモデル修正情報を受け取り、古いシミ
   ュレーションモデルを変更して新しいシミュレーション
   モデルを出力する新シミュレーションモデル作成手段と
   を備えたことを特徴とする請求項１記載の論理シミュレ
   ーションシステム。
3. 【請求項３】 前記論理データベースが論理回路データ
   を複数の階層に分割された階層表現の形式で格納するこ
   とと、 前記論理シミュレーションシステムが、該論理データベ
   ースに格納されている論理回路データを、階層がなく、
   シミュレーションを即時実行できるゲートレベルのシミ
   ュレーションモデルに変換するシミュレーションモデル
   生成手段と、 該論理データベースに格納されているデータを、設計者
   がその動作を理解可能であり、かつ１つ以上の論理ゲー
   トを含むマクロのレベルに変換するためのデータを格納
   するマクロライブラリ手段とを更に備え、 前記グラフィック画面表示・変更指示手段が、該シミュ
   レーションモデル生成手段が生成したシミュレーション
   モデルとマクロライブラリ手段に格納されているデータ
   とを用いて、マクロレベルのシミュレーションモデルを
   生成して前記表示手段に表示させることを特徴とする請
   求項２記載の論理シミュレーションシステム。
4. 【請求項４】 前記論理データベースに格納されている
   論理回路データの階層構造に対応して、該論理回路を構
   成する前記マクロ又は論理ブロックのそれぞれにツリー
   構造の名前が付けられていることと、 前記表示手段を介して設計者が論理回路を構成する１つ
   のマクロのブロック、または論理ブロックの名前の表示
   を指示した時、前記グラフィック画面表示・変更手段が
   該表示手段に指定されたブロックと同一階層の全てのブ
   ロックの名前を表示させ、設計者による同一階層に属す
   るブロックの名前の検索、および表示されている階層よ
   り下位の階層に属するブロックの名前の検索を可能とさ
   せることを特徴とする請求項３記載の論理シミュレーシ
   ョンシステム。
5. 【請求項５】 前記表示手段によって表示された同一階
   層の全てのブロックのうちの１つを設計者が指定した
   時、 該指定されたブロックがマクロのブロックである時、前
   記グラフィック画面表示・変更指示手段が該表示手段に
   該マクロの形状と他のブロックとの接続状況を表示さ
   せ、マクロでない時には該指定されたブロックの下の階
   層のブロックの名前を表示させることを特徴とする請求
   項４記載の論理シミュレーションシステム。
6. 【請求項６】 前記設計者によって指定されたブロック
   がマクロであるかマクロでないかに応じて、該指定され
   たブロックの名前を色を変えて表示することを特徴とす
   る請求項５記載の論理シミュレーションシステム。
7. 【請求項７】 前記表示手段によって表示されているシ
   ミュレーションモデルのマクロブロックの入力ピンを設
   計者が指定して該入力ピンを起点とするバックトレース
   処理を指示した時、 前記グラフィック画面表示・変更指示手段が、バックト
   レース処理として、該指定された入力ピンに接続されて
   いるマクロブロックに関するデータを該表示手段に表示
   させることを特徴とする請求項３記載の論理シミュレー
   ションシステム。
8. 【請求項８】 前記表示手段によって表示されているシ
   ミュレーションモデルのマクロブロックの出力ピンを設
   計者が指定して、該出力ピンを起点とするフォワードト
   レース処理を指示した時、 前記グラフィック画面表示・変更指示手段が、フォワー
   ドトレース処理として、該指定された出力ピンに接続さ
   れているマクロブロックに関するデータを該表示手段に
   表示させることを特徴とする請求項３記載の論理シミュ
   レーションシステム。
9. 【請求項９】 前記表示手段によって表示されているシ
   ミュレーションモデルのマクロブロックの入力ピンおよ
   び／または出力ピンを指定して、設計者が該入力ピンお
   よび／または出力ピンの接続変更を指示した時、 前記グラフィック画面表示・変更指示手段が、接続変更
   処理として、該入力ピンおよび／または出力ピンの接続
   変更を行うことを特徴とする請求項３記載の論理シミュ
   レーションシステム。
10. 【請求項１０】 前記表示手段に表示されているシミュ
    レーションモデルのマクロブロックの入力ピンに接続さ
    れている接続線の削除を設計者が指示した時、 前記グラフィック画面表示・変更指示手段が、該接続線
    が削除される入力ピンを持つマクロブロックの機能を判
    断して、該機能に対応して定数０、または定数１の値を
    出力するブロックを該入力ピンに接続して、該入力ピン
    以外の入力ピンへの入力による該マクロブロックの動作
    を保証することを特徴とする請求項３記載の論理シミュ
    レーションシステム。
11. 【請求項１１】 前記表示手段によって表示されている
    シミュレーションモデル内のマクロのブロックの１つの
    出力ピンに接続されている複数本の接続線を、他のマク
    ロブロックの１つの出力ピンに接続変更するか、または
    該他のマクロブロックの１つの出力ピンに接続されてい
    る複数本の接続線と入れかえる出力ピン接続変更を設計
    者が指示した時、 前記グラフィック画面表示・変更指示手段が、該出力ピ
    ン接続変更の処理として、該複数本の接続線の接続変
    更、または入れかえを行うことを特徴とする請求項３記
    載の論理シミュレーションシステム。
12. 【請求項１２】 前記表示手段によって表示されている
    シミュレーションモデルのマクロブロックの出力ピンか
    らの接続線の削除を設計者が指示した時、 前記グラフィック画面表示・変更指示手段が、該削除さ
    れる接続線の接続先としての入力ピンを持つマクロブロ
    ックの機能を判断して、該機能に対応して定数０、また
    は定数１の値を出力するブロックを該入力ピンに接続し
    て、該入力ピン以外の入力ピンへの入力による該マクロ
    ブロックの動作を保証することを特徴とする請求項３記
    載の論理シミュレーションシステム。
13. 【請求項１３】 前記表示手段を介して設計者が論理の
    種別、入力と出力の数、入力ピンと出力ピンに接続され
    る回路とを指定してマクロブロックの追加を指示した
    時、 前記グラフィック画面表示・変更指示手段が、マクロブ
    ロック追加処理として、前記シミュレーションモデルに
    対してマクロブロックの追加を行うことを特徴とする請
    求項３記載の論理シミュレーションシステム。
14. 【請求項１４】 前記追加すべきマクロブロックの論理
    の種別としてラッチ、またはフリップフロップのタイプ
    に加えて、クロック信号、セットもしくはリセット信号
    を設計者が指定した時、 前記グラフィック画面表示・変更指示手段が、マクロブ
    ロックとしてのラッチ、またはフリップフロップの追加
    を行うことを特徴とする請求項１３記載の論理シミュレ
    ーションシステム。
15. 【請求項１５】 設計者が前記クロック信号、セットも
    しくはリセット信号の指定を省略した時、 前記グラフィック画面表示・変更指示手段が、前記ラッ
    チ、またはフリップフロップのタイプに応じて最適なク
    ロック信号、セットもしくはリセット信号を接続して、
    該ラッチまたはフリップフロップの追加を行うことを特
    徴とする請求項１４記載の論理シミュレーションシステ
    ム。
16. 【請求項１６】 前記表示手段を介して設計者が論理の
    ブール式表現、入力と出力の数、入力ピンと出力ピンに
    接続される回路とを入力して、ブール式による論理追加
    を指示した時、 前記グラフィック画面表示・変更指示手段が、ブール式
    による論理追加処理として該ブール式を解釈し、該解釈
    結果に応じたマクロブロックの追加を行うことを特徴と
    する請求項３記載の論理シミュレーションシステム。
17. 【請求項１７】 前記論理シミュレーションシステムが
    シミュレーションモデルに対するシミュレーションを実
    行するソフトウェアシミュレータ手段をさらに備え、 前記表示手段を介して入力されたシミュレーションモデ
    ルに対する設計者からの変更指示に対応して、前記シミ
    ュレーションモデル変更手段が該ソフトウェアシミュレ
    ータ手段の主記憶上にローディングされているシミュレ
    ーションモデルをリアルタイムで変更することを特徴と
    する請求項２記載の論理シミュレーションシステム。
18. 【請求項１８】 前記論理シミュレーションシステムが
    シミュレーションモデルに対するシミュレーションを実
    行するシミュレーション専用ハードウェア手段をさらに
    備え、 前記表示手段を介して入力されたシミュレーションモデ
    ルに対する設計者からの変更指示に対応して、前記シミ
    ュレーションモデル変更手段が該シミュレーション専用
    ハードウェア手段にローディングされているシミュレー
    ションモデルをリアルタイムで変更することを特徴とす
    る請求項２記載の論理シミュレーションシステム。
19. 【請求項１９】 前記グラフィック画面表示・変更指示
    手段が第１のシミュレーションモデルに対するシミュレ
    ーションモデル修正情報を出力し、新シミュレーション
    モデル作成手段が新しいシミュレーションモデルとして
    第２のシミュレーションモデルを作成した後に、該第２
    のシミュレーションモデルを変更する必要が生じた時、 該グラフィック画面表示・変更指示手段が、第２のシミ
    ュレーションモデルの代わりに第１のシミュレーション
    モデルと該第１のシミュレーションモデルに対するシミ
    ュレーションモデル修正情報とに基づいて、第２のシミ
    ュレーションモデルを表現する論理回路を前記表示手段
    に表示させ、設計者の変更指示を入力可能とさせること
    を特徴とする請求項２記載の論理シミュレーションシス
    テム。
20. 【請求項２０】 前記論理シミュレーションシステム
    が、論理回路データのシステムへの入力を受けて、該論
    理回路データを前記論理データベースに格納する論理エ
    ントリ手段を更に備え、 該論理回路の一部の変更を必要とする時、該論理データ
    ベース内のデータの変更を行うことなく、該論理エント
    リ手段が前記グラフィック画面表示・変更指示手段にシ
    ミュレーションモデル修正情報を出力して、シミュレー
    ションモデルの直接変更を行わせることを特徴とする請
    求項２記載の論理シミュレーションシステム。
21. 【請求項２１】 前記論理シミュレーションシステム
    が、論理回路データのシステムへの入力を受けて、論理
    回路データを前記論理データベースに格納する論理エン
    トリ手段を更に備え、 すでに変更されたシミュレーションモデルに対応して該
    論理データベースに格納されている論理回路データを変
    更する時、前記グラフィック画面表示・変更指示手段に
    よって出力されたシミュレーションモデル修正情報を修
    正履歴情報として、該論理エントリ手段が該修正履歴情
    報のフォーマットを該論理データベース内のデータフォ
    ーマットに変換して、該論理データベース内の論理回路
    データを修正することを特徴とする請求項２記載の論理
    シミュレーションシステム。
22. 【請求項２２】 前記論理シミュレーションシステム
    が、シミュレーションモデルを表示し、設計者が該シミ
    ュレーションモデルに対する変更指示を対話形式で入力
    できる表示手段と、 前記シミュレーションモデルを回路データ情報として、
    シミュレーション実行中に保持する回路データ情報保持
    手段とを更に備え、 前記シミュレーションモデル変更手段は、前記表示手段
    を介して入力された前記変更指示に対応して前記回路デ
    ータ情報を変更する回路変更手段を備えることを特徴と
    する請求項１記載の論理シミュレーションシステム。
23. 【請求項２３】 前記回路データ情報保持手段は、前記
    論理シミュレーションシステムの主記憶上に設けられる
    ことを特徴とする請求項２２記載の論理シミュレーショ
    ンシステム。
24. 【請求項２４】 前記論理シミュレーションシステム
    が、前記回路データ情報保持手段が保持する前記回路デ
    ータ情報を用いて前記論理回路を表示手段に表示させる
    回路内部表示手段を更に備えることを特徴とする請求項
    ２２記載の論理シミュレーションシステム。
25. 【請求項２５】 前記回路変更手段が前記回路データ情
    報を変更したとき、前記回路内部表示手段は変更後の回
    路データ情報を用いて変更後の論理回路を表示手段に表
    示させることを特徴とする請求項２４記載の論理シミュ
    レーションシステム。
26. 【請求項２６】 前記論理シミュレーションシステム
    が、前記回路データ情報保持手段が保持する前記回路デ
    ータ情報が変更されたときに、変更に関する情報を出力
    する入出力制御手段を更に備え、変更内容を前記論理回
    路データに反映させることができることを特徴とする請
    求項２２記載の論理シミュレーションシステム。
27. 【請求項２７】 前記論理シミュレーションシステム
    が、前記回路データ情報保持手段が保持する前記回路デ
    ータ情報を参照しながらシミュレーションを実行し、前
    記回路データ情報が変更された後もシミュレーションを
    続行する論理シミュレーション手段を更に備えることを
    特徴とする請求項２２記載の論理シミュレーションシス
    テム。
28. 【請求項２８】 前記シミュレーションモデル変更手段
    は、前記論理シミュレーション手段が観測するトレース
    ポイントをシミュレーション実行中に変更することので
    きるトレースポイント変更手段を更に備えることを特徴
    とする請求項２７記載の論理シミュレーションシステ
    ム。
29. 【請求項２９】 前記シミュレーションモデル変更手段
    は、前記論理シミュレーション手段が監視すべき信号の
    観測条件を設定する監視設定手段を更に備え、 前記論理シミュレーション手段は、前記監視設定手段が
    設定した前記観測条件に従ってシミュレーションを行
    い、前記論理回路内の不安定状態を検出することができ
    ることを特徴とする請求項２７記載の論理シミュレーシ
    ョンシステム。
30. 【請求項３０】 論理回路のシミュレーションを行うソ
    フトウェアシミュレータおよびハードウェアシミュレー
    タ、シミュレーションモデルを格納するシミュレーショ
    ンモデル格納手段を備えた論理シミュレーションシステ
    ムにおける論理変更方法であって、階層構造の論理回路データをフラットに展開して、フラ
    ットなシミュレーションモデルを生成し、 前記フラットなシミュレーションモデルに対する修正指
    示を表す シミュレーションモデル修正情報を読み込み、 論理変更データを作成し、 ソフトウェアシミュレータの主記憶内に格納されている
    データの変更であるか否かを判定し、 主記憶データの変更である時には変更データをソフトウ
    ェアシミュレータに渡した後に、また主記憶データの変
    更でない時には直ちに、ハードウェアシミュレータのデ
    ータ変更か否かを判定し、 ハードウェアシミュレータのデータ変更である時、ハー
    ドウェアシミュレータに変更データを渡した後に、また
    ハードウェアシミュレータのデータ変更でない時には直
    ちに、シミュレーションモデル格納部に格納されている
    シミュレーションモデルの変更か否かを判定し、 シミュレーションモデルの変更である時には、前記フラ
    ットなシミュレーションモデルを読み込んで直接変更
    し、新しいシミュレーションモデルを出力して処理を終
    了し、 シミュレーションモデル変更でない時には直ちに処理を
    終了することを特徴とする論理シミュレーションシステ
    ムにおける論理変更方法。
31. 【請求項３１】 計算機を用いた論理シミュレーション
    システムにおいて、 論理データベースに格納されている階層構造の論理回路
    データをフラットに展開して、フラットなシミュレーシ
    ョンモデルに変換し、 該フラットなシミュレーションモデルを主記憶に読み込
    み、 論理回路の一部の変更を行う時、前記主記憶に読み込ま
    れたフラットなシミュレーションモデルを直接変更し、 変更されたシミュレーションモデルを用いてシミュレー
    ションを続行して、 変更後の論理回路の動作を確認することを特徴とする論
    理変更方法。
32. 【請求項３２】 前記主記憶に読み込まれたシミュレー
    ションモデルを変更した後、変更に関する情報を出力
    し、 出力された該変更に関する情報を用いて前記論理回路デ
    ータを変更することを特徴とする請求項３１記載の論理
    変更方法。