JPS5969861A - デイジタル回路シミユレ−シヨン装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 この発明はディジタル回路シミュレーション装置に関し
、特に、回路図に表現されたディジタル回路の論理また
は応答波形動作を計算してそのディジタル回路のシミュ
レーションを行なうような新規なシミュレーション装置
に関する。

最近では、超ＬＳＩによって＄Ｊ雑なディジタル回路を
集積化することにより、生産コストに対する性能性が以
航より比較的改善されてきている。

ディジタル回路を超ＬＳＩによって集積化すると、Ｍｆ
［ｆｆの小形化およびコストの低下を図ることができる
が、超ＬＳＩ化するにあたって欠点がないわ（〕ではな
い。ず＜ｆわら、超ＬＳＩによって回路集積度を向上し
てもその技術変化への対応力には限度があり、開光設計
から製造に至るまでに要する期間が長くなり、また設計
誤りを検出し訂正することが非常に困難になってきてい
る。設計誤りが存在した場合、以前にも増して多大の経
済的損失を伴うので、開発段階のできるだけ早い時期に
設計の検証を行なうことが望まれる。とりわけ、システ
ムの論理機ＯＬを初期段階で完全に検証することが車装
である。なぜならば、設計の後期段階で論１！Ｉ！誤り
が児つかった場合、相当量無駄な物理曲回ＦＱ１１を必
要とするからである。

このような回路検証のために、従来より汎用コンピュー
タを利用した回路シミュレーション方法がある。しかし
ながら、前述のごとく集積度が向上して、システムに含
まれる素子数が飛踵的に増加すると、汎用コンピュータ
を利用した方法ではプログラミングおよび実行処理に限
界が生じつつある。すなわち、検証しようとするシステ
ムが大規模になるにしたがって、検証に必要とするプロ
グラム閤、記憶容量、計算時間が大幅に増大づるからで
ある。これは、主として対象どなる論理回路の動作が並
列的であり、同時に回路の各部の入出力状態が変化する
のに対して、汎用コンピュータにおいては並列的な動作
をノイマン型の逐次的な処理に展開しなくてはならない
ことに起因する。

このような問題点を解消Ｊるために、並列処理方式ある
いはパイプライン方式によるハードウェア構成が提案さ
れ、これによって実行処理時間を短縮化することが可能
である。けれども、プログラミングの改善に対する配慮
は従来からほとんどなされていなかった。

一方、従来のデータ逐次処理型アルゴリスムによっても
たらされる限界を打破づ−るものとして、データ駆動型
８’　Ｒが脚光を浴びるようになってき゛た。データ駆
動型言語は従来の逐次型アルゴリズムでは取扱うことの
できなかったデータ並列処理型アルゴリズムを記述し得
るものである。このような呂胎による実行処理は次のよ
うな特徴を有している。

（１〉　実行処理はその処理に必要なデータが使用可能
となったとぎに実行される（データ駆動）（２）　その
処理の実行結果は入力データのみによって決定され、そ
の回路に含まれる各素子の過去の履歴や仙の処理の実行
などに影響を受けない（副作用はない）。

したがって、データ駆動型言語によって記述されたプロ
グラムは、その実行制御がデータ従属性だ（Ｊによって
決定されるので、実行に伴う影響が局所的でありかつそ
の回路に含まれる並列性を自然な形で表ねりことができ
る。このように、回路シミュレーションにおいて、回路
自体の並列動作は上述のデータ駆動型言語により無理な
く対応付けられて表瑛することができる。しかし、上述
のデータ駆動型言語によるプログラム記述は、その局所
性の反面、検証しようとするシステムのｍ模が大きくな
ると、プログラム全体のつながりに対する見通しが必ず
しも良いとは右えない。さらに、データ駆動型言語によ
るプログラム記述では、処理の実行結果は入力データの
みによって決定されるため、たとえばノリツブフロップ
のようにある単位時間前の世代にお番プるデータに基づ
い−０次の世代のデータが決定されるような履歴依存性
を有する素子を！ｌａ理する場合には、うまく表現づ′
ることができなかった。したがって１東伯度の高い回路
あるいはＭｊＩ歴依存性を有する回路のシミュレーショ
ンをデータ駆ｉｌＩ型言語を用い０行なう場合、充分な
処理効果を期待できないという問題点があった。

それゆえに、この発明の主たる目的は、回路図データを
直接入力し、その回路図データを間約ｄ語によっ−Ｃ処
理し、シミュレーションの経過を回路図とともに表示し
得るディジタル回路シミュレーション装置を提供するこ
とである。

この発明はり約すれば、ディスプレイ装置とライ１〜ペ
ンとを用いてディジタル回路の回路図データを直接入力
し、入力された回路図データをア−り駆動形量的言語の
条件を満たすように変換し、変換したデータ駆動形図的
言語でディジタル回路の動作を実行させることによりそ
のディジタル回路のシミュレーション経過を回路図とと
もに表示して誤配線などを容易に発見できるように構成
し！、二ものである。

この発明の上述の目的およびその他の目的と特徴は以下
に図面を参照して行なう詳細な説明から一層明らかどな
ろう。

第１図はこの発明が適用されるデータ１果勤型図的ｇ　
Ｒｌｉの構成要素を示す図である。まず、第１図を参照
してデータ駆動型図的言語について説明する。与えられ
た問題すなわちシミュレー１〜しようとげるディジタル
回路は第１図（ａ）に示すブロックで表わされ、その内
容は第１図（１））ないしくｐ）に示すデータ駆動副図
式で表わすように定ａされる。すなわち、第１図（ｂ）
はデータの流れを示し、第１図＜Ｃ＞はコントロール信
号の流れを示し、第１図（ｄ）はデータの分岐を表わす
コピーであり、第１図（ｅ）はコントロール信号の分岐
を表わすコピーである。また、第１図（ｒ）は合併を表
ねずマージであり、第１図（ａ　）は始まりを表わすソ
ースであり、第１図（１））は緒りを示すシンクである
。さらに、第１図（ｉ）はデ、ｆジタル回路に含まれる
ＮＡＮＤゲートやＯＲゲートなどの素子を関数的に表わ
すためのブリミゾイブであり、入力コないしｒに基づい
て関数の演■が行なわれ、そのｖ４粋結果の出力が導出
される。

第１図（Ｊ　）はコンｌ−ロール信号に応じて関数の演
隷を行へ′うブリミゾイブである。第１図（＋（）。

１）は入力されたデータに基づいてコントロール信号を
出力するブレディケイ１〜である。第１図＜ｍ）、（ｎ
）は入力されたデータに基づいてコントロール信号を選
択するセ；ノクタである。第１図（ｏ）、　　（ｐ　）
は入力された複数のデータに基づいて複数のデータを出
ノｊするブロシジトである。

第２図は回路図を第１図に示ずデータ駆動型図的言語で
表わした一例を示す図であり、第３Ａ図および第３Ｂ図
はデレーを含む回路をデータ駆動型図的言語で表わした
一例を示す図であり、第４Ａ図はＮＡＮＤゲートを含む
ディジタル回路の一例を示す図であり、第４Ｂ図は第４
Ａ図に示すＮＡＮＤゲー］・をデータ駆動型間約言語で
表わした図である。

前述の第１図に示したデータ駆動型図的８語によってデ
ィジタル回路を記述茗る場合には、シミュレートしＪζ
うとするディジタル回路を＠１図（ａ　”）に示す１つ
のブロックとして表わし、そのディジタル回路に含まれ
る各素子を第１図（ｂ）ないしくｐ）に示すデータ駆動
側図式で記述する。

データ駆動側図式を記述づる場合において、未定義なプ
ロシジャを含む場合、それぞれを第１図（ａ　）に示づ
１つのブロックとして表わし、その内容を再びデータ駆
動側図式で記）ホする。すべてのデータ駆動側図式が未
定義のプロシジャを含まない場合、与えられた問題の記
述は終了する。そうでない場合には、未定義のプロシジ
ャをブロックとして表わし、その内容をデータ駆動側図
式で記）ホする。その結果、第２図に示ずようなデータ
駆動図式ができあがる。第２図から明らかなように、デ
ィジタル回路をデータ駆動型図的古語で表わすことによ
り、そのディジタル回路が有している並列的に動作する
部分ずなわら並列性を実際のディジタル回路図に対応し
た自然な形で直接回向にｅ、川をすることができる。

ところで、データ駆動の考え方では、その並列性を最大
限に引出すために、非同期に並列的に実行される各回路
間において一方の回路の処理が使方の回路の処ＩＷに影
響を及ぼざないことが前提とされている。このために、
従来のデータ逐次処理型アルゴリズムのように複数の処
理によって共有されかつ更新が可能なメモリセルを設け
るという概念はなく、もとのデータを処理した結果は常
に新しいデータとして別に生成されなければならない。

このために、従来のデータ逐次処理型アルゴリズムにお
けるメモリセル中のデータの更新によって表現していた
履歴依存性を有する処理をデータ駆動の概念に基づいて
実行するためには、新たなデータを次々と生成し、その
生成順序を何らかの形で記憶しなければ／よらない。ま
た、配列などに代表される大ぎなデータ構造の一部の変
更に対しても大伍のデータ生成操作が必要となる。

そこで、第３Ａ図に示りように、デレーのようにあるψ
位時間耐の世代におＣプるデータによって次の世代のデ
ータが決定されるような履歴依存性を有する素子につい
ては、データベース（ＤＢ）という概念を用いて表わす
ことができる。デレーは入力されたデータが所定の時間
経過後に出ノ〕される一ｂのであるため、第３Ｂ図に示
すようにデータベースＤＢには初期データが設定され、
初期状態にＪりいてプリミティブ［２はデータベースＤ
Ｂからの初期データに基づいて動作を実行し、その１１
２プリミテイブ「１Ｃ実行された結果とし−Ｃのデータ
がデータベースＤ　Ｂ　＋、：転送される。データベー
スＤＢへのアクゼス順序は第２図および第３Ｂ図に示す
点線のコン１−ロール信号によって規定される。なおた
とえば、＠４Ａ図に示ずよう１こ、ＮＡＮＤグー［・の
出力端にコンデンサＣが接続されているものとづれは、
これを第４Ｂ図のようなデータ駆動型図約言８Ｒで表わ
ずこともできる。寸なわち、第４Ｂ図から明らかなよう
に、コンデンサ−Ｃによる遅延量は遅延情報Ｃとして設
定され、入力信号Ａと入力信号Ｂとに基づいて論期積演
算されて遅延を考慮した出力Ｘが導出される。

次に、具体的なディジタル回路を用いてシミル−１〜す
る方法に゛ついで詳細に説明引る。

第５図はディジタル同期回路の一例を承り図であり、第
６図は第５図の各入出力にＪ３ける波形図であり、第７
図は第５図に示−ｆディジタル同期回路をデータＦＡｉ
ｌｌＪ型間約ａ語で表わした図である。

第５図に示す同期回路は入力端゛１２．１３とＡＮＤグ
ー１〜１４とＤタイプフリップフロップ１ｊ５と出力端
１６とＮ　ＯＴ回路１７となる。この同期回路の時間変
化の様子をシミュレートするために、データ駆動型図的
８　ｇＦＪで表わぜば第７図に示すこと（となる。すな
わち、第５図に示す同期回路の全体は第１Ｅ（ａ）に示
した７０ツクで表わされ、各構成要素は第１図（ｂ）な
いしくｐ）に示すデータ駆動側図式で表わされる。入力
端１２と１３はソース２２と２３で表わされ、ＡＮＤゲ
ート１４はプリミティブ２４で表わされ、ＮＯＴ回路１
７はプリミティブ２７で表わされる。ざらに、Ｄタイプ
フリップフロップ１５は雇歴依存性を有するので、デー
タベース２８．２８に置換えられる。

データベース２８はＤタイプフリップフロップの初期状
態を表わずデータを有している。プリミティブ２４は、
第５図のＤタイプフリップフロップ１５に最初のクロッ
クパルスが与えられたどぎの動作に対応して、データベ
ース２８から初期データを読込み論理積演算を行なって
、その演算結果をプリミティブ２７に送るとともにシン
ク２６へ送る。プリミティブ２７は否定の演算を行ない
、その結果をデータベース２８に書込むとともにシンク
２５へ送る。そして、データベース２８に書込まれたデ
ータは次のクロックパルスの入力に対応してプリミティ
ブ２４の演算を実行する際にデータベース２８のデータ
として読込まれ、プリミティブ２４に与えられる。この
結果、１世代のデータの流れの変化によって、１クロッ
ク周期内における入出力データの因果関係をシミュレー
トしたことになる。そして、必要なタロツク周期分に相
当する世代数のデータを入力すれば、出力の全期間の変
化をシミュレートできる。なお、第５図に示ず同期回路
において、人力波形の遅延および出力負荷条件を考慮す
れば、第６図に示すように各クロック周期における波形
のなまりを出力に反映させることも可能である。

第８Ａ図はＲＳフリップフロップの一例を示り図であり
、第８Ｂ図は第８Ａ図に示すＲＳノリツブフロップを展
開し“Ｃ示ず図であり、第９図は第８Ａ図の波形図であ
り、第１０図は第８Ａ図の１（Ｓフリップフロップをデ
ータ駆動型図的言語で表わした図である。

