JPH0275058A - 記号シミュレーション装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、記号を用いて回路動作をシミュレーション、
回路を構成する各要素の状態を定義する記号シミニレ−
シラン装置に関する。

〔従来の技術〕

第５図は、従来の記号シミュレーション装置の構成を示
すブロック図である。図中１は回路を構成する各要素の
状態及び要素間の接続関係のデータを保持する回路デー
タ部である。接続情報入力手段２は、接続情報ファイル
３から読み出したデータを回路データ部１へ出力し、状
態設定手段４は、回路構成要素の状態を記号列で定義し
である初期状態設定ファイル５からシミュレーション対
象回路の所定要素の初期状態を読み出して回路データ部
ｌへ出力し、所定要素を初期状態に設定する。また、状
態決定部７は初期状態が設定された前記所定要素以外の
構成要素の状態の決定規則を回路データ部１へ出力する
。実行制御手段９．は、全構成要素の状態を決定するシ
ミュレーション過程を制御する。状態観測手段６は、回
路データ部１から任意の構成要素のシミュレーション結
果を読み出して状態観測結果ファイル８へ出力し、状態
観測結果ファイル８は与えられた結果を装置外部へ出力
する。

次に、動作につき説明する。第６図は記号シミュレーシ
ョンの手順を示すフローチャートである。

接続情報ファイル３は、例えば、論理回路を構成する各
要素間の接続関係に関するデータを記憶しており、また
、初期状態設定ファイル５は、記号列によって定蓑され
る各要素の初期状態を記憶している。

接続情報入力手段２が、シミュレーション対象の回路を
構成する所要要素間の接続関係を接続情報ファイル３か
ら読み出して回路データ部ｌへ出力する。また、状態設
定手段４は、その回路における所要要素の初期状態を初
期状態設定ファイル５から読み出し、読み出した記号列
に対応する初期状態のデータを回路データ部ｌへ出力し
、対応する構成要素を初期状態に設定する。

次に、実行制御手段９は、状態決定部７から回路データ
部１へ出力された状態の決定規則及び接続情報入力手段
２から回路データ部１へ出力された要素間の接続関係に
基づき、状態が未定である全構成要素の状態を決定して
シミュレーションが終了する。

シミュレーションが終了すると、状態観測手段６が各構
成要素の状態を読み取り、各要素の状態を記号列に変換
して状態観測結果ファイル８へ出力する。状態観測結果
ファイル８は、与えられた記号列を回路構成要素の状態
を示すデータとし７て装置外部へ出力する。

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

従来の記号シミュレーション装置は以上のように構成さ
れているため、各要素の状態を認識する手段として用い
る記号列の種類が予め限定されており、記号列を変更、
追加または削除する場合には装置自体を改修しなければ
ならないという問題があった。

本発明はこのような問題を解決するためになされたもの
であって、装置の改修を伴わずに使用する記号列を容易
に変更、追加または削除し得る記号シミュレーション装
置の提供を目的とする。

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

本発明の記号シミニレ−シラン装置は、回路を構成する
要素間の接続関係を記憶しておく接続関係メモリと、要
素の状態を表現するための記号列の構成規則を記憶して
おく書き換え可能な構成規則メモリと、回路を構成する
要素の状態を決定する規則を記憶しておく状態決定規則
メモリと、該状態決定規則メモリから読み出した決定規
則を、前記構成規則メモリから読み出した記号列の構成
規則に従って記述する記述手段と、該記述手段が記述し
た状態決定規則及び接続関係メモリが記憶している要素
間の接続関係に基づき、全構成要素の状態を決定する状
態決定手段とを備えたことを特徴とする。

〔作用〕

本発明の記号シミュレーション装置は、記述手段が、構
成規則メモリが記憶している記号列の構成規則に従って
状態決定規則メモリから読み出した決定規則を記述し、
記述手段が記述した状態決定規則及び接続関係メモリが
記憶している要素間の接続関係に基づき、状態決定手段
は回路を構成する全要素の状態を決定して記号シミュレ
ーションを終了する。従って、任意の記号列の構成規則
を構成規則メモリに記憶させることが可能である。

〔実施例〕

