JPH0442371A - 論理シミュレーション法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、大規模集積回路などの論理シミュレーション
に関し、特に、論理検証時に必要となるファイル容量を
削減する方式に関するものである。

〔従来の技術〕

従来の論理シミュレーション法としては、「参照する若
しくは参照する可能性のある信号線の信号変化をすべて
保存する」というものがあった。

第８図は、従来の論理検証システムの構成図であリ、論
理シミュレータがシミュレーションを行なうことにより
、信号変化ファイルを出力する。次に波形表示プログラ
ムもしくはテキスト形式の信号変化出力プログラムが、
出力された信号変化をもとに、設計者に信号変化を示す
。

このような構成のシステムにおいては、あらかじめ、信
号変化を記憶すべき信号線をシミュレーションコマンド
で指定する。次に、シミュレーション中、指定された信
号線に信号変化が生じれば、この信号変化を記憶する。

そして、この結果をもとに、利用者の指定した信号線に
関する信号変化を波形表示もしくはテキスト形式で参照
する。

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

以上のような従来の論理シミュレーション法においては
、論理検証において、事前に、参照される信号をすべて
予測することは困難であり、また全ての信号線の信号変
化を記憶するとファイルが巨大になり、かつ出力動作で
シミュレーションが遅くなるという問題があった。

本発明はこのような点に鑑みてなされたものであり、そ
の目的とするところは、信号変化ファイルが巨大になる
ことなく、任意の時刻および任意の場所の信号変化をシ
ミュレーション後に参照できる論理シミュレーション環
境を得ることにある。

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

このような目的を達成するために本発明は、ユーザの指
定した信号線、フリップフロップ、ラッチ、ＲＯＭ、Ｒ
ＡＭなどの記憶機能を有する素子の出力信号の信号変化
を出力する第１のシミュレート手段と、信号識別名と信
号変化データを対にして記憶する第１の記憶手段と、回
路ネットワークを記憶する第２の記憶手段と、　表示す
べき所望データを特定する信号識別子を人力する入力手
段と、この入力手段で入力された信号識別子に対し、第
１の記憶手段内から信号検索する第１の検索手段と、こ
の第１の検索手段の検索で所望データが見つからなかっ
た場合、信号識別名の信号変化を再現するために必要と
なる部分回路を抽出ならびに前記部分回路の入力信号を
検索する第２の検索手段と、この第２の検索手段で抽出
された部分回路および信号変化をもとに再シミュレート
する第２のシミュレート手段と、この第２のシミュレー
ト手段で再現された信号変化を第１の記憶手段内に登録
する登録手段とを設けるようにしたものである。

〔作用〕

本発明による論理シミュレーション法においては、第１
のシミュレーション中、ユーザの指定した信号線、フリ
ップフロップ、ラッチ、ＲＯＭ、ＲＡＭなどの記憶機能
を有する素子の出力信号の信号変化をファイルに出力し
、第１のシミュレーション後、このファイルを入力する
ことにより、信号変化データが第１の記憶手段に記憶さ
れ、第１の入力ステップで、信号変化を表示すべき信号
識別子を入力し、第１の検索ステップにおいて、入力さ
れた信号識別子によって特定される所望データが第１の
記憶手段内のデータの中から検索され、第１の記憶手段
内に所望データがない場合、第２の検索ステップにおい
て、所望データを復元するために必要となる部分回路が
抽出およびこの部分回路の入力となる信号変化データを
検索し、シミュレートステップにおいて、部分回路デー
タ、信号変化データをもとにシミュレートし、所望の信
号変化データを得るから、全ての信号変化データを保存
しなくとも、任意の時刻、任意の場所の信号変化を参照
することができる。

〔実施例〕

第１図、第２図５第３図は、本発明による論理シミュレ
ーション法の一実施例を説明するための構成図、テーブ
ル図、構造図である。なお、これ以後、第１の記憶手段
を信号変化テーブルと呼び、第２の記憶手段を回路デー
タ構造と呼ぶ。

第２図に示す信号変化テーブルは、信号識別名と信号値
変化情報へのポインタおよび回路データ構造の該当する
信号テーブルへのポインタをもつ。

なお、信号変化を記憶していない信号線に関しては、信
号テーブルへのポインタは空（ＮＵＬＬ）である。