次に、第８八図ないし第１０図を参照しＣ１非同期回路
の一例としてＲＳフリップフロップをシミュレーション
する場合について説明する。ＲＳフリップ７０ツブはＭ
８Ａ図に示゛すようにＮＡＮＤゲート１８と１９とから
１Ｎ成され、入力５−Ｒ−１のどきに以前の状態を保持
する機能を有しかつ一方のＮ　ＡＮ　Ｄゲート・１８の
出力が他方のＮＡＮＤゲート１９の入力に帰還され、他
方のＮＡＮＤゲート１９の出力が一方のＮＡＮＤゲート
１８の入力に帰還されてループ構造を有してし＼る。そ
こで、このようなＲＳフリップフロップをシミュレート
する場合、初期状態を予め定めておく必要がある。すな
わち、実際には第８Ｂ図に示すように、初期状態を入力
ｑとするような等価回路をシミスレー１−シなければな
らない。この第８Ｂ図に示す等価回路をデータ駆動型図
的古語で表わすと第１０図に示ずごとくとなる。第１０
図にお（、ｓでソース３１から入力百が与えられ、ソー
ス３２ｈ〜ら入力Ｓが与えられ、ソース３０から入力ｑ
ｈｔ与えられる。入力Ｒとｑはプリミティブ２９ｉこ与
えられ、入力Ｓはプリミティブ２８とＰＡＳＳ３４に与
えられる。また、ＣＯＭＰ３３には入力ｑとプリミティ
ブ２８の出力が与えられる。このＣＯＭＰ３３はプリミ
ティブ２８の出力と初期入力ｑとの比較を行ない、一致
する場合は点線で示すコントロール信号によってＰＡＳ
Ｓ３４を有効とする論理スイッチである。一方、ＰＡＳ
Ｓ３５はＣＯＭＰ３３からのコントロール信号によりデ
ータを通過させるゲー［・であって、保持状態と新しく
１人力とが同じときに選択される。他方、ＰＡＳＳ３４
は保持状態と新しい入力とが一致しないときその保持状
態を更新するために用いられる。ところが、保持状態を
更新する機能というのは、この第１０図で示された図式
そのもので実現されているので、ＲＳフリップフロップ
３６の再帰呼出の形で書き表わすことができる。すなわ
ち、保持状態が更新されるときには、ＲＳフリップ７０
ツブ３６の出力が新しい状態として、Ｔｈ３７，０３８
に出力され、また逆に状態が更新さないときに（よＰＡ
ＳＳ３５の出力が以前と同じ状態として出力される。こ
のようにして、Ｒ５７リツプフロツブを再帰呼出の形で
記）ホしてシミュレーションすることができる。

次に、前述の第１図に示したデータ駆動型図的言語を用
いかつ第２図ないし第１０図に示した原理に従ってディ
ジタル回路をシミュレートするシミュレーション装置に
ついて説明する。

第１１１゛？１はこの発明の一実論例のシミュレーショ
ン装置の概略ブロック図である。ます、第１図を参照し
てイに成について説明する。回路図入力部４１はグラフ
ィックディスプレイ装置とライ１〜ペンにＪ、り対話形
式でシミュレーションすべきディジタル回路図を入力す
るしのである。なお、シミュレーションされるべきディ
ジタル回路のうち頻繁に用いられる部分回路については
予めその詳細な回路図テークが部分回路記憶部４２に記
憶されていて、回路図入力部４１から回路図をへカゴる
ときにその入力を容易にしている。そして、回路図入力
部４１から入力された回路図テークと部分回路記憶部４
２から読出された部分回路図テークは部分回路結合部４
３に与えられる。そしで、部分回路結合部４３は部分回
路図データを主たる回路図データに結合させる。このよ
うにして結合された回路図データはループ構造変換部４
４と状態記憶素子分割部４５とに与えられる。ループ構
造変換ｉ１ｓ　４４は゛館迩の第８Ａ、８Ｂ図で説明し
たように回路図データに含まれるループ構造たとえばＲ
Ｓフリップフロップを捜し、そのループを切断して再帰
構造部と状態記憶部に変換するものである。

状態記憶素子分割部４７は回路図データに含まれるたと
えばフリップフロップのような状態を記憶する素子を動
作部（動作部は第７図の例のように特に素子に対応する
関数を記述しないで表現できる場合がある。）と状態記
憶部に分割してｔ１ｎ述のデータベースを設定するもの
である。ループ１１℃造変換部４４で変換された再帰構
造部と状態記憶部のデータならびに状態記憶素子分割部
４５で分割された動作部と状態記憶部のデータはそれぞ
れデータ駆ｔｌＪ型処理部４６に与えられる。このデー
タ駆動型処理部４６はデータ駆動型回向苫詔に変換され
て入力された回路図データをデータ駆動方式で実行する
ものであって、たとえば処理部４６１と制御部４６２と
記憶部４６３どを含む。処理Ｂ１１１４６１　ハタトエ
ＬＪ　Ｎ　Ａ　Ｎ　Ｄ　ケート’＋’　ＯＲ’ｙ’　　
Ｉ−などの素子単位に論理または波形入力からその論理
または波形応答を、素子の内部遅延や立上がり速度など
を考慮して計算する。この処理部４６１では複数個の素
子について同時に計算し並列処理が可能とされている。

このために、処理部４６１はたとえば複数のマイクロプ
ロセッサを含む。記憶部４６３はループ構造変換部４４
で変換された状態記憶部および状態記憶素子分割部４５
で分割された状態記憶部に記憶すべき状態データを一時
記憶するものである。

制御部４６２は入力データのすべてが揃った素子を捜し
、それぞれの入力データを処理部４６１に与える。また
、制御部４６２は処理部４６１でＫｌ　ｔＪされた出力
データを受取り、その出力が接続されている素子の入力
データとして保管する。処理部４６１で８１１４された
データが状態記憶素子の状態である場合には、記憶部４
６３へその状態データを与え、逆に記憶部４６３に記憶
されている状態データが必要なとぎは記憶部４６３から
そのデータを受取り、素子への入力データとともに処理
部４６１へ与える。外部データ入力部４７はシミュレー
ションされるべきディジタル回路に与えるだめのデータ
を入力するものであり、Ｌことえばキーボードから入力
した論理値の変化時刻のデータを制御部４６２に与える
。表示部４８はたとえばグラフィックディスプレイなど
によって構成され、予め指定しておいた素子の出力【こ
ついて、データ駆動型処理部４６で論理応答計算が終っ
た時点でその出力を表示することにより、ディジタル回
路の動作を点検できるものである。また、表示部６８は
未結線により論理応答計算が不可能な素子をグラフィッ
クディスプレイ上に表示した回路図において点滅させる
ことによって発見できるようにすることもできる。

第１２Ａ図および第１２Ｂ図はシミュレーションされる
べきディジタル回路の一例を示す図であり、第１３図は
第１１図に示′１Ｊ′技置の具体的な動作を説明するた
めのフロー図であり、第１４図は回路図データを入力す
る場合の操作手順を示づ一フロー図であり、第１５Ａ図
はＤタイプフリップ７０ツブを示す図であり、第１５８
図は第１５Ａ図のＤタイプフリップフロップをデータ駆
動型図的巨詔で表わした図であり、第１６図は第１２Ａ
図Ｊ５よび第１２８図に示したディジタル回路をデータ
駆動型回向古曲で表わした図であり、第１７図は入力デ
ータの波形図であり、第１８図はＮＡＮ［〕ゲートの入
力データおよび出力データの波形図であり、第１９図は
この発明の一実施例におけるシミュレーション経過の表
示例を示す図であり、第２０図はシミュレーションされ
たディジタル回路の入出力波形を示す図である。

次に、第１１図ないし第２０図を参照して、この発明の
一実施例の動作について説明する。まず、ステップ（第
１３図および第１４図ではＳＰと略称する）ＳＰｌにお
いて第１２Ａ図に示す回路図データを入力する。この回
路図データの入力は第１４図に示す手順に従って行なわ
れる。すなわち、グラフィックディスプレイ上に各種素
子の形状のシンボルが表示され、ステップ２１において
その中の１つをライトベンにより選択する。ステップ２
］で選択した素子に応じて、ステップ２２でその水子の
素子名と入力端子数と出力端子数とをキーボードから入
力する。ステップ２３においてグラフィックディスプレ
イ画面上で、ステップ２１で選択した素子を位置させた
い点にライトベンでカーソルを移動し、座標を入力する
。この時点において画面上にステップ２１で選択した素
子がステップ２３で指定した位置に表示され、その素子
に番号が付けられて登録される。ステップ２４で表示す
るべき素子が残っているか否かを判断し、残っている場
合にはステップ２コないし２３を繰返す。表示するべき
素子が残っていない場合には、ステップ２５において接
続すべき素子と素子のうち出ノｊ側の素子の出力端子を
ライトベンで指定する。ステップ２６において接続すべ
き素子と素子のうち人ノコ側の素子の入力端子をライト
ベンで指定する。この時点において画面上の２つの素子
の端子間が線で結ばれ、接続情報が素子の番号を用いて
登録される。接続すべき素子が残っているが否かをステ
ップ２７で判断し、残っている場合にはステップ２５お
よび２６を繰返す。なお、第１２Ａ図に示す部分回路Ｓ
ＵＢについてはステップ２２において部分回路名ＳＵＢ
が入力されかつこの部分回路ＳＵ８の入出力端子数が入
力され、ステップ２３で部分回路ＳＵＢの位置が指定さ
れる。

そして、ステップ２５ｃ１５よび２６において部分回路
ＳＵＢの出力端子および入力端子が指定される。

上述の一連の操作によって第１２Ａ図に示す回路図デー
タづなわち各素子のデータおよび各水子間の接続データ
が部分回路結合部４３に入力される。

再び第１３図を参照して、部分回路結合部４３は動作を
実行する。すなわち、第１２Ａ図に示す部分回路ＳＵＢ
は簡略表現されているので、予め部分回路記憶部４２に
記憶されている第１２８図に示す部分回路ＳＵＢの詳細
な回路図データを回路図入力部４１から入力された第１
２Ａ図に示す回路図データに結合する。次に、ステップ
３においてループ構造変換部４４の動作を実行する。但
し、第１２Ａ図においてループ構造は存在しないため、
この場合何も行なわない。このループ構造の変換につい
ては後で詳細に説明する。ステップ４において状態記憶
索子変換部４５の動作を実行する。すなわち、第１２Ａ
図において２つのＤタイプフリップフロップ５１および
５２が状態記憶素子に相当するので、状態記憶素子変換
部５はこれらのＤタイプフリップフロップ５１および５
２を第１５８図に示すように動作部（関数部り、　ＦＦ
）と状態記憶部〈データベースＤＢ）とに分割する。こ
のどき、Ｄタイプフリップフロップ５１および５２の動
作の計算はクロックパルスの周期単位ごとに行なわれる
ため、クロックパルスは除去され、１クロツクパルス前
の状態とし゛Ｃ索ｆの初期状態のデータを記憶部４６３
に記憶する。上述のステップコないしステップ４の動作
にＪ：す、第１２Ａ図に示す回路図データはデータ駆動
型図的ＷＪ　ｆｉｎの条件を満足し、その結果として第
１６凶に示す回路図データが得られる。そして、↓ス下
の説明のようにして第１６図に示す回路図データのシミ
ュレーション計算が行なわれる。

まず、ステップ５においてシミュレーション経過を表示
したい素子をグラフィックディスプレイ上の回路図にお
いてライトベンを用いて指定する。

続いて、ステップ６において計算の単位とされる１クロ
ックパルス周期分の回路の外部入力データを入ノｊｖる
。たとえば、第１７図に示すような初期レベルＩ、前縁
の変化タイミングＴ、後縁の変化タイミングＴ′のデー
タが入力さ１れる。ステップ７において、データ駆動型
処理部４６は各素子の中で入力がすべて揃っている水子
を１つ捜し出す。第１６図では、２人力ＮＡＮＤグー１
−５９とインバータ５７．５８．６０がこれに相当し、
ここでは２人力ＮＡＮＤゲー１〜５９が選択されたもの
とする。ステップ８において入力のすべて揃った水子が
ない場合はステップ９を実行する。ステップ８で入力の
すべて揃った素子が存在した場合は、ステップ１゛１を
実行する。すなわち、ステップ１１では、ステップ７に
おいて捜し出された素子の入力がＤタイプフリップフロ
ップ５１の状態記憶部のデータであれば、記憶部４６３
から初期データを受取る。この場合、記憶部４６３から
のデータは２人力ＮＡＮＤゲート５９の一方の入力端に
入力されるデータに相当する。ステップ１２において、
ＮΔＮＤゲート５９の入力データを処理部４６１に与え
る。同時に、処理部４６１では２人力ＮＡＮＤゲート５
９の論理または波形応答計算を開始する。ここで、処理
されるべぎ索子は２人力ＮＡＮＤゲートであるため、内
部遅延などを考慮して第１８図に示すごとく、入力１と
入力２とに基づいて出力波形の演算を行なう。

ステップ１３において、処理部４６１で演算された出力
データがあれば制御部４６２がそのデータを受取り、次
に接続されている素子すなわち３人力ＮＡＮＤゲート６
２の１つの入力データとする。このとき、制御部４６２
で受取るデータは直航に処理部４６１に与えたデータに
対応する必要はない。今の場合、演算は終了していない
ものとする。ステップ１３において得られたデータが状
態データである場合は、ステップ１４においてその状態
データを記憶部４６３に記憶する。ステップ１３におい
て得られた出力データの素子がステップ５において表示
を指示された素子であるかどうかをステップ１５で判別
し、指定されていない素子であれば丙びステップ７の処
理を実行する。