以下、本発明をその実施例を示す図面に基づき詳述する
。第１図は本発明に係る記号シミュレーション装置の構
成を示す図面である。図中１は回路を構成する各要素の
状態及び要素間の接続関係のデータを保持する回路デー
タ部である。接続情報入力手段２は、接続情報ファイル
３から読み出したデータを回路データ部１へ出力す゛る
。記号列構成規則入力手段１０は、任意にデータを変更
１追加または削除し２得る記号列構成規則ファイル１１
から読み出した記号列の構成規則を記号列構成規則部１
２へ出力し、記号列構成規則部１２はこれを記憶する。

状態設定手段４は、回路構成要素の初期状態を定義しで
ある初期状態設定ファイル５から所定要素の初期状態を
読み出し、読み出した初期状態を、前記記号列構成部１
２に記憶しである記号列の構成規則に従って記述し、記
述された記号列に対応する所要要素の初期状態のデータ
を回路データ部１へ出力して所定要素を初期状態に設定
する。

また、状態決定規則入力手段１３は、回路構成要素の状
態を決定する規則を定義しである状態決定規則ファイル
１４から所要規則を読み出し、前記記号列構成規則部１
２が記憶している記号列の構成規則に従って記述された
状態決定規則の記号列を状態決定部７へ出力する。状態
決定部７は状態が未定である構成要素の状態データを回
路データ部１へ出力する。実行制御手段９は、全構成要
素の状態を決定するシミュレーション過程を制御する。

状態観測手段６は、回路データ部１から（ｆ意の構成要
素のシミュレーション結果を読み出して状態観測結果フ
ァイル日へ出力し、状態観測結果ファイル８は与えられ
た結果を装置外部へ出力する。

次に、動作につき説明する。第２図は記号シミュレーシ
ョンの手順を示すフローチャートである。

接続情報ファイル３は、例えば、論理回路を構成する要
素間の接続関係に関するデータを記憶しており、初期状
態設定ファイル５は、記号列によって定義される各要素
の初期状態を記憶している。

また、記号列構成規則ファイル１１は、構成要素の状態
を定義する任意の記号列の構成規則を記憶しており、記
号列の変更、追加または削除が可能である。

状態決定規則ファイル１４は、構成要素の種類ごとに定
義される構成要素の状態決定規則を記憶している。

記号列構成規則入力手段ｌＯが、シミｊ−レーションに
使用する記号列の構成規則を記号列構成規則ファイル１
１から読み出して記号列構成規則部１２へ出力し、記号
列構成規則部は読み出された構成規則を記憶する。

また、接続情報入力手段２が、シミュレーション対象の
回路を構成する所要要素間の接続関係を接続情報ファイ
ル３から読み出して回路データ部１へ出力する。

次に、状態設定手段４が、その回路における所要要素の
初期状態を初期状態設定ファイル５から読み出し、読み
出した初期状態を前記記号列構成規則部１２が記憶して
いる記号列の構成規則に従った記号列で記述し、読み出
した記号列に対応する初期状態のデータを回路データ部
１へ出力して対応する構成要素を初期状態に設定する。

さらに、状態決定規則入力手段１３が状態決定規則ファ
イル１４から所要構成要素の状態を決定する規則を読み
出し、記号列構成規則部１２が記憶している構成規則に
従って状態の決定規則を記述し、この決定規則を状態決
定部７へ出力する。実行制御手段９は、状態決定部７へ
出力された決定規則及び接続情報ファイル３から読み出
した要素間の接続関係に基づき、状態が未定である全構
成要素の状態を決定し、シミュレーションが終了する。

シミュレーションが終了すると、状態観測１段６が各構
成要素の状態を読み取り、各要素の状態を記号列に変換
して状態観測結果ファイル８−・出力する。状態観測結
果ファイル８は、与えられた記号列を回路構成要素の状
態を示すデータとして装置外部へ出力する。

次に、具体例に基づき記号シミュレーションの実際を説
明する。記号列の構成規則は、Ｆｌａｃｋｕｓ−Ｎａｕ
ｒ−Ｆｏｒｓｉ（ＢＮＦ記法）に従って、′く記号列〉
：く記号＞１＜記号列〉・〈記号〉”　（「記号列は記
号または記号列の後に・　（ドツト）と記号とをつけた
ものである」）及び“〈記号＞　：　ＨＩ　Ｌ　ＩＡＩ
Ｂ″　（［記号は１１またはＬまたはＡまたはＢである
」）と記述されている。

また、第３図は２人力ＡＮＤ素子からなる論理回路の構
成を示す回路図、第４図はその論理回路を構成する素子
の状態決定規則を手続き的に示したフローチャートであ
る。

ＡＮＤｌは、入力素子ＩＮ２及びＩＮ３から信号を入力
し、ＡＮＤ２は入力素子ＩＮＩ及びＡＮＤＩの出力端子
から信号を入力し、ＡＮＤ３は入力素子ＩＮ４及びＡＮ
Ｄ　１の出力端子から信号を入力し、ＡＮＤ２は出力素
子０［ＩＴｌへ信号を出力し、ＡＮＤ３は出力素子０Ｕ
Ｔ２へ信号を出力する。

その状態規則は、少なくとも一方の入力が記号列“Ｌ”
である場合は、出力を記号列“Ｌ″とする。

また、いずれの入力も“■７”でなく、少なくとも一方
の入力が“Ｆ（”である場合は、他方の入力の記号列を
出力とする。

さらに、いずれの入力もＨ”または′ｒ７′ではない場
合は、“入力記号列・入力記号列”を出力とする。

以上の状態決定規則に基づき、入力素子ＩＮＮ、ＩＮ２
、　ｆＮ３及び１１１４に記号列“Ｈ”、“Ａ”、“Ｂ
”及び“Ｌ”を与えると、Ａ、ＮＤｌの出力は“Ａ・Ｂ
”、ＡＮＤ２の出力は“Ａ−Ｂ”、ＡＮＤ３の出力は“
Ｌ”となり、出力素子０１１７１の出力が“Ａ・Ｂ”、
出力素子０ＵＴ２の出力が“Ｌ”となる。

なお、本実施例では、ＡＮＤ素子、入力素子及び出力素
子から構成される論理回路の記号シミ、７６レーシヨン
につき説明したが、他の基本素子、マイクロ素子等から
構成される論理回路に対する記号シミュレーションであ
ってもよく、同様の効果が得られる。

また、本実施例では、記号列構成規則の記述にＢＮＦ記
法を用いたが、テーブル形式等の他の記述方法を用いて
もよく、同様の効果が得られる。

さらに、本実施例では、状態決定規則を手続き的に記述
したが、真理値表を用いて記述しても同様の効果が得ら
れる。

〔発明の効果〕

本発明の記号シミュレーション装置は、装置自体を改修
しなくても、記号列の構成規則さえ設定しておけば、回
路構成要素の状態を決定する記号列は任意に選択でき、
記号列の変更、追加または削除を容易にするという優れ
た効果を奏する。

【図面の簡単な説明】

第１図は本発明に係る記号シミュレーション装置の構成
を示すブロック図、第２図はその記号シミュレーシヨン
の手順を示すフローチャート、第３図は論理回路の構成
を示す回路図、第４図は要素の状態決定規則を示すフロ
ーチャート、第５図は従来の記号シミュレーション装置
の構成を示すブロック図、第６図はその記号シミュレー
ションの手順を示すフローチャート・である。 １・・・回路データ部　２・・・接続情報入力手段３・
・・接続情報ファイル　４・・・状態設定手段５・・・
初期状態設定ファイル　６・・・状態観測手段７・・・
状態決定部　８・・・状態観測結果ファイル９・・・実
行制御手段　１０・−・記号列構成規則入力手段１１・
・・記号列構成規則ファイル　１２・・・記号列構成規
則部　１３・・・状態決定規則入力手段　１４・・・状
態決定規則ファイル なお、図中、同一符号は同一、又は相当部分を示す。

Claims (1)

1. 【特許請求の範囲】 １、回路を構成する要素の動作を記号列を用いてシミュ
   レートし、シミュレートの結果出力される記号列によっ
   て各要素の状態を表現する記号シミュレーション装置に
   おいて、 回路を構成する要素間の接続関係を記憶しておく接続関
   係メモリと、 要素の状態を表現するための記号列の構成規則を記憶し
   ておく書き換え可能な構成規則メモリと、 回路を構成する要素の状態を決定する規則を記憶してお
   く状態決定規則メモリと、 該状態決定規則メモリから読み出した決定規則を、前記
   構成規則メモリから読み出した記号列の構成規則に従っ
   て記述する記述手段と、 該記述手段が記述した状態決定規則及び接続関係メモリ
   が記憶している要素間の接続関係に基づき、全構成要素
   の状態を決定する状態決定手段と を備えたことを特徴とする記号シミュレーション装置。