第３図（ａ）、　（ｂｌに示す回路データ構造は、素子
および信号線それぞれに対しテーブルを持ち、それらが
回路図を反映するように双方向ポインタでつながれてい
る。なお、信号テーブルは、信号変化テーブルの該当す
る信号識別子レコードへのアドレスを保持するポインタ
並びに再シミュレーション対象部分回路範囲を示すフラ
グを持つ。

このような構成のシステムにおいては、第４図、第５図
、第６図に示すフローチャートに基づいて、信号変化履
歴の表示が行なわれる。まず、ネットリストファイルを
読み、回路データ構造を作成する（ステップ１）。次に
、新たにシミュレーションを実行する必要のある場合は
、ステップ２を実行する。既存のシミュレーション結果
を利用する場合は、ステップ３に進む。ステップ２では
、シミュレーションコマンドに基づき、シミュレーショ
ンが実行され、ユーザが指定した信号線並びに記憶機能
を有する素子の出力信号線の信号変化を信号変化ファイ
ルに出力する。そして、ステップ３に進む。ステップ３
では、信号変化ファイルを入力し、信号変化テーブルを
作成する。そして、ステップＡにおける第５図のステッ
プ４では表示すべき信号識別子を入力し、ステップ５で
信号変化の検索が行なわれる。ここで、信号変化が検索
されれば、第４図のステップ１２に進み、そうでなけれ
ばステップＢにおける第６図のステップ６に進む。ステ
ップ６では、論理回路のデータ構造をたどり、この信号
に対し、出力している素子に対象を移す。次に、この素
子の入力となる全ての信号に対し、ステップ７以降の処
理を行なう。ステップ７では、この信号の信号変化が記
憶されているか検索する。ここで、記憶されていればス
テップ８に進み、記憶されていなければステップ９に進
む。ステップ８では、この信号変化データをイベントと
して登録する。ステップ９では、シミュレーション対象
フラグを立て、ステップ６から９の処理を再帰的に行な
う。ステップ６からステップ９の処理がすべて終了する
と第５図のステップ１０に進む。第７図ｆｂ］は、信号
線Ｊの信号変化を復元するために必要な部分回路を抽出
した回路である。ステップ１０では、シミュレーション
対象フラグが立っている部分回路に対し、シミュレーシ
ョンを行なう。ステップ１１では、シミュレーションさ
れた部分回路の各信号変化が、新たに信号変化テーブル
に登録され、以後の信号値の参照に用いられる。ステッ
プ１２では、所望の信号変化が波形表示される。

第７図（ａ）は、シミュレーション対象回路の一部分を
示したものである。第７図（ａ＋および（ｂ）において
、２１〜２８は論理素子である。第７図（ａｌ〜ＦＣ＋
に基づいて第４図〜第６図のフローチャートを説明する
。ステップ１で対象回路（第７図（ａ））のネットリス
トを入力し、回路データ構造を作成する。

シミュレーションを新たに実行する必要のある場合はス
テップ２を実行する。ただし、シミュレーション高速化
と、ファイル容量削減のため、この例では信号Ａ、Ｂ、
Ｃ，にのみ信号変化を出力するものとする。ステップ３
では、シミュレーション結果ファイルを入力し、信号変
化テーブル（第７図（Ｃ））を作成する。ここでは、信
号Ａ、Ｂ、Ｃ１にのみ信号変化が記憶されているので、
信号変化テーブルのＡ、　Ｂ、　　Ｃ，Ｋのポインタの
み、信号変化データへのアドレスが格納されているが、
他の信号についてはＮＵＬＬである。

次に、ステップ４に移り、波形表示させたい信号名を入
力する。ここでは、Ｊが入力された場合について説明す
る。ステップ５では、信号名Ｊに関して、信号変化テー
ブルを検索する。具体的には、信号変化テーブルのＪの
欄をみて、信号変化テーブルへのポインタを返す。この
ポインタの値がＮＩＬＬでなければステップ１２へ進み
、ＮＵＬＬであればステップ６へ進む。

ステップ６では、信号Ｊに出力している素子、すなわち
素子２７をカレント素子として着目する。

そして、素子２７に対する全ての入力信号（Ｆ。

Ｇ）に対してステップ７から９の処理を行なう。

信号Ｆに関して説明する。ステップ７では、信号Ｆに関
して信号変化テーブルを検索する。信号Ｆの該当ポイン
タはＮＵＬＬであるので、ステップ８に移る。ステップ
８では、回路データ構造の信号Ｆのテーブル（第３図）
のフラグを立て、シミュレーション領域であることを示
す。次にカレント信号Ｆに関し、部分回路抽出ルーチン
を実行する。すなわち、ステップ６に移る。ステップ６
では、信号Ｆへの出力素子２３をカレント素子とする。

