JP2587481B2 - 論理シミュレーション装置 - Google Patents
論理シミュレーション装置Info
- Publication number
- JP2587481B2 JP2587481B2 JP63281971A JP28197188A JP2587481B2 JP 2587481 B2 JP2587481 B2 JP 2587481B2 JP 63281971 A JP63281971 A JP 63281971A JP 28197188 A JP28197188 A JP 28197188A JP 2587481 B2 JP2587481 B2 JP 2587481B2
- Authority
- JP
- Japan
- Prior art keywords
- level
- simulation
- execution
- logic simulation
- result
- 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.)
- Expired - Fee Related
Links
- 238000004088 simulation Methods 0.000 title claims description 82
- 238000011156 evaluation Methods 0.000 claims description 9
- 238000000034 method Methods 0.000 description 11
- 238000010586 diagram Methods 0.000 description 4
- 230000000694 effects Effects 0.000 description 3
- 239000000470 constituent Substances 0.000 description 2
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理シミュレーション方式に関し、特にフィ
ードバックを含む回路モデルの論理シミュレーションを
レベル付けして行う論理シミュレーション方式に関す
る。
ードバックを含む回路モデルの論理シミュレーションを
レベル付けして行う論理シミュレーション方式に関す
る。
従来、この種の論理シミュレーション方式では、フィ
ードバックを含む回路モデルの論理シミュレーションの
実行は最小レベルから最大レベルまでの論理シミュレー
ションを複数回実行することで実現していた。
ードバックを含む回路モデルの論理シミュレーションの
実行は最小レベルから最大レベルまでの論理シミュレー
ションを複数回実行することで実現していた。
上述した従来の論理シミュレーション方式では、フィ
ードバックを含む回路モデルの論理シミュレーションの
実行時に回路モデルの最小レベルから最大レベルまでの
全行程を複数回実行するようになっていたので、フィー
ドバックの存在により本来複数回実行すべき行程以外の
部分が無意味に重複して実行され、論理シミュレーショ
ンの実行時間が増大するという欠点がある。
ードバックを含む回路モデルの論理シミュレーションの
実行時に回路モデルの最小レベルから最大レベルまでの
全行程を複数回実行するようになっていたので、フィー
ドバックの存在により本来複数回実行すべき行程以外の
部分が無意味に重複して実行され、論理シミュレーショ
ンの実行時間が増大するという欠点がある。
本発明の目的は、上述の点に鑑み、回路モデル中のフ
ィードバックの論理シミュレーションをフィードバック
の影響を受ける行程のみを複数回実行することで実現
し、従来の全行程を繰り返すことで生じていた論理シミ
ュレーションの実行時間の増大を最小限に抑えるように
した論理シミュレーション方式を提供することにある。
ィードバックの論理シミュレーションをフィードバック
の影響を受ける行程のみを複数回実行することで実現
し、従来の全行程を繰り返すことで生じていた論理シミ
ュレーションの実行時間の増大を最小限に抑えるように
した論理シミュレーション方式を提供することにある。
本発明の論理シミュレーション装置は、フィードバッ
クを含む回路モデルの論理シミュレーションをレベル付
けして行う論理シミュレーション装置にあって、回路モ
デル中のどのレベルを実行するかを管理する実行レベル
管理手段と、この実行レベル管理手段によって指示され
た回路モデル中の１レベル分の論理シミュレーションを
実行するシミュレーション実行手段と、このシミュレー
ション実行手段によって実行された論理シミュレーショ
ンのシミュレーション結果からより以前のレベルに影響
があるか否かを判定する実行結果判定手段と、この実行
結果判定手段によってより以前のレベルに影響があると
判定されたならば影響を受けるレベルのうち最も戻り幅
が大きいレベルに戻ってシミュレーションを実行するよ
う前記実行レベル管理手段に指示する判定結果評価手段
とを有する。
クを含む回路モデルの論理シミュレーションをレベル付
けして行う論理シミュレーション装置にあって、回路モ
デル中のどのレベルを実行するかを管理する実行レベル
管理手段と、この実行レベル管理手段によって指示され
た回路モデル中の１レベル分の論理シミュレーションを
実行するシミュレーション実行手段と、このシミュレー
ション実行手段によって実行された論理シミュレーショ
ンのシミュレーション結果からより以前のレベルに影響
があるか否かを判定する実行結果判定手段と、この実行
結果判定手段によってより以前のレベルに影響があると
判定されたならば影響を受けるレベルのうち最も戻り幅
が大きいレベルに戻ってシミュレーションを実行するよ
う前記実行レベル管理手段に指示する判定結果評価手段
とを有する。
本発明の論理シミュレーション方式では、実行レベル
管理手段が回路モデル中のどのレベルを実行するかを管
理し、シミュレーション実行手段が実行レベル管理手段
によって指示された回路モデル中の１レベル分の論理シ
ミュレーションを実行し、実行結果判定手段がシミュレ
ーション実行手段によって実行された論理シミュレーシ
ョンのシミュレーション結果からより以前のレベルに影
響があるか否かを判定し、判定結果評価手段が実行結果
判定手段によってより以前のレベルに影響があると判定
されたならば影響を受けるレベルの中からどのレベルに
戻るべきかを評価する。
管理手段が回路モデル中のどのレベルを実行するかを管
理し、シミュレーション実行手段が実行レベル管理手段
によって指示された回路モデル中の１レベル分の論理シ
ミュレーションを実行し、実行結果判定手段がシミュレ
ーション実行手段によって実行された論理シミュレーシ
ョンのシミュレーション結果からより以前のレベルに影
響があるか否かを判定し、判定結果評価手段が実行結果
判定手段によってより以前のレベルに影響があると判定
されたならば影響を受けるレベルの中からどのレベルに
戻るべきかを評価する。
次に、本発明について図面を参照して詳細に説明す
る。
る。
第１図は、本発明の一実施例に係る論理シミュレーシ
ョン方式の構成を示すブロック図である。本実施例の論
理シミュレーション方式は、実行レベル管理手段１と、
シミュレーション実行手段２と、実行結果判定手段３
と、判定結果評価手段４とから構成されている。
ョン方式の構成を示すブロック図である。本実施例の論
理シミュレーション方式は、実行レベル管理手段１と、
シミュレーション実行手段２と、実行結果判定手段３
と、判定結果評価手段４とから構成されている。
実行レベル管理手段１は、回路モデルａ中のどのレベ
ルの論理シミュレーションの実行を行うかをシミュレー
ション実行手段２にレベル値ｂによって指示する手段で
ある。
ルの論理シミュレーションの実行を行うかをシミュレー
ション実行手段２にレベル値ｂによって指示する手段で
ある。
シミュレーション実行手段２は、実行レベル管理手段
１から指示されたレベルの論理シミュレーションを行っ
て、シミュレーション結果ｃを出力する手段である。
１から指示されたレベルの論理シミュレーションを行っ
て、シミュレーション結果ｃを出力する手段である。
実行結果判定手段３は、シミュレーション実行手段２
によるシミュレーション結果ｃからより以前のレベルに
影響があるか否か（すなわち、より以前のレベルの入力
値に変化があるか否か）を判定して、影響があるならば
影響を受けるレベルのレベル値ｄを判定結果評価手段４
に出力する手段である。
によるシミュレーション結果ｃからより以前のレベルに
影響があるか否か（すなわち、より以前のレベルの入力
値に変化があるか否か）を判定して、影響があるならば
影響を受けるレベルのレベル値ｄを判定結果評価手段４
に出力する手段である。
判定結果評価手段４は、実行結果判定手段３から出力
されたレベル値ｄに基づいて影響を受けるレベルのうち
の最もレベルの戻り幅が大きくなるレベルのレベル値ｅ
を実行レベル管理手段１に送り、レベル戻りを要求する
手段である。
されたレベル値ｄに基づいて影響を受けるレベルのうち
の最もレベルの戻り幅が大きくなるレベルのレベル値ｅ
を実行レベル管理手段１に送り、レベル戻りを要求する
手段である。
第２図は、フィードバックを含む回路モデルａの一例
を示しており、A1,A2,A3,A4およびA5の５つのレベルか
ら構成されているものとする。B11,B12,B13,B21,B22,B
31,B32,B41,B42およびB51は、各レベルの構成素子であ
る。
を示しており、A1,A2,A3,A4およびA5の５つのレベルか
ら構成されているものとする。B11,B12,B13,B21,B22,B
31,B32,B41,B42およびB51は、各レベルの構成素子であ
る。
次に、このように構成された本実施例の論理シミュレ
ーション方式の動作について説明する。
ーション方式の動作について説明する。
まず、実行レベル管理手段１は、レベル値ｂによって
レベルA1の論理シミュレーションの実行をシミュレーシ
ョン実行手段２に指示する。
レベルA1の論理シミュレーションの実行をシミュレーシ
ョン実行手段２に指示する。
シミュレーション実行手段２は、実行レベル管理手段
１からレベル値ｂによって指示されたレベルA1の論理シ
ミュレーションを行ってシミュレーション結果ｃを出力
する。
１からレベル値ｂによって指示されたレベルA1の論理シ
ミュレーションを行ってシミュレーション結果ｃを出力
する。
実行結果判定手段３は、シミュレーション実行手段２
から出力されたシミュレーション結果ｃがより以前のレ
ベルの入力値に変化を与えないため、戻るべきレベルは
ないと判定して、戻るべきレベルのレベル値ｄを出力し
ない。
から出力されたシミュレーション結果ｃがより以前のレ
ベルの入力値に変化を与えないため、戻るべきレベルは
ないと判定して、戻るべきレベルのレベル値ｄを出力し
ない。
判定結果評価手段４は、実行結果判定手段３から戻る
べきレベルのレベル値ｄが出力されないため、実行レベ
ル管理手段１にレベル戻りを要求しない。この結果、レ
ベルA1の構成素子B11,B12およびB13の論理シミュレーシ
ョンが終了する。
べきレベルのレベル値ｄが出力されないため、実行レベ
ル管理手段１にレベル戻りを要求しない。この結果、レ
ベルA1の構成素子B11,B12およびB13の論理シミュレーシ
ョンが終了する。
次に、実行レベル管理手段１は、レベルA2を次に実行
するレベルとし、同様の動作を繰り返して論理シミュレ
ーションを実行していく。
するレベルとし、同様の動作を繰り返して論理シミュレ
ーションを実行していく。
レベルA3の論理シミュレーションが同様に行われた後
に、実行レベル管理手段１がレベルA4の論理シミュレー
ションの実行を指示すると、シミュレーション実行手段
２は、レベルA4の構成素子B41およびB42の論理シミュレ
ーションを行って、シミュレーション結果ｃを出力す
る。
に、実行レベル管理手段１がレベルA4の論理シミュレー
ションの実行を指示すると、シミュレーション実行手段
２は、レベルA4の構成素子B41およびB42の論理シミュレ
ーションを行って、シミュレーション結果ｃを出力す
る。
実行結果判定手段３は、シミュレーション結果（構成
素子B41およびB42の出力値）ｃがレベルA2およびA3の入
力値に変化を与えると判定したならば、レベルA2および
A3のレベル値ｄを判定結果として出力する。
素子B41およびB42の出力値）ｃがレベルA2およびA3の入
力値に変化を与えると判定したならば、レベルA2および
A3のレベル値ｄを判定結果として出力する。
判定結果評価手段４は、レベル値ｄに基づいてレベル
A2およびA3の戻り幅を評価し、より戻り幅の大きいレベ
ルA2のレベル値ｅを出力して、レベルA2へのレベル戻り
実行レベル管理手段１に要求する。
A2およびA3の戻り幅を評価し、より戻り幅の大きいレベ
ルA2のレベル値ｅを出力して、レベルA2へのレベル戻り
実行レベル管理手段１に要求する。
実行レベル管理手段１は、レベル値ｅを受けて次にレ
ベルA2の論理シミュレーションの実行をシミュレーショ
ン実行手段２にレベル値ｂによって指示する。したがっ
て、レベルA2,A3およびA4の論理シミュレーションが再
び行われる。
ベルA2の論理シミュレーションの実行をシミュレーショ
ン実行手段２にレベル値ｂによって指示する。したがっ
て、レベルA2,A3およびA4の論理シミュレーションが再
び行われる。
レベルA4の論理シミュレーションのシミュレーション
結果ｃがレベルA2の入力値に影響を与えずにレベルA3の
入力値にのみ変化を与えるならば、実行結果判定手段３
は、レベルA3のレベル値ｄを判定結果として出力する。
これにより、前述と同様の処理が行われて、レベルA3お
よびA4の論理シミュレーションが繰り返されることにな
る。
結果ｃがレベルA2の入力値に影響を与えずにレベルA3の
入力値にのみ変化を与えるならば、実行結果判定手段３
は、レベルA3のレベル値ｄを判定結果として出力する。
これにより、前述と同様の処理が行われて、レベルA3お
よびA4の論理シミュレーションが繰り返されることにな
る。
そして、レベルA4の論理シミュレーションのシミュレ
ーション結果ｃがレベルA2およびA3の入力値に変化を与
えなくなったならば、実行結果判定手段３は、戻るべき
レベルはないと判定してレベル値ｄを出力しない。この
結果、判定結果評価手段４は、実行レベル管理手段１に
レベル戻りを要求せず、実行レベル管理手段１はレベル
A5を次に実行すべきレベルとし、同様の動作を繰り返し
て、回路モデルａ全体の論理シミュレーションを終了す
る。
ーション結果ｃがレベルA2およびA3の入力値に変化を与
えなくなったならば、実行結果判定手段３は、戻るべき
レベルはないと判定してレベル値ｄを出力しない。この
結果、判定結果評価手段４は、実行レベル管理手段１に
レベル戻りを要求せず、実行レベル管理手段１はレベル
A5を次に実行すべきレベルとし、同様の動作を繰り返し
て、回路モデルａ全体の論理シミュレーションを終了す
る。
第３図は、本実施例の論理シミュレーション方式によ
り第２図に示した回路モデルａを論理シミュレーション
した場合に、レベルA2に一度、レベルA3に二度戻って論
理シミュレーションが終了する実行シーケンスを例示す
る図である。
り第２図に示した回路モデルａを論理シミュレーション
した場合に、レベルA2に一度、レベルA3に二度戻って論
理シミュレーションが終了する実行シーケンスを例示す
る図である。
以上説明したように本発明は、実行レベル管理手段，
シミュレーション実行手段，実行結果判定手段および判
定結果評価手段を設けたことにより、回路モデル中のフ
ィードバックの論理シミュレーションをフィードバック
の影響を受ける行程のみを複数回実行することで実現す
ることができ、従来の全行程を繰り返すことで生じてい
た論理シミュレーションの実行時間の増大を最小限に抑
えることができる効果がある。
シミュレーション実行手段，実行結果判定手段および判
定結果評価手段を設けたことにより、回路モデル中のフ
ィードバックの論理シミュレーションをフィードバック
の影響を受ける行程のみを複数回実行することで実現す
ることができ、従来の全行程を繰り返すことで生じてい
た論理シミュレーションの実行時間の増大を最小限に抑
えることができる効果がある。
第１図は本発明の一実施例に係る論理シミュレーション
方式の構成を示すブロック図、 第２図はフィードバックを含む回路モデルの一例を示す
図、 第３図は本実施例の論理シミュレーション方式による第
２図に示した回路モデルの論理シミュレーションの実行
シーケンスを例示する図である。 図において、 １……実行レベル管理手段、 ２……シミュレーション実行手段、 ３……実行結果判定手段、 ４……判定結果評価手段、 A1〜A5……レベル、 ａ……回路モデル、 B11〜B51……構成素子、 b,d,e……レベル値、 ｃ……シミュレーション結果である。
方式の構成を示すブロック図、 第２図はフィードバックを含む回路モデルの一例を示す
図、 第３図は本実施例の論理シミュレーション方式による第
２図に示した回路モデルの論理シミュレーションの実行
シーケンスを例示する図である。 図において、 １……実行レベル管理手段、 ２……シミュレーション実行手段、 ３……実行結果判定手段、 ４……判定結果評価手段、 A1〜A5……レベル、 ａ……回路モデル、 B11〜B51……構成素子、 b,d,e……レベル値、 ｃ……シミュレーション結果である。
Claims (1)
- 【請求項１】フィードバックを含む回路モデルの論理シ
ミュレーションをレベル付けして行う論理シミュレーシ
ョン装置において、 回路モデル中のどのレベルを実行するかを管理する実行
レベル管理手段と、 この実行レベル管理手段によって指示された回路モデル
中の１レベル分の論理シミュレーションを実行するシミ
ュレーション実行手段と、 このシミュレーション実行手段によって実行された論理
シミュレーションのシミュレーション結果からより以前
のレベルに影響があるか否かを判定する実行結果判定手
段と、 この実行結果判定手段によってより以前のレベルに影響
があると判定されたならば影響を受けるレベルのうち最
も戻り幅が大きいレベルに戻ってシミュレーションを実
行するよう前記実行レベル管理手段に指示する判定結果
評価手段とを有することを特徴とする論理シミュレーシ
ョン装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63281971A JP2587481B2 (ja) | 1988-11-08 | 1988-11-08 | 論理シミュレーション装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63281971A JP2587481B2 (ja) | 1988-11-08 | 1988-11-08 | 論理シミュレーション装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH02127735A JPH02127735A (ja) | 1990-05-16 |
| JP2587481B2 true JP2587481B2 (ja) | 1997-03-05 |
Family
ID=17646451
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63281971A Expired - Fee Related JP2587481B2 (ja) | 1988-11-08 | 1988-11-08 | 論理シミュレーション装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2587481B2 (ja) |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS61173349A (ja) * | 1985-01-28 | 1986-08-05 | Hitachi Ltd | 制御盤検査装置 |
-
1988
- 1988-11-08 JP JP63281971A patent/JP2587481B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH02127735A (ja) | 1990-05-16 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5467462A (en) | Event driven logic simulator for partial simulation | |
| CN110705690B (zh) | 基于生成模型和元学习优化方法的连续学习方法及系统 | |
| US4545767A (en) | Training operation system and simulator for training in electric power system | |
| JP2587481B2 (ja) | 論理シミュレーション装置 | |
| JPS61246840A (ja) | 情報処理装置の性能調整方式 | |
| JP3144950B2 (ja) | 論理シミュレーション方式 | |
| JPH04205626A (ja) | エキスパートシステム | |
| JP2508620B2 (ja) | 論理回路シミュレ―ション装置 | |
| CN1083983C (zh) | 实现电气设备测试方式的方法 | |
| CN113239525A (zh) | 基于分层约束的事务模型建立方法及处理器 | |
| Schnor et al. | Load management for load balancing on heterogeneous platforms: A comparison of traditional and neural network based approaches | |
| JP2761090B2 (ja) | エキスパートシステムの推論方法 | |
| JPH039436A (ja) | 自動テスト設計・実行制御方式 | |
| JP3085365B2 (ja) | 工程手順自動調整方法、工程手順自動調整システムおよび工程手順自動調整プログラムを記録した記録媒体 | |
| US6960930B2 (en) | Method and apparatus for determining the minimum or maximum switching activity of a digital circuit | |
| JP2845650B2 (ja) | 論理式評価演算器 | |
| JP2504645B2 (ja) | テストプログラム実行制御処理方式 | |
| JPH113326A (ja) | 非線形要素対応型演算装置 | |
| JP2785443B2 (ja) | 並列回路シミュレーション装置 | |
| JP3037787B2 (ja) | 論理シミュレーション方法及び論理シミュレーション装置 | |
| JPH01250127A (ja) | データ入力方法 | |
| CN116542194A (zh) | 一种硬件验证方法、装置、设备及存储介质 | |
| JPH0728283B2 (ja) | ネツトワ−ク・シミユレ−タ | |
| JP2855999B2 (ja) | ハードウェアシミュレータを用いた検査入力系列の自動生成方式 | |
| JPH01259607A (ja) | ホワイトノイズ波形発生回路 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |