JPH04241069A - シミュレーションの初期値設定方法 - Google Patents
シミュレーションの初期値設定方法Info
- Publication number
- JPH04241069A JPH04241069A JP3007415A JP741591A JPH04241069A JP H04241069 A JPH04241069 A JP H04241069A JP 3007415 A JP3007415 A JP 3007415A JP 741591 A JP741591 A JP 741591A JP H04241069 A JPH04241069 A JP H04241069A
- Authority
- JP
- Japan
- Prior art keywords
- loop circuit
- circuit
- simulation
- detected
- initial values
- 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 15
- 238000011423 initialization method Methods 0.000 title 1
- 238000000034 method Methods 0.000 claims description 20
- 239000000470 constituent Substances 0.000 abstract 1
- 238000010586 diagram Methods 0.000 description 9
- 238000001514 detection method Methods 0.000 description 1
Landscapes
- Logic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】この発明は、論理回路の設計ない
し評価のために行うシミュレーションにおける初期値の
設定方法に関する。
し評価のために行うシミュレーションにおける初期値の
設定方法に関する。
【０００２】
【従来の技術】従来この種の初期値の設定は図３に示す
ような手順に従って人手によって行われていた。すなわ
ち、設計した回路に対して適当な初期値を指定して（ス
テップ１）シミュレーションを実行する（ステップ２）
。その結果により、指定した初期値が適正か否か判断し
（ステップ３）、十分な結果が得られるまで初期値の指
定を繰返す。
ような手順に従って人手によって行われていた。すなわ
ち、設計した回路に対して適当な初期値を指定して（ス
テップ１）シミュレーションを実行する（ステップ２）
。その結果により、指定した初期値が適正か否か判断し
（ステップ３）、十分な結果が得られるまで初期値の指
定を繰返す。
【０００３】
【発明が解決しようとする課題】従来のシミュレーショ
ンの初期値設定は以上のように人手によって行われてい
たため、その作業は容易ではなく、多くの時間と労力と
を要した。この発明の目的は自動化によりシミュレーシ
ョンの初期値の設定を容易なものにすることにある。
ンの初期値設定は以上のように人手によって行われてい
たため、その作業は容易ではなく、多くの時間と労力と
を要した。この発明の目的は自動化によりシミュレーシ
ョンの初期値の設定を容易なものにすることにある。
【０００４】
【課題を解決するための手段】この発明は、回路図の接
続情報よりループ回路を検出する処理と、検出したルー
プ回路を構成する素子に初期値を設定する処理と、設定
した初期値によりループ回路の出力値が確定するか否か
を判断する処理とを含むものである。
続情報よりループ回路を検出する処理と、検出したルー
プ回路を構成する素子に初期値を設定する処理と、設定
した初期値によりループ回路の出力値が確定するか否か
を判断する処理とを含むものである。
【０００５】
【作用】各処理ともコンピューターシステムにより容易
に実現でき、自動化が可能である。
に実現でき、自動化が可能である。
【０００６】
【実施例】図１はこの発明の一実施例を示すフローチャ
ートである。次に、図２に示す回路図１００に即してそ
の手順を説明する。ここで、回路図１００はシミュレー
ションの対象となる具体的な回路例を示したもので、１
０１〜１０３は端子、１１１〜１２０は論理素子、１３
１〜１３９は信号線をそれぞれ示している。また、図１
の手順をストアードプログラム方式のコンピューターシ
ステムにより実現する場合は、予め図１に即したプログ
ラムがメモリに格納され、ＣＰＵが順次その命令を取り
込んで実行していくことになる。
ートである。次に、図２に示す回路図１００に即してそ
の手順を説明する。ここで、回路図１００はシミュレー
ションの対象となる具体的な回路例を示したもので、１
０１〜１０３は端子、１１１〜１２０は論理素子、１３
１〜１３９は信号線をそれぞれ示している。また、図１
の手順をストアードプログラム方式のコンピューターシ
ステムにより実現する場合は、予め図１に即したプログ
ラムがメモリに格納され、ＣＰＵが順次その命令を取り
込んで実行していくことになる。
【０００７】そこで、初期値設定処理プログラムの実行
が開始すると、はじめに回路図１００の接続情報を読み
込む（ステップ１１）。次いで読み込んだ情報に基き、
入力端子１０１から回路図１００を探索し、ループ回路
の検出を行う（ステップ１２）。このとき例えば、論理
素子１１３，１１４および１１８からなるループ回路（
これを第１のループ回路というものとする）が検出され
る。
が開始すると、はじめに回路図１００の接続情報を読み
込む（ステップ１１）。次いで読み込んだ情報に基き、
入力端子１０１から回路図１００を探索し、ループ回路
の検出を行う（ステップ１２）。このとき例えば、論理
素子１１３，１１４および１１８からなるループ回路（
これを第１のループ回路というものとする）が検出され
る。
【０００８】次に、ループ回路の検出が有ったか否かを
判断する（ステップ１３）。今は論理素子１１３，１１
４，１１８からなる第１のループ回路が検出されている
から、この場合、引続き回路図１００上の回路のシミュ
レーションを実行する（ステップ１４）。その結果、上
記ループ回路の出力値が確定したか否かを判断する（ス
テップ１５）。ここでは第１のループ回路の出力素子で
ある論理素子１１４の出力値について判断することにな
る。この場合、はじめは初期値の設定を行っていないた
め一般的には出力値は不定である。そのような場合、当
該ループ回路の素子、ここでは素子１１４に初期値を設
定する（ステップ１６）。その上で再度シミュレーショ
ンを行い（ステップ１４）、同様の処理を素子１１４の
出力値が確定するまで繰返す。
判断する（ステップ１３）。今は論理素子１１３，１１
４，１１８からなる第１のループ回路が検出されている
から、この場合、引続き回路図１００上の回路のシミュ
レーションを実行する（ステップ１４）。その結果、上
記ループ回路の出力値が確定したか否かを判断する（ス
テップ１５）。ここでは第１のループ回路の出力素子で
ある論理素子１１４の出力値について判断することにな
る。この場合、はじめは初期値の設定を行っていないた
め一般的には出力値は不定である。そのような場合、当
該ループ回路の素子、ここでは素子１１４に初期値を設
定する（ステップ１６）。その上で再度シミュレーショ
ンを行い（ステップ１４）、同様の処理を素子１１４の
出力値が確定するまで繰返す。
【０００９】最初のループ回路の出力値が確定したら、
再びループ回路の検出処理（ステップ１２）の実行に移
行し、同様の処理を新たなループ回路が検出できなくな
るまで、つまりすべてのループ回路の検出が終了するま
で繰返し行う。例えば回路図１００の場合は、上述した
第１のループ回路の他に論理素子１１５，１１６，１２
０からなるループ回路、論理素子１１３〜１１５，１１
７，１１９からなるループ回路が検出され、シミュレー
ションが実行されるが（ステップ１３，１４）、この場
合ループ回路の出力値がいったん確定した後は初期値を
さらに設定することなく処理を終了する。
再びループ回路の検出処理（ステップ１２）の実行に移
行し、同様の処理を新たなループ回路が検出できなくな
るまで、つまりすべてのループ回路の検出が終了するま
で繰返し行う。例えば回路図１００の場合は、上述した
第１のループ回路の他に論理素子１１５，１１６，１２
０からなるループ回路、論理素子１１３〜１１５，１１
７，１１９からなるループ回路が検出され、シミュレー
ションが実行されるが（ステップ１３，１４）、この場
合ループ回路の出力値がいったん確定した後は初期値を
さらに設定することなく処理を終了する。
【００１０】上述した実施例でははじめに１つのループ
回路（第１のループ回路）を検出し、それについてシミ
ュレーションおよび初期値の設定を繰返して出力値を確
定させてから次のループ回路の検出に移行するものとし
たが、はじめにすべてのループ回路を検出した後、それ
らすべてのループ回路の出力値が確定するまでシミュレ
ーションおよび初期値の設定を繰返し行っても同様の効
果が得られる。
回路（第１のループ回路）を検出し、それについてシミ
ュレーションおよび初期値の設定を繰返して出力値を確
定させてから次のループ回路の検出に移行するものとし
たが、はじめにすべてのループ回路を検出した後、それ
らすべてのループ回路の出力値が確定するまでシミュレ
ーションおよび初期値の設定を繰返し行っても同様の効
果が得られる。
【００１１】
【発明の効果】以上のようにこの発明によれば、回路の
接続情報よりループ回路を検出し、検出したループ回路
の構成要素に対する初期値を設定し、その設定した初期
値によりループ回路の出力値が確定するか否かを判断す
る手順をとることにより、初期値の設定を容易に自動化
でき、当該作業に費やされる時間と労力を削減すること
が可能となる。また、自動化に伴い、人手による場合の
設定ミスがなくなるという利点も有する。
接続情報よりループ回路を検出し、検出したループ回路
の構成要素に対する初期値を設定し、その設定した初期
値によりループ回路の出力値が確定するか否かを判断す
る手順をとることにより、初期値の設定を容易に自動化
でき、当該作業に費やされる時間と労力を削減すること
が可能となる。また、自動化に伴い、人手による場合の
設定ミスがなくなるという利点も有する。
【図１】シミュレーションの初期値の設定手順を示した
フローチャートである。
フローチャートである。
【図２】シミュレーションの対象となる具体的な回路例
を示した回路図である。
を示した回路図である。
【図３】この発明を使用しない従来のシミュレーション
の初期値設定方法を示したフローチャートである。
の初期値設定方法を示したフローチャートである。
１００ 回路図
１１１〜１２０ 論理素子
Claims (1)
- 【請求項１】 論理回路のシミュレーション用の初期
値の設定方法において、回路の接続情報よりループ回路
を検出する処理と、検出したループ回路を構成する素子
に初期値を設定する処理と、設定した初期値によりルー
プ回路の出力値が確定するか否かを判断する処理とを含
むことを特徴とするシミュレーションの初期値設定方法
。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3007415A JPH04241069A (ja) | 1991-01-25 | 1991-01-25 | シミュレーションの初期値設定方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3007415A JPH04241069A (ja) | 1991-01-25 | 1991-01-25 | シミュレーションの初期値設定方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04241069A true JPH04241069A (ja) | 1992-08-28 |
Family
ID=11665236
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3007415A Pending JPH04241069A (ja) | 1991-01-25 | 1991-01-25 | シミュレーションの初期値設定方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04241069A (ja) |
-
1991
- 1991-01-25 JP JP3007415A patent/JPH04241069A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH05233352A (ja) | マイクロプロセッサ | |
| JPS63145549A (ja) | 論理回路シミユレ−シヨン方法 | |
| JPH04241069A (ja) | シミュレーションの初期値設定方法 | |
| JPH0561931A (ja) | シミユレーシヨン装置 | |
| CN112597717B (zh) | Ip核验证方法、装置及电子设备 | |
| CA1212770A (en) | Method for propagating unknown digital values in a hardware based complex circuit simulation system | |
| CN115616387B (zh) | 一种基于芯片的控制信号校准方法、系统 | |
| JPS59117660A (ja) | シミユレ−シヨン状態復元処理方式 | |
| JP3123982B2 (ja) | 論理シミュレーション方法 | |
| JPS61187047A (ja) | 論理回路シミユレ−シヨン方式 | |
| JP2924392B2 (ja) | マイクロコンピュータシステム | |
| JPS5870361A (ja) | 入力制御方式 | |
| JPS61165171A (ja) | マイクロコンピユ−タ | |
| JP3087319B2 (ja) | タイミング検証システム | |
| JPH06259495A (ja) | 論理シミュレーション方式 | |
| JPS6398042A (ja) | シミユレ−シヨン方法 | |
| JP3260662B2 (ja) | 論理シミュレーション方法 | |
| JP2624135B2 (ja) | タイミング解析方法 | |
| JPS5984536A (ja) | 集積回路 | |
| JPH05312905A (ja) | 回路シミュレーション装置 | |
| JPH0444174A (ja) | シミュレーション方法 | |
| JPH0675816A (ja) | ループ処理誤り検出装置 | |
| JPH05151296A (ja) | メモリ付回路の論理検証装置および方法 | |
| JPS61127042A (ja) | 論理シミユレ−シヨンのテストカバレ−ジ方式 | |
| JPH06208484A (ja) | 交換ソフトウェアの自動試験方式 |