JPH02259843A - ソフトウェア論理シミュレーション方式 - Google Patents
ソフトウェア論理シミュレーション方式Info
- Publication number
- JPH02259843A JPH02259843A JP1080512A JP8051289A JPH02259843A JP H02259843 A JPH02259843 A JP H02259843A JP 1080512 A JP1080512 A JP 1080512A JP 8051289 A JP8051289 A JP 8051289A JP H02259843 A JPH02259843 A JP H02259843A
- Authority
- JP
- Japan
- Prior art keywords
- logic
- data
- calculation
- transfer means
- event
- 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.)
- Pending
Links
- 238000004088 simulation Methods 0.000 title claims abstract description 35
- 238000011156 evaluation Methods 0.000 claims abstract description 19
- 238000004364 calculation method Methods 0.000 claims description 37
- 238000000034 method Methods 0.000 claims description 15
- 230000000644 propagated effect Effects 0.000 claims description 3
- 238000012545 processing Methods 0.000 abstract description 10
- 238000010586 diagram Methods 0.000 description 4
- 230000004913 activation Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 230000003213 activating effect Effects 0.000 description 1
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はソフトウェア論理シミュレーション方式に関し
、特にコンピュータを使用して論理回路のシミュレーシ
ョンを行うソフトウェア論理シミュレーション方式に関
する。
、特にコンピュータを使用して論理回路のシミュレーシ
ョンを行うソフトウェア論理シミュレーション方式に関
する。
従来のソフトウェア論理シミュレーション方式は、論理
関数演算処理およびイベント評価処理並びにイベント伝
播処理のすべてを逐次処理により行っている。
関数演算処理およびイベント評価処理並びにイベント伝
播処理のすべてを逐次処理により行っている。
コンピュータを使用して論理回路のシミュレーションを
行う上述した従来のソフトウェア論理シミュレーション
方式は、論理関数演算処理およびイベント評価処理並び
にイベント伝播処理のすべてを逐次処理により行ってい
るので、大規模な論理回路モデルのシミュレーションな
どに対して、多大のシミュレーション時間を要するとい
う欠点を有している。
行う上述した従来のソフトウェア論理シミュレーション
方式は、論理関数演算処理およびイベント評価処理並び
にイベント伝播処理のすべてを逐次処理により行ってい
るので、大規模な論理回路モデルのシミュレーションな
どに対して、多大のシミュレーション時間を要するとい
う欠点を有している。
本発明の目的は、マルチプロセッサを使用して、複数の
論理関数演算処理を同時に並行して実行することにより
、大規模な論理回路モデルのシミュレーションなどに対
するシミュレーション時間を大幅に短縮することができ
るソフトウェア論理シミュレーション方式を提供するこ
とにある。
論理関数演算処理を同時に並行して実行することにより
、大規模な論理回路モデルのシミュレーションなどに対
するシミュレーション時間を大幅に短縮することができ
るソフトウェア論理シミュレーション方式を提供するこ
とにある。
本発明のソフトウェア論理シミュレーション方式は、
（Ａ）イベント評価・イベント伝播手段は、同一のシミ
ュレーション時刻に、入力状態値が変化したＸ個の論理
素子のそれぞれについてのＸ個の演算入力データを次々
にデータ転送手段に転送するとともに、独立に並行して
動作できる各々のプロセッサ上にあるＮ個の論理関数演
算手段に対して、演算を要求するＸ個の演算起動要求を
発生し、 （Ｂ）前記データ転送手段は、Ｘ個の前記演算入力デー
タを受けて、Ｎ個の前記論理関数演算手段の何れかに対
する転送のために保持し、 （Ｃ）Ｎ個の中で待ち状態にある前記論理関数演算手段
の各々は、Ｘ個の前記演算起動要求の各々により起動し
、前記データ転送手段から対応する前記演算入力データ
を受けて、対応する前記論理素子の論理関数の演算を行
い、終了したときには、前記データ転送手段にＸ個の演
算出力データの各々を転送するとともに、前記イベント
評価・イベント伝播手段に対して、Ｘ個の演算終了通知
の各々を発生し、 （Ｄ）前記データ転送手段は、Ｘ個の前記演算出力デー
タを受けて、前記イベント評価・イベント伝播手段への
転送のために保持し、（Ｅ）前記イベント評価・イベン
ト伝播手段は、Ｘ個の前記演算終了通知の各々により起
動して、前記データ転送手段から対応する前記演算出力
データを受けて、入力状態値が変化したＸ個の前記論理
素子の出力状態値の各々が変化したかどうかを評価し、
出力状態値が変化した前記論理素子の接続先のそれぞれ
に前記演算出力データを伝播させる、 ことにより構成されている。
ュレーション時刻に、入力状態値が変化したＸ個の論理
素子のそれぞれについてのＸ個の演算入力データを次々
にデータ転送手段に転送するとともに、独立に並行して
動作できる各々のプロセッサ上にあるＮ個の論理関数演
算手段に対して、演算を要求するＸ個の演算起動要求を
発生し、 （Ｂ）前記データ転送手段は、Ｘ個の前記演算入力デー
タを受けて、Ｎ個の前記論理関数演算手段の何れかに対
する転送のために保持し、 （Ｃ）Ｎ個の中で待ち状態にある前記論理関数演算手段
の各々は、Ｘ個の前記演算起動要求の各々により起動し
、前記データ転送手段から対応する前記演算入力データ
を受けて、対応する前記論理素子の論理関数の演算を行
い、終了したときには、前記データ転送手段にＸ個の演
算出力データの各々を転送するとともに、前記イベント
評価・イベント伝播手段に対して、Ｘ個の演算終了通知
の各々を発生し、 （Ｄ）前記データ転送手段は、Ｘ個の前記演算出力デー
タを受けて、前記イベント評価・イベント伝播手段への
転送のために保持し、（Ｅ）前記イベント評価・イベン
ト伝播手段は、Ｘ個の前記演算終了通知の各々により起
動して、前記データ転送手段から対応する前記演算出力
データを受けて、入力状態値が変化したＸ個の前記論理
素子の出力状態値の各々が変化したかどうかを評価し、
出力状態値が変化した前記論理素子の接続先のそれぞれ
に前記演算出力データを伝播させる、 ことにより構成されている。
、次に本発明の実施例について図面を参照して説明する
。
。
第１図は本発明のソフトウェア論理シミュレーション方
式の一実施例を示すブロック図である。
式の一実施例を示すブロック図である。
第１図に示すように、まず、イベント評価・イベント伝
播手段１は、同一のシミュレーション時刻に、入力状態
値が変化したＸ個の論理素子のそれぞれについてのＸ個
の演算入力データａを次々にデータ転送手段２に転送す
るとともに、独立に並行して動作できる各々のプロセッ
サ上にあるＮ個の論理関数演算手段３−１．３−２．・
・・・・・・・・３−Ｎに対して、演算を要求するＸ個
の演算起動要求ｐを発生している。
播手段１は、同一のシミュレーション時刻に、入力状態
値が変化したＸ個の論理素子のそれぞれについてのＸ個
の演算入力データａを次々にデータ転送手段２に転送す
るとともに、独立に並行して動作できる各々のプロセッ
サ上にあるＮ個の論理関数演算手段３−１．３−２．・
・・・・・・・・３−Ｎに対して、演算を要求するＸ個
の演算起動要求ｐを発生している。
そして、データ転送手段２は、Ｘ個の演算入力データａ
を受けて、Ｎ個の論理関数演算手段３−１．３−２．・
・・・・・・・・３−Ｎの何れかに対する転送のために
保持している。
を受けて、Ｎ個の論理関数演算手段３−１．３−２．・
・・・・・・・・３−Ｎの何れかに対する転送のために
保持している。
そこで、Ｎ個の中で待ち状態にある論理関数演算手段３
− ｉ 、−３−ｊ 、−３−ｋの各々は、Ｘ個の演算
起動要求ｐの各々により独立に並行して起動し、データ
転送手段２から各々対応する演算入力データａを受けて
、各々対応する論理素子の論理関数の演算を行っている
。
− ｉ 、−３−ｊ 、−３−ｋの各々は、Ｘ個の演算
起動要求ｐの各々により独立に並行して起動し、データ
転送手段２から各々対応する演算入力データａを受けて
、各々対応する論理素子の論理関数の演算を行っている
。
そして、各々対応する論理素子の論理関数の演算が終了
したときには、データ転送手段２に対して、Ｘ個の演算
出力データｂの各々を転送するとともに、イベント評価
・イベント伝播手段１に対して、イベント評価処理並び
にイベント伝播処理を要求する割込みであるＸ個の演算
終了通知ｑの各々を発生している。
したときには、データ転送手段２に対して、Ｘ個の演算
出力データｂの各々を転送するとともに、イベント評価
・イベント伝播手段１に対して、イベント評価処理並び
にイベント伝播処理を要求する割込みであるＸ個の演算
終了通知ｑの各々を発生している。
そこで、データ転送手段２は、Ｘ個の演算出力データｂ
を受けて、イベント評価・イベント伝播手段１への転送
のために保持している。
を受けて、イベント評価・イベント伝播手段１への転送
のために保持している。
そして、イベント評価・イベント伝播手段１は、Ｘ個の
演算終了通知ｑの各々により起動して、データ転送手段
２から各々対応する演算出力データｂを受けて、入力状
態値が変化したＸ個の論理素子の出力状態値の各々が変
化したかどうかを評価し、出力状態値が変化した論理素
子の接続先のそれぞれに演算出力データｂを伝播させて
いる。
演算終了通知ｑの各々により起動して、データ転送手段
２から各々対応する演算出力データｂを受けて、入力状
態値が変化したＸ個の論理素子の出力状態値の各々が変
化したかどうかを評価し、出力状態値が変化した論理素
子の接続先のそれぞれに演算出力データｂを伝播させて
いる。
第２図はシミュレーションモデルの一例を示すブロック
図である。
図である。
第２図に示すシミュレーションモデルは、論理素子ｇ１
．ｇ２．ｇ３．ｇ４．ｇ５を有している。
．ｇ２．ｇ３．ｇ４．ｇ５を有している。
また、第３図は第２図のシミュレーションモデルに対す
る本実施例の動作の一例を示すタイムチャートである。
る本実施例の動作の一例を示すタイムチャートである。
第２図および第３図に示すように、入力状態値が変化し
た論理素子から゛演算入力データａｌ。
た論理素子から゛演算入力データａｌ。
ａ２が入力したときに、論理置数演算手段３−ｉ、３−
ｊの各々は、論理素子ｇｌ、ｇ２が行う論理演算のシミ
ュレーションＬＬ、Ｌ２．を時刻ｔ１から時刻ｔ２の間
で同時に並行して実行している。
ｊの各々は、論理素子ｇｌ、ｇ２が行う論理演算のシミ
ュレーションＬＬ、Ｌ２．を時刻ｔ１から時刻ｔ２の間
で同時に並行して実行している。
そして、イベント評価・イベント伝播手段１は、時刻し
２から時刻ｔ３の間で、論理素子ｇｌ、ｇ２の出力状態
値の各々が変化したかどうかを評価し、出力状態値が変
化した論理素子ｇｌ、ｇ２の接続先である論理素子ｇ３
．ｇ４゜ｇ５のそれぞれに演算出力データｂｌ、ｂ２を
伝播させるイベント評価・イベント伝播処理Ｅを実行し
ている。
２から時刻ｔ３の間で、論理素子ｇｌ、ｇ２の出力状態
値の各々が変化したかどうかを評価し、出力状態値が変
化した論理素子ｇｌ、ｇ２の接続先である論理素子ｇ３
．ｇ４゜ｇ５のそれぞれに演算出力データｂｌ、ｂ２を
伝播させるイベント評価・イベント伝播処理Ｅを実行し
ている。
そこで、論理関数演算手段３−ｉ、３−ｊ。
３−にの各々は、論理素子ｇ３．ｇ４．ｇ５が行う論理
演算のシミュレーションＬ３．Ｌ４．Ｌ５を時刻ｔ３か
ら時刻ｔ４の間で同時に並行して実行している。
演算のシミュレーションＬ３．Ｌ４．Ｌ５を時刻ｔ３か
ら時刻ｔ４の間で同時に並行して実行している。
以上述べたように、本実施例のソフトウェア論理シミュ
レーション方式は、マルチプロセッサを使用して、複数
の論理関数演算処理を同時に並行して実行することによ
り、大規模な論理回路モデルのシミュレーションなどに
対するシミュレーション時間を大幅に短縮することがで
きる。
レーション方式は、マルチプロセッサを使用して、複数
の論理関数演算処理を同時に並行して実行することによ
り、大規模な論理回路モデルのシミュレーションなどに
対するシミュレーション時間を大幅に短縮することがで
きる。
以上説明したように、本発明のソフトウェア論理シミュ
レーション方式は、マルチプロセッサを使用して、複数
の論理関数演算処理を同時に並行して実行することによ
り、大規模な論理回路モデルのシミュレーションなどに
対するシミュレーション時間を大幅に短縮することがで
きるという効果を有している。
レーション方式は、マルチプロセッサを使用して、複数
の論理関数演算処理を同時に並行して実行することによ
り、大規模な論理回路モデルのシミュレーションなどに
対するシミュレーション時間を大幅に短縮することがで
きるという効果を有している。
第１図は本発明のソフトウェア論理シミュレーション方
式の一実施例を示すブロック図、第２図はシミュレーシ
ョンモデルの一例を示すブロック図、第３図は第２図の
シミュレーションモデルに対する本実施例の動作の一例
を示すタイムチャートである。 １・・・・・・イベント評価・イベント伝播手段、２・
・・・・・データ転送手段、３−１．３−２．〜３−１
゜〜３−ｊ、〜３−に、〜３−Ｎ・・・・・・論理関数
演算手段、ａ、ａｌ、ａ２−・−・演算入力データ、ｂ
。 ｂｌ、ｂ２・・・・・・演算出力データ、Ｅ・・・・・
・イベント評価・イベント伝播処理、ｇｌ、ｇ２．ｇ３
゜ｇ４．ｇ５・・・・・・論理素子、ＬＬ、Ｌ２．Ｌ３
゜Ｌ４．Ｌ６・・・・・・論理演算のシミュレーション
、ｐ・・・・・・演算起動要求、ｑ・−・・・・演算終
了通知、ｔｌ。 ｔ２．ｔ３．ｔ４・・・・・・時刻。
式の一実施例を示すブロック図、第２図はシミュレーシ
ョンモデルの一例を示すブロック図、第３図は第２図の
シミュレーションモデルに対する本実施例の動作の一例
を示すタイムチャートである。 １・・・・・・イベント評価・イベント伝播手段、２・
・・・・・データ転送手段、３−１．３−２．〜３−１
゜〜３−ｊ、〜３−に、〜３−Ｎ・・・・・・論理関数
演算手段、ａ、ａｌ、ａ２−・−・演算入力データ、ｂ
。 ｂｌ、ｂ２・・・・・・演算出力データ、Ｅ・・・・・
・イベント評価・イベント伝播処理、ｇｌ、ｇ２．ｇ３
゜ｇ４．ｇ５・・・・・・論理素子、ＬＬ、Ｌ２．Ｌ３
゜Ｌ４．Ｌ６・・・・・・論理演算のシミュレーション
、ｐ・・・・・・演算起動要求、ｑ・−・・・・演算終
了通知、ｔｌ。 ｔ２．ｔ３．ｔ４・・・・・・時刻。
Claims (1)
- 【特許請求の範囲】 （Ａ）イベント評価・イベント伝播手段は、同一のシミ
ュレーション時刻に、入力状態値が変化したｘ個の論理
素子のそれぞれについてのｘ個の演算入力データを次々
にデータ転送手段に転送するとともに、独立に並行して
動作できる各々のプロセッサ上にあるＮ個の論理関数演
算手段に対して、演算を要求するｘ個の演算起動要求を
発生し、 （Ｂ）前記データ転送手段は、ｘ個の前記演算入力デー
タを受けて、Ｎ個の前記論理関数 演算手段の何れかに対する転送のために保持し、 （Ｃ）Ｎ個の中で待ち状態にある前記論理関数演算手段
の各々は、ｘ個の前記演算起動要求の各々により起動し
、前記データ転送手段から対応する前記演算入力データ
を受けて、対応する前記論理素子の論理関数の演算を行
い、終了したときには、前記データ転送手段に ｘ個の演算出力データの各々を転送するとともに、前記
イベント評価・イベント伝播手段に対して、ｘ個の演算
終了通知の各々を発生し、 （Ｄ）前記データ転送手段は、ｘ個の前記演算出力デー
タを受けて、前記イベント評価・イベント伝播手段への
転送のために保持し、 （Ｅ）前記イベント評価・イベント伝播手段は、ｘ個の
前記演算終了通知の各々により起動して、前記データ転
送手段から対応する前記演算出力データを受けて、入力
状態値が変化したｘ個の前記論理素子の出力状態値の各
々が変化したかどうかを評価し、出力状態値が変化した
前記論理素子の接続先のそれぞれに前記演算出力データ
を伝播させる、 ことを特徴とするソフトウェア論理シミュレーション方
式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1080512A JPH02259843A (ja) | 1989-03-30 | 1989-03-30 | ソフトウェア論理シミュレーション方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1080512A JPH02259843A (ja) | 1989-03-30 | 1989-03-30 | ソフトウェア論理シミュレーション方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH02259843A true JPH02259843A (ja) | 1990-10-22 |
Family
ID=13720369
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1080512A Pending JPH02259843A (ja) | 1989-03-30 | 1989-03-30 | ソフトウェア論理シミュレーション方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH02259843A (ja) |
-
1989
- 1989-03-30 JP JP1080512A patent/JPH02259843A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8359186B2 (en) | Method for delay immune and accelerated evaluation of digital circuits by compiling asynchronous completion handshaking means | |
| JPH10207918A (ja) | デジタル・システム・シミュレーション | |
| JP2001060219A (ja) | エミュレーションとシミュレーションを用いた設計検証のための方法および装置 | |
| CN116670660A (zh) | 片上网络的仿真模型生成方法、装置、电子设备及计算机可读存储介质 | |
| JPH02259843A (ja) | ソフトウェア論理シミュレーション方式 | |
| JP2508620B2 (ja) | 論理回路シミュレ―ション装置 | |
| CN106547720A (zh) | 一种基于fpga的服务器加速技术 | |
| JP2590179B2 (ja) | 並列論理シミュレーション制御方式 | |
| JPH11265297A (ja) | 分散シミュレータシステム | |
| JP2731252B2 (ja) | 発電プラントシミュレーション装置およびこの装置用のシミュレーションコード生成装置 | |
| JP2727615B2 (ja) | 論理シミュレーション装置 | |
| JPH02257339A (ja) | 論理検証方式 | |
| JPH0628319A (ja) | 論理シミュレータ | |
| CN115114755A (zh) | 片上网络的仿真模型生成方法、装置、电子设备及计算机可读存储介质 | |
| JPH02212945A (ja) | ソフトウェア論理シミュレータ | |
| JP2002251303A (ja) | システムの評価装置および評価結果の表示装置 | |
| CN115345100A (zh) | 片上网络仿真模型及动态路径规划方法、装置、多核芯片 | |
| JP2921087B2 (ja) | ハードウェアアクセラレータにおける実チップシミュレーション方式 | |
| JPH02204854A (ja) | シミュレーション処理方法 | |
| JP2723017B2 (ja) | シミュレーションエンジン | |
| CN108345936A (zh) | 一种基于内部状态标志的神经形态芯片、系统及方法 | |
| FUJIWARA et al. | Fast test pattern generation using a multiprocessor system | |
| JPS61161553A (ja) | ハ−ドウエア シミユレ−タ | |
| JPH03157778A (ja) | 論理シミュレータ | |
| JPS63288356A (ja) | 論理シミュレ−タ |