JP2002163325A - 論理シュミレーションシステム - Google Patents
論理シュミレーションシステムInfo
- Publication number
- JP2002163325A JP2002163325A JP2000356848A JP2000356848A JP2002163325A JP 2002163325 A JP2002163325 A JP 2002163325A JP 2000356848 A JP2000356848 A JP 2000356848A JP 2000356848 A JP2000356848 A JP 2000356848A JP 2002163325 A JP2002163325 A JP 2002163325A
- Authority
- JP
- Japan
- Prior art keywords
- file
- logic
- simulation
- output
- priority
- 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
Abstract
(57)【要約】
【課題】 シミュレーション結果の正当性を容易に確認
可能とし、シミュレーション再実行の時間を減らして検
証時間を短縮可能な論理シミュレーションシステムを提
供する。 【解決手段】 論理シュミレータ１の波形出力優先順位
設定手段１１は出力波形ファイル４に出力する波形の優
先順位を指定する。信号データ削除手段１２は出力波形
ファイル４のファイル容量を超えた場合、出力波形ファ
イル４の信号データを削除する。
可能とし、シミュレーション再実行の時間を減らして検
証時間を短縮可能な論理シミュレーションシステムを提
供する。 【解決手段】 論理シュミレータ１の波形出力優先順位
設定手段１１は出力波形ファイル４に出力する波形の優
先順位を指定する。信号データ削除手段１２は出力波形
ファイル４のファイル容量を超えた場合、出力波形ファ
イル４の信号データを削除する。
Description
【０００１】
【発明の属する技術分野】本発明は論理シュミレーショ
ンシステムに関し、特に論理シミュレーション回路にお
けるシミュレーション結果ファイルの容量削減手法に関
する。
ンシステムに関し、特に論理シミュレーション回路にお
けるシミュレーション結果ファイルの容量削減手法に関
する。
【０００２】
【従来の技術】従来、この種の論理シュミレーションシ
ステムとしては、特開平９−９１３１６号公報に記載さ
れた装置や特開平１１−１１０４３０号公報に記載され
たシステムがある。
ステムとしては、特開平９−９１３１６号公報に記載さ
れた装置や特開平１１−１１０４３０号公報に記載され
たシステムがある。
【０００３】特開平９−９１３１６公報に記載された装
置ではデータ列からデータを取捨選択し、データ数を削
減して波形表示し、大量のシミュレーション結果を高速
に波形表示することができるとともに、特異な変化をし
たシミュレーション結果を波形表示上で検出することが
でき、効率良く回路の検証を行うことができる。
置ではデータ列からデータを取捨選択し、データ数を削
減して波形表示し、大量のシミュレーション結果を高速
に波形表示することができるとともに、特異な変化をし
たシミュレーション結果を波形表示上で検出することが
でき、効率良く回路の検証を行うことができる。
【０００４】また、特開平１１−１１０４３０公報に記
載されたシステムでは、信号情報（各信号の接続状況と
信号変化状況とを関係する信号に対応付けた情報）を生
成する手段を用い、任意の信号を選択する時にその信号
に関係する情報を信号情報から摘出して波形表示させ、
信号表示する場合の信号選択工数を低減させている。
載されたシステムでは、信号情報（各信号の接続状況と
信号変化状況とを関係する信号に対応付けた情報）を生
成する手段を用い、任意の信号を選択する時にその信号
に関係する情報を信号情報から摘出して波形表示させ、
信号表示する場合の信号選択工数を低減させている。
【０００５】
【発明が解決しようとする課題】上述した従来の論理シ
ュミレーションシステムでは、システムレベルの論理シ
ミュレーションにおいて、検証対象となる回路の規模の
増加及び複雑化によって信号数が増加しているので、全
ての信号についてシミュレーション結果を出力すること
がファイル容量の問題から困難になっている。
ュミレーションシステムでは、システムレベルの論理シ
ミュレーションにおいて、検証対象となる回路の規模の
増加及び複雑化によって信号数が増加しているので、全
ての信号についてシミュレーション結果を出力すること
がファイル容量の問題から困難になっている。
【０００６】また、従来の論理シュミレーションシステ
ムでは、廃棄されたデータを確認する場合にシミュレー
ションの再実行が必要であり、検証時間の増大を招く原
因となるので、現在、一般的に利用されている論理シミ
ュレータに付加されている結果ファイルの容量を削減す
る機能を用いても、結果ファイルの容量を正確に予測す
ることが難しく、シミュレーション実行中にファイル容
量の制限を越える場合が発生する。そのような場合には
時刻の古いデータから順に廃棄されている。
ムでは、廃棄されたデータを確認する場合にシミュレー
ションの再実行が必要であり、検証時間の増大を招く原
因となるので、現在、一般的に利用されている論理シミ
ュレータに付加されている結果ファイルの容量を削減す
る機能を用いても、結果ファイルの容量を正確に予測す
ることが難しく、シミュレーション実行中にファイル容
量の制限を越える場合が発生する。そのような場合には
時刻の古いデータから順に廃棄されている。
【０００７】そこで、本発明の目的は上記の問題点を解
消し、シミュレーション結果の正当性を容易に確認する
ことができ、シミュレーション再実行の時間を減らして
検証時間を短縮することができる論理シュミレーション
システムを提供することにある。
消し、シミュレーション結果の正当性を容易に確認する
ことができ、シミュレーション再実行の時間を減らして
検証時間を短縮することができる論理シュミレーション
システムを提供することにある。
【０００８】
【課題を解決するための手段】本発明による論理シュミ
レーションシステムは、論理シミュレータで行った論理
シュミレーションの結果を結果ファイルに蓄積する論理
シュミレーションシステムであって、前記論理シミュレ
ータから出力する信号の優先順位を設定する波形出力優
先順位設定手段と、前記波形出力優先順位設定手段で設
定された優先順位の低い順から前記結果ファイルの信号
データを削除する信号データ削除手段とを前記論理シミ
ュレータに備えている。
レーションシステムは、論理シミュレータで行った論理
シュミレーションの結果を結果ファイルに蓄積する論理
シュミレーションシステムであって、前記論理シミュレ
ータから出力する信号の優先順位を設定する波形出力優
先順位設定手段と、前記波形出力優先順位設定手段で設
定された優先順位の低い順から前記結果ファイルの信号
データを削除する信号データ削除手段とを前記論理シミ
ュレータに備えている。
【０００９】すなわち、本発明の論理シュミレーション
システムは、論理シミュレータに波形出力優先順位設定
手段及び信号データ削除手段を付加し、波形出力優先順
位設定手段によって優先順位を付加し、設定された優先
順位が低い順から信号データ削除手段によって結果ファ
イルから信号データを削除している。
システムは、論理シミュレータに波形出力優先順位設定
手段及び信号データ削除手段を付加し、波形出力優先順
位設定手段によって優先順位を付加し、設定された優先
順位が低い順から信号データ削除手段によって結果ファ
イルから信号データを削除している。
【００１０】上記のように、波形出力優先順位設定手段
によって外部からの指示内容に基づいて各信号に優先順
位を付加し、設定された優先順位が低い順から、信号デ
ータ削除手段によって結果ファイルから信号データを削
除することによって、ファイル容量超過による全信号に
対するデータ削除を避け、優先度が低い信号のみを削除
することで、シミュレーション結果の正当性を容易に確
認することが可能となる。
によって外部からの指示内容に基づいて各信号に優先順
位を付加し、設定された優先順位が低い順から、信号デ
ータ削除手段によって結果ファイルから信号データを削
除することによって、ファイル容量超過による全信号に
対するデータ削除を避け、優先度が低い信号のみを削除
することで、シミュレーション結果の正当性を容易に確
認することが可能となる。
【００１１】また、出力波形ファイルに対して出力する
信号に優先順位を付加する機能を持つことによって、シ
ミュレーション実行中にファイル制限を越えた場合で
も、優先順位が高い信号のデータが確認可能となるの
で、ファイル容量の制限を越えたためにデータを確認す
ることができないことで生じるシミュレーション再実行
の時間を減らすことが可能となり、検証時間が短縮可能
となる。
信号に優先順位を付加する機能を持つことによって、シ
ミュレーション実行中にファイル制限を越えた場合で
も、優先順位が高い信号のデータが確認可能となるの
で、ファイル容量の制限を越えたためにデータを確認す
ることができないことで生じるシミュレーション再実行
の時間を減らすことが可能となり、検証時間が短縮可能
となる。
【００１２】
【発明の実施の形態】次に、本発明の一実施例について
図面を参照して説明する。図１は本発明の一実施例によ
る論理シュミレーションシステムの構成を示すブロック
図である。図１において、本発明の一実施例による論理
シュミレーションシステムはシミュレーションを実行す
る論理シミュレータ１と、論理シミュレータ１の入力と
なる入力波形を蓄積する入力波形ファイル２と、シミュ
レーションを行う対象となる入力回路情報を蓄積する入
力回路ファイル３と、論理シミュレータ１のシミュレー
ション結果を出力する出力波形ファイル４とから構成さ
れている。
図面を参照して説明する。図１は本発明の一実施例によ
る論理シュミレーションシステムの構成を示すブロック
図である。図１において、本発明の一実施例による論理
シュミレーションシステムはシミュレーションを実行す
る論理シミュレータ１と、論理シミュレータ１の入力と
なる入力波形を蓄積する入力波形ファイル２と、シミュ
レーションを行う対象となる入力回路情報を蓄積する入
力回路ファイル３と、論理シミュレータ１のシミュレー
ション結果を出力する出力波形ファイル４とから構成さ
れている。
【００１３】また、論理シュミレータ１には図示せぬ入
力装置等からの指示内容に基づいて出力波形ファイル４
に出力する波形の優先順位を指定する波形出力優先順位
設定手段１１と、ファイル容量を超えた場合に出力波形
ファイル４の信号データを削除する信号データ削除手段
１２とを備えている。
力装置等からの指示内容に基づいて出力波形ファイル４
に出力する波形の優先順位を指定する波形出力優先順位
設定手段１１と、ファイル容量を超えた場合に出力波形
ファイル４の信号データを削除する信号データ削除手段
１２とを備えている。
【００１４】図２は図１の論理シミュレータ１によるシ
ミュレーション動作を示すフローチャートである。これ
ら図１及び図２を参照して本発明の一実施例による論理
シュミレーションシステムの動作について説明する。
ミュレーション動作を示すフローチャートである。これ
ら図１及び図２を参照して本発明の一実施例による論理
シュミレーションシステムの動作について説明する。
【００１５】まず、シミュレーションを行う前に、論理
シミュレータ１においては波形出力優先順位設定手段１
１を用いて出力波形ファイル４の容量指定と波形出力す
る信号選択及び優先順位とが設定される。論理シミュレ
ータ１には入力装置等から出力波形ファイル４の容量が
指定される（図２ステップＳ１）。本発明の一実施例に
よる論理シュミレーションシステムでは出力波形ファイ
ル４の容量が指定された場合にのみ、優先順位による信
号データ削除の処理を行う。
シミュレータ１においては波形出力優先順位設定手段１
１を用いて出力波形ファイル４の容量指定と波形出力す
る信号選択及び優先順位とが設定される。論理シミュレ
ータ１には入力装置等から出力波形ファイル４の容量が
指定される（図２ステップＳ１）。本発明の一実施例に
よる論理シュミレーションシステムでは出力波形ファイ
ル４の容量が指定された場合にのみ、優先順位による信
号データ削除の処理を行う。
【００１６】論理シミュレータ１は出力波形ファイル４
に出力する信号を選択し、入力装置等からの指示内容に
基づいて優先順位を指定する（図２ステップＳ２）。こ
こで、出力波形ファイル４に保存したい信号に対しては
優先順位を高く設定する。
に出力する信号を選択し、入力装置等からの指示内容に
基づいて優先順位を指定する（図２ステップＳ２）。こ
こで、出力波形ファイル４に保存したい信号に対しては
優先順位を高く設定する。
【００１７】この後に、論理シミュレータ１はシミュレ
ーションを開始し（図２ステップＳ３）、シミュレーシ
ョン実行中に出力波形ファイル４が上記のステップＳ１
で指定されたファイル容量を超えたかどうかを確認する
（図２ステップＳ４）。
ーションを開始し（図２ステップＳ３）、シミュレーシ
ョン実行中に出力波形ファイル４が上記のステップＳ１
で指定されたファイル容量を超えたかどうかを確認する
（図２ステップＳ４）。
【００１８】論理シミュレータ１は出力波形ファイル４
が指定されたファイル容量を超えた場合、設定された優
先順位を参照し、信号データ削除手段１２を用いて低い
優先順位の信号を出力波形ファイル４から削除する（図
２ステップＳ５）。
が指定されたファイル容量を超えた場合、設定された優
先順位を参照し、信号データ削除手段１２を用いて低い
優先順位の信号を出力波形ファイル４から削除する（図
２ステップＳ５）。
【００１９】論理シミュレータ１はシミュレーションが
継続するかどうかを確認し（図２ステップＳ６）、終了
していない場合には上記のステップＳ４，Ｓ５の処理を
繰り返し行う。論理シミュレータ１はシミュレーション
の終了を確認した場合、シミュレーションを終了とし
（図２ステップＳ７）、全ての処理を終了とする。
継続するかどうかを確認し（図２ステップＳ６）、終了
していない場合には上記のステップＳ４，Ｓ５の処理を
繰り返し行う。論理シミュレータ１はシミュレーション
の終了を確認した場合、シミュレーションを終了とし
（図２ステップＳ７）、全ての処理を終了とする。
【００２０】図３（ａ）はファイル容量を超えない場合
の出力波形ファイル４への蓄積動作を示すタイミングチ
ャートであり、図３（ｂ）は従来手法でファイル容量を
超えた場合の出力波形ファイル４への蓄積動作を示すタ
イミングチャートであり、図３（ｃ）は本発明の手法で
ファイル容量を超えた場合の出力波形ファイル４への蓄
積動作を示すタイミングチャートである。この図３を参
照して信号データの削除処理について説明する。
の出力波形ファイル４への蓄積動作を示すタイミングチ
ャートであり、図３（ｂ）は従来手法でファイル容量を
超えた場合の出力波形ファイル４への蓄積動作を示すタ
イミングチャートであり、図３（ｃ）は本発明の手法で
ファイル容量を超えた場合の出力波形ファイル４への蓄
積動作を示すタイミングチャートである。この図３を参
照して信号データの削除処理について説明する。
【００２１】図３において、ＳＩＧ１はＣＬＯＣＫ，Ｓ
ＩＧ２と比較して低い優先順位が設定されている。その
ため、指定されたファイル容量を出力波形ファイル４の
蓄積容量が越えた場合、信号データ削除手段１２によっ
てＳＩＧ１の信号データが削除される「図３（ｃ）参
照］。
ＩＧ２と比較して低い優先順位が設定されている。その
ため、指定されたファイル容量を出力波形ファイル４の
蓄積容量が越えた場合、信号データ削除手段１２によっ
てＳＩＧ１の信号データが削除される「図３（ｃ）参
照］。
【００２２】このように、波形出力優先順位設定手段１
１によって各信号に優先順位を付加し、設定された優先
順位が低い順から信号データ削除手段１２によって出力
波形ファイル４から信号データを削除することによっ
て、ファイル容量超過による全信号に対するデータ削除
を避け、優先度が低い信号のみを削除することで、シミ
ュレーション結果の正当性を容易に確認することができ
る。
１によって各信号に優先順位を付加し、設定された優先
順位が低い順から信号データ削除手段１２によって出力
波形ファイル４から信号データを削除することによっ
て、ファイル容量超過による全信号に対するデータ削除
を避け、優先度が低い信号のみを削除することで、シミ
ュレーション結果の正当性を容易に確認することができ
る。
【００２３】また、出力波形ファイル４における出力信
号に優先順位を付加する波形出力優先順位設定手段１１
を持つことによって、シミュレーション実行中に出力波
形ファイル４がファイル制限を越えた場合でも、優先順
位が高い信号のデータを確認することができるので、出
力波形ファイル４がファイル容量の制限を越えたために
データを確認することにできないことによって生じるシ
ミュレーション再実行の時間を減らすことができ、検証
時間を短縮することができる［図３（ａ）〜（ｃ）参
照］。
号に優先順位を付加する波形出力優先順位設定手段１１
を持つことによって、シミュレーション実行中に出力波
形ファイル４がファイル制限を越えた場合でも、優先順
位が高い信号のデータを確認することができるので、出
力波形ファイル４がファイル容量の制限を越えたために
データを確認することにできないことによって生じるシ
ミュレーション再実行の時間を減らすことができ、検証
時間を短縮することができる［図３（ａ）〜（ｃ）参
照］。
【００２４】
【発明の効果】以上説明したように本発明によれば、論
理シミュレータで行った論理シュミレーションの結果を
結果ファイルに蓄積する論理シュミレーションシステム
において、論理シミュレータから出力する信号の優先順
位を設定する波形出力優先順位設定手段と、波形出力優
先順位設定手段で設定された優先順位の低い順から結果
ファイルの信号データを削除する信号データ削除手段と
を論理シミュレータに設けることによって、シミュレー
ション結果の正当性を容易に確認することができ、シミ
ュレーション再実行の時間を減らして検証時間を短縮す
ることができるという効果がある。
理シミュレータで行った論理シュミレーションの結果を
結果ファイルに蓄積する論理シュミレーションシステム
において、論理シミュレータから出力する信号の優先順
位を設定する波形出力優先順位設定手段と、波形出力優
先順位設定手段で設定された優先順位の低い順から結果
ファイルの信号データを削除する信号データ削除手段と
を論理シミュレータに設けることによって、シミュレー
ション結果の正当性を容易に確認することができ、シミ
ュレーション再実行の時間を減らして検証時間を短縮す
ることができるという効果がある。
【図１】本発明の一実施例による論理シュミレーション
システムの構成を示すブロック図である。
システムの構成を示すブロック図である。
【図２】図１の論理シミュレータによるシミュレーショ
ン動作を示すフローチャートである。
ン動作を示すフローチャートである。
【図３】（ａ）はファイル容量を超えない場合の出力波
形ファイル４への蓄積動作を示すタイミングチャート、
（ｂ）は従来手法でファイル容量を超えた場合の出力波
形ファイル４への蓄積動作を示すタイミングチャート、
（ｃ）は本発明の手法でファイル容量を超えた場合の出
力波形ファイル４への蓄積動作を示すタイミングチャー
トである。
形ファイル４への蓄積動作を示すタイミングチャート、
（ｂ）は従来手法でファイル容量を超えた場合の出力波
形ファイル４への蓄積動作を示すタイミングチャート、
（ｃ）は本発明の手法でファイル容量を超えた場合の出
力波形ファイル４への蓄積動作を示すタイミングチャー
トである。
１ 論理シミュレータ ２ 入力波形ファイル ３ 入力回路ファイル ４ 出力波形ファイル １１ 波形出力優先順位設定手段 １２ 信号データ削除手段
Claims (2)
- 【請求項１】 論理シミュレータで行った論理シュミレ
ーションの結果を結果ファイルに蓄積する論理シュミレ
ーションシステムであって、前記論理シミュレータから
出力する信号の優先順位を設定する波形出力優先順位設
定手段と、前記波形出力優先順位設定手段で設定された
優先順位の低い順から前記結果ファイルの信号データを
削除する信号データ削除手段とを前記論理シミュレータ
に有することを特徴とする論理シュミレーションシステ
ム。 - 【請求項２】 前記波形出力優先順位設定手段は、外部
からの指示内容に基づいて前記優先順位を設定するよう
構成したことを特徴とする請求項１記載の論理シュミレ
ーションシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2000356848A JP2002163325A (ja) | 2000-11-24 | 2000-11-24 | 論理シュミレーションシステム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2000356848A JP2002163325A (ja) | 2000-11-24 | 2000-11-24 | 論理シュミレーションシステム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2002163325A true JP2002163325A (ja) | 2002-06-07 |
Family
ID=18829007
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2000356848A Pending JP2002163325A (ja) | 2000-11-24 | 2000-11-24 | 論理シュミレーションシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2002163325A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2012105013A1 (ja) * | 2011-02-02 | 2012-08-09 | 富士通株式会社 | 回路設計支援装置、回路設計支援プログラムおよび回路設計支援方法 |
-
2000
- 2000-11-24 JP JP2000356848A patent/JP2002163325A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2012105013A1 (ja) * | 2011-02-02 | 2012-08-09 | 富士通株式会社 | 回路設計支援装置、回路設計支援プログラムおよび回路設計支援方法 |
| JPWO2012105013A1 (ja) * | 2011-02-02 | 2014-07-03 | 富士通株式会社 | 回路設計支援装置、回路設計支援プログラムおよび回路設計支援方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5157620A (en) | Method for simulating a logic system | |
| TWI309384B (ja) | ||
| JP2002163325A (ja) | 論理シュミレーションシステム | |
| US7930609B2 (en) | Apparatus and method for verifying target circuit | |
| JP3953250B2 (ja) | 非同期回路の検証方法 | |
| JP2835567B2 (ja) | 対象の動作を時系列的に検証するシミュレータのためのバックトラッキング方式及びバックトラッキング方法 | |
| JP4194959B2 (ja) | シミュレーション解析システム、アクセラレータ装置及びエミュレータ装置 | |
| JPH10261002A (ja) | 設計支援方法および設計支援装置 | |
| CN116909935B (zh) | 基于单一处理模块接口的芯片联合仿真方法、设备和介质 | |
| JP2004252824A (ja) | 回路検証方法、回路シミュレータ、回路検証プログラム | |
| JP5288124B2 (ja) | 論理シミュレーションシステム、論理シミュレーション方法及び論理シミュレーションプログラム | |
| JP2005316595A (ja) | 回路記述間の等価性検証方法および回路記述間の等価性検証プログラム | |
| JP3057191B2 (ja) | 論理シミュレーション支援システム | |
| JP2932805B2 (ja) | 自動実行装置 | |
| JPH0831110B2 (ja) | 論理シミュレーションシステム | |
| JP2001265828A (ja) | 論理検証方式 | |
| JPH08166980A (ja) | 論理回路シミュレーション方法 | |
| JP2616541B2 (ja) | 論理シミュレータ | |
| JP2019185215A (ja) | ベクタ生成装置及びベクタ生成用プログラム | |
| JP2005182093A (ja) | 回路機能検証支援システム、回路機能検証支援方法、制御プログラムおよび可読記録媒体 | |
| JPH11149489A (ja) | シミュレーション装置 | |
| JP3986700B2 (ja) | 論理回路の合成装置および記録媒体 | |
| JPH0895817A (ja) | 情報処理装置の試験方法 | |
| JP2008129921A (ja) | 論理機能検証装置及び論理機能検証方法 | |
| JP2002207782A (ja) | 論理シミュレーション方法、および、論理シミュレーション用プログラムを記録する記録媒体 |