しかし、ステップ１３で得られた出力データの素子が表
示を指示された素子であれば、出力データをグラフィッ
クディスプレイ上に表示する。モの表示結果は第１９図
に示すように、回路図データとともに入出力波形が表示
されたものとなる。

続いて、ステップ７の処理を実行する。そし−（、ステ
ップ８において回路図の中に存在しながら計算の行なわ
れなかった素子つまり入力端子にテ゛−タが入力されな
かった素子をステップ１つで検索し、存在すればそのｆ
１粋の行なわれなかった索子をグラフィックディスプレ
イ上の回路図において点滅させる。これによって誤配線
を知らせる。計算されなかった索子が存在しない場合に
は再びステップ６の処理を実行する。

以下、同様にしてステップ６ないしステップ１６の動作
を繰返し、第１６図に示す各素子の論理または波形応答
を演算する。その結果、第２０図に示すように、第１２
Ａ図に示すディジタル回路にクロックパルスと入力信号
Ａと入力信号Ｂと入力信号Ｃとを与えた場合の出力信号
り、Ｅ、Ｆがそれぞれグラフィックディスプレイ上に表
示される。

上述のごとく、データ駆動型処理部４６によって第１２
Ａ図に示すディジタル回路がデータ駆動型図的言語に変
換され、各素子の論理または波形応答を並列的に演算し
てシミュレーションを実行することができる。

第２１図はこの発明の第２の実施例の概略ブロック図で
ある。この第２１図はデータ駆動処理部４６に処理部４
６４と制御部４６５を新たに設けた以外は前述の第１１
図と同じである。

第２２図は第２１図に示すブロック図の動作を説明する
ためのフロー図であり、第２３図は第２１図に示すブロ
ック図によってシミュレーションされるべきディジタル
回路の一例を示ず図であり、第２４図は第２３図に含ま
れるＲＳフリップフロップを示す図であり、第２５図お
よび第２６図は第２３図に示すディジタル回路をデータ
駆動型図的言語で表わした図であり、第２７図および第
２８図は表示水子の選択とその表示例を示す図である。

なお、第１１図の実施例においても、第２２図のフロー
図に従って第２３図のディジタ回路をシミュレーション
することが可能である。

次に、動作について説明する。ステップ１においてはＡ
Ｕ述の第１４図に示したステップ２１ないし２７の操作
に従って第２３図に示す回路図データが入力される。な
お、第２３図にｄ３いてＲＳフリップフロップは簡略表
瑣されていて、第２４図に示ずＲＳフリップフロップの
詳細な回路図データは部分回路記憶部４２に記憶されて
いる。ぞして、ステップ２において第２３図に示す回路
図データと第２４図に示ず部分回路図データとが結合さ
れる。ステップ３におい−Ｃループ構造変模部４４は第
２３図および第２４図のディジタル回路に含まれるルー
プ構造すなわち、ＮＡＮＤグー１〜６３および６４から
なるＲＳフリップフロップを児つけ第２５図、第２６図
に示すように再Ｉ／Ｆｉ１４）４造部と状態記憶部に変
換りる。なお、第２６図のＲＳフリッツブロップ部は、
前述の第１０図に対応するものである。すなわち、ＣＯ
ＭＰ６６は第１０図のＣＯＭＰ３３．Ｐ６７は第１０図
のＰＡＳＳ３４、Ｐ６８は第１０図のＰＡＳ３５にそれ
ぞれ対応する。これらはソースｑとともに状態記憶部を
構成することとなる。

一方、ステップ４において状態記憶素子分ｉ！、１１部
４５は第２３図に示′！Ｊ′Ｄタイプフリップフロップ
を前述の第１５Ｂ図で説明したように動作部と状態記憶
部とに分割Ｌノで第２６図に示すデータ駆動形言語で表
わす。ステップ１５において、第２３間の入力部に相当
するデータを入力する。前述の第１３図に示すステップ
６では１クロツタ分の外部データを入力したが、この第
２２図では第２３図に示すディジタル回路が非同期回路
であるため、入力単位は１クロツタパルスの周期ではな
く１回の信号レベルの変化を含む任意の時間間隔とされ
る。その後、ステップ７において入力の揃った素子を捜
し、ステップ８において入力の揃った素子が存在するか
否かを判別する。存在していれば前述の第１３図に示す
ステップ１１ないし１４の処理を行なう。但し、この実
施例では第２１図に示すごとく制御部４６２と４６５お
よび処理部４６１と４６４のように２粗設けられいるた
め、２組の異なった時間間隔の入力データに対【ノて同
時に実行することが可能となる。もし、入力の揃った素
子が存在しなければステップ９にＪ５いて計算されなか
った素子が存在するか判別され、ステップ１０において
計算されなかった素子が表示される。

計算されなかった素子が存在しなければステップ１６に
ｄ−３いて１つの時間間隔についてすべての計算が終っ
た時点において第２７図に示すようにディジタル回路に
含まれるいくつかの素子を表示のためにライトベンで選
択する。その結果、ステップ１７において第２８図に示
すように選択した素子の出力データがグラフィックディ
スプレイ上に表示される。グラフィックディスプレイに
出力データを表示している間、他方の制η１１部４６３
はステップ７ないし１４の処理によって別の時間ｆｆｆ
ｌ隔について処理を行なう。このような一連の動作によ
って、第２３図に示すディジタル回路の入出力波形が第
２９図に示すような態様でグラフインクディスプレイ」
：に表示される。

上）ｄｉのごとく、特にこの実施例にお１′、ｌるシミ
コレ−ジョン装ｂ′では制御部と処理部とを２粗設（Ｊ
たので、ディジタル回路の並列性は゛かりでなく巽ｌＪ
−っだ時間に対し・でも並列に実行を行なうことかでき
る。また、１つの時間間隔ごとに任意の素子の出力デー
タを点検できるため、回路膜８１の誤りを容易に発見プ
ることができる。

なお、回路図入力部４１ではグラフィックティスプレィ
上で作成した回路ν１を直接入力するようにしたが、こ
れに限ることなく回路図データを一旦外部記憶装置に記
憶して＋１５き、必要なときにその外部記憶装置から回
路図データを読出して入力するようにしてもよい。

第３０図はこの発明の他の実施例を示１概略ブロック図
であり、第３１図は第３０図に示す入出力サブシスデム
の概略ブロック図であり、第３２図は第３０図に示す実
行制御コニットの概略ブロック図である。まず、第３０
図ないし第３２図を参照して構成について説明する。こ
の例に示すシミュレーション装置は入出力力ブシスデム
７］と実行制御ユニット・７２と機能メモリ７３とから
構成される。そして、入出力ザブシステム７１と実行ｉ
１１制御ユニツ１〜７２ど機能メモリ７３は共通バス８
０によって接続される。入出力ザブシステム７１は第３
１図に示すように、シミュレーションされるべぴ・ディ
ジタル回路の入力数に対応したバケツ１〜群７１１ない
し７１３と、アービタ７１４と、ディジタル回路の出力
数に対応したパケット群７１５ないし７１７と、ディス
トリビュータ７１８とを含む。実行制御ユニット７２は
第３２図に示すように、共通バスに接続されるティスト
リビュータフ２コと複数のテンプレート７２２ないし７
２４とアービタ７２５とＡＬＵ７２６とから構成される
。テンプレート７２２ないし７２４は後述の第３５図で
μｍ明するがディジタル回路に含まれる各素子名などを
記憶するものである。ＡＬＵ７２６は基本的な素子を特
徴付ける演算機能ずなわちたとえばＡＮＤゲートであれ
ば論理積演算機能を有しており、素子特有の電気的特性
たとえば伝達遅延特性などを演算するものである。機能
メモリ７３は前述の第１５Ａ図および第１５Ｂ図で説明
したように、たとえばＤタイプフリップフロップであれ
ば動作８１（と状態記憶部としての状態データを記憶す
るものである。

第３３図のディジタル回路を例にとって具体的に説明す
る、１第３４図は第３３図のディジタル回路図をデータ
駆動型図的言語で表ね（〕た図であり、第３５図は第３
２図に示すテンブレー１〜および第３０図に示す機能メ
モリに記憶されろデータを示す図である。

第３３図に示すディジタル回路図はＤタイプフリップフ
ロップ８３を含むため、アーク駆動型図約言８Ｈで表わ
すと第３４図に示づ−ごとくＤターｆブフリップフロツ
ブ８３を動作部と状態記憶部とに分割して表現される。

そして、ディジタル回路に含まれるＮＡＮＤゲート８１
に関するデータはテンプレート７２２に記憶される。す
な：ｌ′）ち、テンプレート７２２にはＮΔＮＤゲート
８１が２人力ＮＡＮＤであり、そのテレ−Ｕと出力数１
と出力光がＯＲゲー１−８２の一方入力であることと、
２つの入力端に入力されるべきそれぞれのデータが記憶
される。同様にして、テンプレート７２３には２人力Ｏ
Ｒゲート８２に関するデータが記憶される。、すらに、
テンプレート７２３にはＤタイプフリップフロップ８３
１こ関するデータが記憶される。使方、機能メモリ７３
にはＤタイプフリ・ンブフロツブ８３の初期状態のデー
タが記憶される。

１１ｉＪ′述のテンプレート７２２ないし７２３に記憶
される素子名やデレー量や出力数や出力光などのデータ
はたとえばグラフィックデイスブＩノイとライ１〜ペン
を用いて、前述の第１４図に示Ｅノだ操作手順に従って
入力される。また、データ１および２は入出力サブシス
テム７１のパケツｌ−７１１ないし７１３から入力され
る。

次に、動作について説明する。第３４図に示す入力１お
よび２に対応するデータは入出力サブシステム７１に入
力される。入出力サブシステム７１では入力１および２
に対応するパケットＩＮ１おＪ、び２を作成し、それを
ディストリごュータ７１４から共通バス８０を介して実
行制御コニット７２に与える。実行制御ユニット７２で
はバケツ１〜ＩＮＩのデータを受取ると、そのデータを
ディストリヒユータフ２１によってテンプレート７２２
のチータコのエリアにセット１゛る。続いて、バケット
ＩＮ２のデータはＩｒｍ　Ｓ＋＞にしてテンプレート７
２２のデータ２のエリアと、テンプレート・７２３のデ
ータ１のエリアと、テンプレート７２３のデータ１のエ
リアにセラ１へされる。このようにして、テンプレート
７２２に必要なデータが−＜ｊべてセット・されると、
テンプレート７２２はアクティブな状態になり、テンブ
レー１〜７２２にセットされたアークはアービタ７２５
を介してＡ　Ｌ　Ｕ　７２６に転送される。ΔＬＵ７２
６目テンブレー［・７２２にけットされ−Ｃいるデータ
に基づいて必要とされる演算を実行する。すなわら、テ
ンプレート７２２はｒｌ　Ａ　Ｎ　Ｄゲート８１に対応
する−１つのであるため、論理積演綽を実行し、ＮＡＮ
Ｏグー１−８１の出力に現われる論理およびデレー最を
演淳する。このｉｌＪ結果はテンプレート７２２にセッ
トされている出力光すなわちＯＲゲート８２に対応する
テンプレート７２３のデータ１のエリアにセラｉ〜され
る。

同様にして、アクティブになったテンプレート７２４に
レットされているデータはアービタ７２５を介してＡＬ
Ｕ７２６に転送される。但し、テンブレー１〜７２４は
Ｄタイプノリツブフロップ８３の動作状態のデータをセ
ットするものであるため、実際の演算を行なうのではな
くＤタイプフリップノロツブ８３の初期状態におけるデ
ータを機ｆ＋Ｉｉメモリ７３から読取る作業を行なう。

すなわち、テンプレート７２４にセットされているＤタ
イプノリツブフロップを表わす素子名のデータがＡｍＵ
７２６を介してディストリごニータフ２１および共通バ
ス８０を介して機能メモリ７３に与えられる。それによ
って、機能メモリ７３はＤタイプフリップフロップ８３
の初期状態におけるデータを、共通バス８０を介して実
行制御ユニツト７２に転送する。転送されたデータはデ
ィストリごニータフ２１によってテンプレート７２４の
ステートのエリアにセットされる。続いて、タロツクパ
ルスに対応するパケットＩＮ３のデータはテンプレート
７２４のデータ２のエリアにセットされる。

テンプレート７２４はすべてのデータがセットされたこ
とによりアクティブとなり、このテンプレート７２４の
各データはアービタ７２５を介してＡＬＬＩ７２６に転
送され、そこで必要とされる演算が行なわれる。この演
算はＤタイプフリップフロップ８３の動作を決定するた
めの決算であって、機能メモリ７３から与えられた初期
状態にお番ノるデータとＤ入力に対応するデータ１とク
ロックパルスに対応するデータ２とに基づいてＤタイプ
ノリツブフロップ８３の出力状態が決定される。このよ
うにして、演算されたＤタイプフリップフロップ８３の
出力データはテンプレート７２３のデータ２のエリアと
機能メモリ７３のデータ１のエリアにセットされる。テ
ンブレー１〜７２３はデータ２のエリアにＤタイプノリ
ツブフロップ８３の出力データがセットされたことによ
りアクティブになり、之→Ｖな２Ａ算すなわちテンプレ
ート７２３がＯＲグー１−８２に対応するものであるた
め論理和演μを行なう。そして演算された出力データは
ディス１〜りどニータフ２１から共通バス８０を介して
人出力サブシステム７１に含まれるパケット０ＵＴ１に
出力される。

続いて、入出力ザブシステム７１には次の単位時間にお
りる入力データが与えられ、上）本の動作を線返して各
単位時間におけるシミュレーションが行なわれる。この
場合、機能メモリ７３のデータ１のエリアにはある世代
において動作したＤタイプフリップフロップの出力デー
タがセットされているので、次の世代において人力２が
変化したデータが与えられれば、機能メモリ７３からの
データを読込むことにより、Ｄタイプフリップフロップ
の出力データが演算される。

なａ′３、ある世代の処理において、機能メモリ７３に
セットされたデータ１に変化がなくかつその次の世代の
入力が直前の世代の入力と同じであれば、その次の世代
でＤタイプフリップフロップ８３の出力は変化しない。

したがって、このような場合には入出力サブシステム７
１はパケットの転送を行なわず、前の世代の出力パケッ
トのデータをそのまま出力するようにすれば、演算の必
要のない世代をスキップすることによって処理効率を上
げることができる。

上述のごとく、シミュレーションされるべきディジタル
回路に含まれる各素子に関するデータを各素子ごとにテ
ンプレートにセントすることによって実行プログラムを
作成することができ、シミュレートされるべきディジタ
ル回路と実行ブ【コクラムとの整合性をとることができ
る。ぞして、各素子に対応する演算順序はテンプレート
にセットされるデータのみによって規定され、それ以外
の順序規定を不要にすることができる。

第３６図はこの発明のその他の実施例を示す概略ブロッ
ク図である。この第３６図は前述の第３２図に示したＡ
ＬＵ７２６を演算装置７４として実行副部ユニット７２
とは分離して独立的に設けたものである。このようにａ
ｌｔｌ装＠７４を独立して設けることにより、実行制御
ユニット７２を複数設けた場合であっても、演算装置７
４は各実行制御ユニットに含まれるテンプレートからの
データに旦づいて独立的に演算を行なうことかできると
いう利点がある。

ざらに、シミュレーションされるべきディジタル回路が
複雑であれば、実行制御ユニット７２および演算装置ｆ
ｆ１７４をそれぞれ複数並列的に設けるようにすればＪ
：い。すなわち、実行制御ユニット７２を複数設けてお
き、各実行制御ユニットのそれぞれに含まれるいずれか
のテンプレートにすべてのデータが同時にセットされる
と、演算装置７４が１つしかない場合には、同時に各実
行制御ユニッｈを並列始期することができない。しかし
、演練装置７４を複数設けておけば、各実行制御ユニッ
トから同時にデータが出力されても、それぞれのデータ
を並列的に処理することができるので処理速度を向上す
ることができる。この場合、全く同じハードウェアによ
って構成された演算装置７４を複数設けるだけでよいの
で、設計コストを低減できる。

第３７図はシミュレーション装置のその仙の例を示す概
略ブロック図である。この第３７図に示した例は実行制
御ユニツｌ−７５１と機能メモリ７５２とを結合して結
合ユニツ１−７５を設けたものである。このように実行
１ｌｌｌｌ　０１１ユニツト７５１と機能メモリ７５２
とを結合することにより、前述の第３６図のように機能
メモリ７３を実行制御ユニット７２から切離して共通バ
ス８ｏで接続する場合に比べて、データの伝送時間を大
幅に短縮することができる。特に、結合ユニット７５を
複数設けた場合に、それぞれの結合ユニットに含まれる
実行制御ユニット７５１と機能メモリ７５２との伝送時
間を第３６図に比べて大幅に短縮できるという利点があ
る。また、各世代の状態データをそれぞれの機能メモリ
７５２に記憶することにより、状態データが１個の機能
メモリに集中することがないので、機能メモリとの間に
おけるデータ伝送の際の待ち時間をｙＩｉ縮できる。そ
して、機能メモリとして１個の人容是メモリを用意する
必要がなく、小形のメモリを複数設ければよいのでコス
トを低減することかできる。

以上のように、この発明によれば、ディジタル回路の回
路図データを直接入力しその回路図データに含まれる素
子ａ５よびその接続関係を示ずデータをデータ駆動形量
的言語の条件を満たすように変模し、変換されたデータ
駆動形量的言語を用いて直接その動作を実行させること
によりシミュレーション経過を回路図とともに表示する
ようにしたので、ディジタル回路内に並列的に動作する
回路部分があってもそれらの動作を並列的に実行するこ
とができ、回路設計の誤りを容易に発見することができ
る。

【図面の簡単な説明】

ｖＪ１図はこの発明が適用されるデータ駆動型図的言語
の各構成要素を示す図である。第２図は回路図を第１図
に示すデータ駆動型図的言語で表わした一例を示ず図で
ある。第３Ａ図はデレーを含む回路をデータ駆動型図的
言語で表わした一例を示す図である。第３Ｂ図は第３Ａ
図を履歴依存性を有するデータ駆動型図的言語として表
わした図である。第４Ａ図はＮＡＮＤゲー１−を含むデ
ィジタル回路の一例を示す図である。第４Ｂ図は第４Ａ
図に示すＮＡＮＤゲートをデータ駆動型図的言語で表わ
した図である。第５図はディジタル同期回路の一例を示
す図である。第６図は第５図の各入出力における波形図
である。第７図は第５図に示すディジタル同期回路をデ
ータ駆動型図約言にｎで表わした図である。第８Ａ図は
ＲＳフリップフロップの一例を示す図である。第８Ｂ図
は第８Ａ図に示すＲＳフリップフロップを展開して示ず
図である。第９図は第８Ａ図の各入出力波形図である。 第１０図は第８Ａ図のＲＳフリップフロップをデータ駆
動型図的言語で表わした図である。第１１図はこの発明
の実施例の概略ブロック図である。第１２Ａ図はシミュ
レーション例を説明するためのディジタル回路図である
。第１２８図は第１２Ａ図に示す部分回路の詳細な回路
図である。 第１３図は第１１図の動作を説明するためのフロー図で
ある。第１４図は第１１図に示ず回路図入力部の動作を
説明するためのフロー図である。第１５Ａ図はＤタイプ
フリップフロップを示す図である。第１５Ｂ図は第１５
Ａ図のＤターｒブフリップフロツブをデータ駆動型図的
言語で表わした図である。第１６図は第１２Ａ図に示す
ディジタル回路をデータ駆動型図的言語で表わした図で
ある。 第１７図は入力データの波形図である。第１８図はＮＡ
ＮＤゲートの入力データおよび出力データの波形図であ
る。第１９図はシミュレーション装置によってシミュレ
ーションされた経過の表示例を示づ一図である。第２０
図はシミュレーションされたディジタル回路の出力波彫
を示ず図である。 第２１図はシミュレーション装置の他の例の概略ブロッ
ク図である。第２２図は他の動作例を説明するためのフ
ロー図である。第２３図はシミュレーション例を説明す
るだめの他のディジタル回路の一例を示ず図である。第
２４図は第２３図に示ｔＲ３・フリップフロップの具体
例を示す図である。 第２５図および第２６図は第２３図に示すディジタル回
路をデータ駆動型図的言語で表わした図である。第２７
図および第２８図はシミュレーション装置における表示
素子の選択とその表示例を示す図である。第２９図は、
第２３図に示Ｊ−ディジタル回路のシミュレーション波
形図である。第３０図はシミュレーション装置の他の例
を示す概略ブロック図である。第３１図は第３０図に示
す入出力サブシステムの概略ブロック図である。第３２
図は第３０図に示す実行制御ユニットの概略ブロック図
である。第３３図はシミュレーション例を説明するさら
に他のディジタル回路図である。 第３４図は第３３図のディジタル回路図をデータ駆動型
図的言語で表わした図である。第３５図は第３２図に示
すテンプレートおよび機能メモリに記憶されるデータを
示ず図である。第３６図はシミュレーション装置のその
他の例を示す概略ブロック図である。第３７図はシミュ
レーション装置のさらに他の例を示す概略ブロック図で
ある。 図において、４１は回路図入力部、４２は部分回路記憶
部、４３は部分回路結合部、４４はループ構造変換部、
４５は状態記憶素子分割部、４６はデータ駆動型処理部
、４７は外部データ入力部、４８は表示部、７１は入出
力サブシステム、７２は実行制御ユニット、７２２ない
し７２４はテンブレー１〜．７２６はＡＬＵ、７３は機
能メモリ、７４は演ｔｉｇ装置、７５は結合ユニットを
示す。 特許出願人　松下電器産業株式会社 三洋電ｖ１株式会社 三菱電機株式会社 シャープ株式会社 寡１（２） （ａ＋　　　　　　　　　　　　４ｂ）　　　　　　　
　ｔｃ）　　　　　　　　ｔｄ＋　　　　　　　　　　
（ｅ）（ｉｔ　　　　　　　ｔ；））＋ｋ）（／＋（ｈ
′ｆｌ）（〈ン１□）　　　　　　　　　　　　　　ｔ
ｏ＋　　　　　　　　　　　　　ｔＰン＋９　　　　　
　　　　　　＋Ｓ　　　　　　　　　　Ｉ５　　　　　
　　　　　１５男２町 昂３Ａ閉　　　　　　　　　　孫３８図第４−Ａ図　　
　　　　　　　　亮４Ｂ図頬５Ｉ２］ クロックハロ１シス 第β図 環７酬 ９ 第９図 出力０　　　　　　　１Ｆ−□−ム！−−一一一−−廊
２０口 λ力Ｃ 土奸　　　　　　　　　　　゛ 第２４図 ８２５図 孫２８図 禅２９喝 率３０区 挽ち３目 孫″３５固 守口型京阪本通２下目１８番地 ０出　願　人　三菱電機株式会社 東京都千代田区丸の内２丁目２ 番３号 ■出　願　人　シャープ株式会社 大阪市阿倍野区長池町２２番２２号

Claims (5)

【特許請求の範囲】
1. （１）　ディジタル回路をディスプレイ装置に表示し、
   前記ディジタル回路に含まれる素子を回向ＨｆｉＦＩと
   してその動作を実行させてシミュレーションするシミュ
   レーション装置であって、前記ディジタル回路に含まれ
   る素子と前記素子の接続状態とからなる回路図データを
   入力するための入力手段、 前記入ツノ手段から入力された回路図データに含まれる
   ルーブイｊ４造を再帰構造の回向言ｇＨに変換するルー
   プ（１４造変換手段、 前記ディジタル回路に含まれる状態記憶素子を動作部と
   前記状態を表わす量的言語とに分割する状態記憶素子変
   換手段、 前記ループ４１４造変換手段と前記状態記憶素子変換手
   段のそれぞれの出力に基づいて、前記入力手段から入力
   された回路図データを回向＝ａとじててその動作を実行
   し、前記ディジタル回路の論即または波形計綽を行なっ
   てシミュレーションづ−る回向８語処理手段、および 前記回向言Ｊａ処理手段によりシミュレートされた経過
   を前記入力された回路図データとともに前記ディスプレ
   イ装置に表示させる手段を備えた、ディジタル回路シミ
   ュレーション装置。
2. （２）　前記ループ構造は保持状態を有していて、 前記ループ構造変換手段は、 初期の保持状態を表ねず回向言ｚ！ｉに変換する手段と
   、 入力に応じて保持状態が更新されるが否かを比較するこ
   とを表ねづ量的言語に変換する手段と、前記保持状態の
   更新の判別に応じて、前記ループ構造を表わす量的言語
   に再帰させることを表わす量的言語に変換する手段とを
   含む、特許請求の範囲第１項記載のディジタル回路シミ
   ュレーション装置。
3. （３）　前記状態記憶素子は、予め定める単位時間前の
   状態のデータを保持していて、次の単位時間経過後に出
   力されるデータが前記保持されているデータを用いて決
   定される素子を含み、前記状態記憶素子変換手段は、 前記予め定める単位時間前の状態を表わす回向言Ｈ！ｉ
   に変換する手段と、 次の単位時間経過後に前記予め定める単位時間前の状態
   を表わすデータに基づいて、動作状態の決定を表わす間
   約言語に変換する手段とを含む、特８′［請求の範囲第
   １項記載のディジタル回路シミュレーション装置。
4. （４）　前記ディスプレイ装置は前記ディジタル回路に
   含まれる各素子を図形で表示する手段を含み、 前記入力手段は、 前記ディスプレイ装置の画面上に表示されたいずれかの
   素子を指定するための指定手段、および 前記指定手段で指定された素子に関する少なくとも論理
   機能と入力信号数とを表わすデータを入力するための手
   段を含む、特許請求の範囲第１項記載のディジタル回路
   シミュレーション装置。
5. （５）　前記指定手段は、 前記指定した素子を前記ディスプレイ装置の画面上に表
   示すべき任意の位置を指定するための手段と、 前記ディスプレイ装置の画面上に表示された各素子の接
   続状態を表示するために各素子の入力と出力とを指定す
   るための手段とを含む、特許請求の範囲第１項記載のデ
   ィジタル回路シミュレーション装置。