そして、素子２３の全ての入力信号（ＡＢ、Ｃ）に対し
、ステップ７から９の処理を行なう。

次に、信号Ａに対しての説明を行なう。ステップ７で信
号Ａに関して信号変化テーブルを検索する。信号Ａの該
当ポインタはＮ　Ｕ　Ｌ　Ｌでないので、ステップ９に
移り、信号への信号変化データをイベントとして論理シ
ミュレータに登録する。

次に、信号Ｂに対しての説明を行なう。ステップ７で信
号Ｂに関して信号変化テーブルを検索する。信号Ｂの該
当ポインタはＮ　Ｕ　Ｌ　Ｌでないので、ステップ９に
移り、信号Ｂの信号変化データをイベントとして論理シ
ミュレータに登録する。

次に、信号Ｃに対しての説明を行なう。ステップ７で信
号Ｃに関して信号変化テーブルを検索する。信号Ｃの該
当ポインタはＮＵＬＬでないので、ステップ９に移り、
信号Ｃの信号変化データをイベントとして論理シミュレ
ータに登録する。

以上で、素子２３をカレント素子とした部分回路抽出ル
ーチンを終了し、素子２７をカレント素子とした部分回
路抽出ルーチンに戻り、信号Ｇに関してステップ７から
９の処理を同様に行なう。

信号Ｆ、Ｇに関する部分回路抽出ルーチンの処理を終了
すると、ステップ１０に移る。第７図（ｂｌの抽出され
た部分回路は、フラグを立てた部分回路である。なお、
この部分回路の入力となるＡ。

Ｂ、Ｃ，Ｋについては、既に信号変化がイベントとして
シミュレータに登録されている。

ステップ１０では、この部分回路に対してシミュレーシ
ョンを行ない。信号Ｊの信号変化を得る。

ステップ１１では、ステップ１０で得た信号変化を信号
変化テーブルに登録する。すなわち、信号変化テーブル
の信号Ｊの該当ポインタは非ＮＵＬＬの値が入る。そし
て、ステップ１２で信号変化を波形表示する。

〔発明の効果〕

以上説明したように本発明は、信号変化をすべて保存す
ることなく、任意時間、任意地点の信号変化を再現する
ようにしたことにより、全信号の信号変化を記憶する必
要がないので保存するファイル容量を小さくでき、関連
する部分回路に対してのみ再シミュレーションが必要な
ので信号変化の再現が高速に行なえるという効果がある
。

【図面の簡単な説明】

第１図は本発明による論理シミュレーション法を説明す
るための構成図、第２図は信号変化テーブルを示すテー
ブル図、第３図は回路データ構造を示す構造図、第４図
〜第６図は本発明による論理シミュレーション法の一実
施例を説明するためのフローチャート、第７図（ａ）、
　（ｂｌおよびｆｃ）は部分回路抽出を説明するための
回路図およびテーブル図、第８図は従来の方法を説明す
ためのシステム構成図である。

Claims (1)

1. 【特許請求の範囲】 ユーザの指定した信号線、フリップフロップ、ラッチ、
   ＲＯＭ、ＲＡＭなどの記憶機能を有する素子の出力信号
   の信号変化を出力する第１のシミュレート手段と、 信号識別名と信号変化データを対にして記憶する第１の
   記憶手段と、 回路ネットワークを記憶する第２の記憶手段と、表示す
   べき所望データを特定する信号識別子を入力する入力手
   段と、 この入力手段で入力された信号識別子に対し、前記第１
   の記憶手段内から信号検索する第１の検索手段と、 この第１の検索手段の検索で所望データが見つからなか
   った場合、前記信号識別名の信号変化を再現するために
   必要となる部分回路を抽出ならびに前記部分回路の入力
   信号を検索する第２の検索手段と、 この第２の検索手段で抽出された部分回路および信号変
   化をもとに再シミュレートする第２のシミュレート手段
   と、 この第２のシミュレート手段で再現された信号変化を第
   １の記憶手段内に登録する登録手段とを備え、 信号変化をすべて保存することなく、任意時間、任意地
   点の信号変化を再現することを特徴とする論理シミュレ
   ーション法。