JP2835567B2 - 対象の動作を時系列的に検証するシミュレータのためのバックトラッキング方式及びバックトラッキング方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、コンピュータを用いて
対象の動作を時系列的に検証するシミュレーションにお
いて、シミュレーションの状態を過去の任意の時点の状
態に戻すためのバックトラッキング方式に関する。

【０００２】

【従来の技術】対象の動作を時系列的に検証して行くタ
イプのシミュレータは、例えば論理回路設計の際に用い
る電気系論理シミュレータや、ソフトウェアのデバッキ
ング・ツール等の種々の用途に広く実用されている。

【０００３】この種のシミュレータは、基本的に、対象
の動作を１クロックづつ進ませつつ、これを検証して行
くものである。このシミュレーションの過程では、対象
の動作に問題が発見された時、その問題が発生した時点
や原因を求明するために、対象の動作を過去の任意の時
点まで戻して再度動作を検証してみたいという要求があ
る。

【０００４】このバックトラッキングの機能は、シミュ
レーションにおいて大変に便利な機能であるが、従来、
この機能を備えたシミュレータを少なくとも出願人及び
発明者は知らない。

【０００５】

【発明が解決しようとする課題】バックトラッキング機
能を従来のシミュレータが持たない主たる理由は、記憶
すべき情報量の膨大さにある。

【０００６】バックトラッキングを可能にするために
は、過去の各クロックにおける対象の状態や動作を全て
保存しておく必要がある。しかし、例えばイベントドリ
ブン方式の電気系論理シミュレータでは、対象たる論理
回路内で動作する個々の論理素子の入出力を信号の流れ
に従って順次解決して行くという作業を各クロック毎に
行うが、対象回路は一般に複雑で非常に多数の論理素子
を含んでいるため、１クロック分の情報でさえ、これを
全て記録しておくことは現状のハード資源の性能上極め
て困難である。しかも、シミュレーションは何千、何万
というクロック数に亘って行われるから、バックトラッ
キングを行うことは全く無理である。

【０００７】一方、対象回路自体の動作ではなく、その
動作を動作記述言語で記述したものを検証するタイプの
シミュレータでは、イベントドリブン方式のシミュレー
タに比べて、クロック当りの情報量は大幅に少なくなく
なるので、これを記録しておくことは十分に可能であ
る。しかし、そうであっても、シミュレートする時間区
間の全範囲に亘る何千、何万クロック分の情報を全て記
録しておくことはやはり不可能である。

【０００８】このような理由から、従来のシミュレータ
はバックトラッキング機能を備えていない。そのため、
過去の時刻を再現したい場合には、最初からシミュレー
ションをやり直さなければならない。

【０００９】従って、本発明の目的は、対象の動作を時
系列的に検証するシミュレータにおいて、シミュレート
する時間区間の全クロック数よりも大幅に少ない個数の
クロック分の情報を記録しておくだけで、シミュレーシ
ョンのバックトラッキングができるようにすることにあ
る。

【００１０】

【課題を解決するための手段】本発明のバックトラッキ
ング方式は、各々一つのシミュレーションイメージが保
存できる複数のバッファメモリ手段と、シミュレーショ
ンの実行過程において、サンプリング時刻毎に、現時刻
のシミュレーションイメージを、前記所定個数のバッフ
ァメモリ手段の中から選択したの１個に保存するサンプ
リング手段と、バックトラッキングポイント時刻の指定
を受けて、前記バッファメモリ手段に保存されているシ
ミュレーションイメージの中から、前記バックトラッキ
ングポイント時刻に最も近く且つ以前であるサンプリン
グ時刻を持つシミュレーションイメージを読み出し、こ
の読み出したシミュレーションイメージを起点にして、
前記バックトラッキングポイント時刻に向かってシミュ
レーションを実行するバックトラッキング手段とを備え
る。本発明の一つの観点に従えば、サンプリング手段
は、現時刻のシミュレーションイメージを保存するバッ
ファメモリ手段として、最古のシミュレーションイメー
ジが保存されているバッファメモリ手段を選択する。本
発明の別の観点に従えば、サンプリング手段は、保存さ
れているシミュレーションイメージが古いほどそのサン
プリング時刻の間隔が長くなるように、現時刻のシミュ
レーションイメージを保存するためのバッファメモリ手
段を選択する。

【００１１】

【作用】シミュレーションの実行過程において、所定の
時間間隔おきのサンプリング時刻毎に、その時刻のシミ
ュレーションの結果（シミュレーションイメージ）がバ
ッファメモリ手段に保存される。全てのバッファメモリ
手段が埋まると、それ以降のサンプリング時刻では、１
個のバッファメモリ手段が選択され、その内容が消去さ
れて、そこに現時刻のシミュレーションイメージが書き
込まれていく。

【００１２】以上の動作により、シミュレーションの開
始から現時刻までの間の何ヶ所かのサンプリング時刻で
のシミュレーションイメージが、バッファメモリ手段に
保存されることになる。この状態でバックトラッキング
を行なう場合には、戻したい時刻（バックトラッキング
ポイント時刻）に最も近く且つそれより前のサンプリン
グ時刻を持つシミュレーションイメージがバッファメモ
リ手段から読み出され、これを起点としてバックトラッ
キングポイント時刻へ向かってシミュレーションが再実
行される。

【００１３】尚、本発明は、特に動作記述言語で記述さ
れた対象動作のシミュレーションのバックトラッキング
に好適である。

【００１４】保存されているシミュレーションイメージ
は最新の複数時刻のイメージであることが望ましい。或
いは、保存されているシミュレーションイメージ間の時
間間隔は、古いものほど長く、新しいものほど短くなっ
ていることが望ましい。実際にバックトラッキングが所
望される場合、戻したい時刻は現在時刻に近い時刻であ
ることが多く、古い時刻に戻したい場合は少ないからで
ある。このような望ましい保存形態を実現するために、
好適な実施例では、シミュレーションイメージを書き込
むバッファメモリ手段の選択方法に工夫を持たせてい
る。

【００１５】

【実施例】以下、本発明の実施例を図面により詳細に説
明する。

【００１６】図１は、本発明のバックトラッキング方式
の一実施例が適用される電気系論理シミュレータを含ん
だＬＳＩ設計システムの機能の概略を示す。

【００１７】図１において、本システムは、ＳＦＬソー
スファイル１、論理検証部３及び論理合成部５から構成
される。

【００１８】ＳＦＬソースファイル１は設計対象となる
ＬＳＩの動作を動作記述言語（ＳＦＬ）で記述したもの
である。

【００１９】論理検証部３は、ＬＳＩ設計過程の中の論
理設計の作業に利用されるもので、ＳＦＬ構文解析トラ
ンスレータ３１及び動作シミュレータ３３を含む。ＳＦ
Ｌ構文解析トランスレータ３１は、ＳＦＬソースファイ
ル１を読み込み、対象動作をＳＦＬで正しく表現してい
るかをチェックし、エラーがあればこれを表示し、エラ
ーがなければソースファイル１を動作シミュレータ３３
に渡す。

【００２０】動作シミュレータ３３は、そのソースファ
イルによって表現された動作が正しいか否かを１クロッ
クづつシミュレートして検証する。ここでは、シミュレ
ーションのホルト、リスタート、及び本発明に従うバッ
クトラックを行なうことが可能である。この検証の結
果、対象動作に問題が発見されれば、ユーザによって設
計修正が行われ、再び同様な処理が行なわれる。この繰
返しにより、最終的なソースファイル１が構築されて、
論理設計が完了する。

【００２１】論理合成部５は、ＬＳＩ設計過程の中の論
理合成の作業を行なうもので、ロジックシンセサイザ５
１と実部品回路オプチマイザ５３とテスト合成部５５を
含む。ロジックシンセサイザ５１は、最終的なソースフ
ァイル１に基づき論理回路を生成する。実部品回路オプ
チマイザ５３は、生成された論理回路に対する実部品の
マッピング及び回路の最適化を行なう。テスト合成部５
５は、テスト回路合成及びテストパターンの自動生成を
行なう。尚、論理合成部５は、本発明と直接の関連はな
いので、これ以上の説明は省略する。

【００２２】本発明のバックトラッキング方式は、動作
シミュレータ３３において具現化されている。

【００２３】この動作シミュレータ３３は、入力された
ＳＦＬソースファイル１からシミュレーションイメージ
を構築する。ここで、「シミュレーションイメージ」と
は、本実施例では、ＳＦＬソースファイル１が表現して
いる階層構造を、そのままツリー構造として内部展開し
たものを意味する。

【００２４】なお、この明細書では、「シミュレーショ
ンイメージ」を、より一般的な意味として、「シミュレ
ーションにより得られる或時刻における対象の構成、動
作、状態等の事項に関する情報であって、バックトラッ
キングを行うために保存しておく必要のある事項を少な
くとも含む情報」という意味でも用いる。

【００２５】図２は、本実施例におけるシミュレーショ
ンイメージの一つの構成単位であるモジュールの一例を
示したものである。

【００２６】このモジュールでは、部品の定義とこれに
対する又はこれを利用した動作が記述される。即ち、一
つのモジュールには、ツリー構造の要素として、具体的
なハードウェア部品（機能回路、レジスタ、端子、メモ
リ等）と、その動作を表現するための概念要素（ステー
ジ、タスク、状態、ステートメント等）とが含まれる。
又、より下層のモジュールであるサブモジュールが含ま
れることもある。

【００２７】モジュールの構成要素は、各クロックの時
刻（シミュレーション時刻）において、各々値を持つ。
シミュレーションは、各シミュレーション時刻における
上記の様なツリー構造と各要素の値を確定する作業であ
る。従って、本実施例での「シミュレーションイメー
ジ」とは、換言すれば、個々のシミュレーション時刻に
おける上記の様なツリー構造とその各要素の値を意味す
る。そして、後述する「シミュレーションイメージの保
存」とは、ある特定のシミュレーション時刻におけるシ
ミュレーションイメージを記憶装置に保存することを意
味する。

【００２８】尚、シミュレーションイメージのツリー構
造と各要素の持つ具体的な意味は、本発明の本質を左右
するものではないため、その説明は省略する。

【００２９】図３は、動作シミュレータ３３が行なうシ
ミュレーションの全体の流れを示す。

【００３０】図３において、まず、シミュレーションの
前準備を行なう（フェイズ１００）。前準備には、ＳＦ
Ｌソースファイル１の読み込み、シミュレーション時刻
＝０におけるシミュレーションイメージ（＝オリジナル
・シミュレーションイメージ）の構築等が含まれる。

【００３１】次に、サンプリングに関する条件をユーザ
が設定するフェイズに入る（フェイズ２００）。ここ
で、サンプリングとは、バックトラッキングを可能とす
るために、所定のシミュレーション時刻間隔（＝サンプ
リング間隔）で、シミュレーションイメージを保存する
ことをいう。設定する条件は、サンプリング保存数（＝
保存できるバッファの数）、サンプリング間隔、サンプ
リング方法（詳細は後述する）等である。尚、これらの
条件をユーザが設定しない場合は、予め決められている
デフォルト値が採用される。

【００３２】次に、オリジナルシミュレーションイメー
ジを保存用バッファの一つに保存する（フェイズ３０
０）。ここで、保存用バッファの物理的資源としては半
導体メモリ又はハードディスクが適当である。保存用バ
ッファは、ステップ２００で設定されたサンプリング保
存数だけ用意される。

【００３３】以下、検証処理に入り、ユーザが終了を指
示するまでシミュレーションが続けられる（フェイズ４
００）。

【００３４】検証処理では、シミュレーション時刻を１
クロックづつ更新しつつ、各時刻におけるシミュレーシ
ョンイメージを確定する（フェイズ５００）。

【００３５】この検証処理の途中で、シミュレーション
時刻を前に戻したい（＝バックトラッキング）とユーザ
が欲した場合は、ユーザからの戻したい時刻（＝バック
トラッキングポイント時刻）の入力により、当該バック
トラッキングポイント時刻までシミュレーションが戻さ
れる（フェイズ６００，７００）。

【００３６】図４は、図３の検証処理（フェイズ５０
０）をシミュレーション時刻の更新に注目して詳細に示
したものである。

【００３７】図４において、まず、ユーザがシミュレー
ションの終了時刻（＝シミュレーション停止時刻）を設
定した上で、シミュレーションの開始を指示する（ステ
ップ５１０）。

【００３８】動作シミュレータ３３は、シミュレーショ
ン時刻を１クロック更新し、そしてシミュレーションイ
メージを更新する（ステップ５２０）。

【００３９】ここで、更新したシミュレーション時刻
が、図３のステップ２００で設定されたサンプリング間
隔毎の時刻（＝サンプリング時刻）と一致するか否かを
チェックし、一致すれば、当該時刻におけるシミュレー
ションイメージを保存用バッファの一つに保存する（ス
テップ５３０，５４０）。ここで、どのバッファに保存
するかを決める方法（＝サンプリング方法）について２
種類の方法があり、図３のステップ２００で一方の方法
が選択されている。

【００４０】ステップ５２０〜５４０の処理が、シミュ
レーション停止時刻まで続けられる（ステップ５５
０）。

【００４１】シミュレーション停止時刻に達したなら
ば、シミュレータ３３は時刻更新を停止しユーザからの
コマンド待ち状態となる。そして、ユーザからコマンド
が入ると、コマンドにより要求された要素の値をディス
プレイ表示する等の検証処理を行なう（ステップ５６
０）。

【００４２】図５及び図６は、図４のステップ５４０の
シミュレーションイメージの保存の２種類の異なる方式
を示す。この２種類の方式のどちらを選択するかについ
ては、図３のフェイズ２００でユーザが決定する。

【００４３】尚、これらの流れ図は、保存用バッファが
全て既に埋っている状態で、次にどれか１つのバッファ
内の古いイメージを消去して新しいイメージを保存する
際の方法を示したものである。従って、どちらの方式に
おいても、まだ空きのバッファが残っている時（＝検証
作業が始って、まだサンプリング保存数まで保存回数が
至っていない時）は、空きバッファに順番にイメージを
保存して行くことになる。

【００４４】図５の方式は、単純なリングバッファとし
て動作させる方式（以下、リングバッファ方式という）
である。図５において、まず、各バッファに保存されて
いるイメージのシミュレーション時刻に着目し、（時刻
０のオリジナルイメージを除いて）一番古いイメージを
格納しているバッファのポインタを、保存対象ポインタ
に設定する（ステップ５４１）。

【００４５】次に、この保存対象ポインタが指すバッフ
ァに、現時刻のシミュレーションイメージを保存する
（ステップ５４２）。

【００４６】このリングバッファ方式によれば、常に最
新の、サンプリング間隔だけ互いに隔たったサンプリン
グ保存数分のシミュレーションイメージが、保存される
ことになる。

【００４７】これに対し、図６の方式は、古いイメージ
ほど長い時間間隔で、新しいイメージほど短い時間間隔
で保存されるようにしたもので、保存されたイメージの
時間間隔は現在から過去に向かって幾何級数的に増大し
ていく（以下、幾何級数方式という）。

【００４８】図６において、まず、最後に保存を行った
バッファに着目し、それより２個後のバッファのポイン
タを、保存対象ポインタの候補とする（ステップ５４
３）。ここで、最後に保存を行ったバッファより「Ｎ個
後（この実施例では、２個後）のバッファ」とは、「最
後の保存が行われる前の状態下で、保存されているイメ
ージのサンプリング時刻の古い順に全バッファをソート
した場合、そのバッファ列内において前記最後に保存を
行ったバッファよりもＮ個後に位置するバッファ」とい
う意味である。

【００４９】次に、その候補ポインタが指すバッファに
保存されているシミュレーションイメージが、最後に保
存したイメージであるか否かをチェックし（ステップ５
４４）、イエスの場合には、先頭のポインタを保存対象
ポインタに設定する（ステップ５４５）。ここで、「先
頭のポインタ」とは、「（時刻０のオリジナルイメージ
を除いて）一番古いイメージを格納しているバッファの
ポインタ」を意味する。

【００５０】一方、候補ポインタが指すバッファに保存
されているシミュレーションイメージが、最後に保存し
たイメージでない場合は、候補ポインタがそのまま保存
対象ポインタとなる（ステップ５４６）。

【００５１】次に、この保存対象ポインタが指すバッフ
ァに、現時刻のシミュレーションイメージを保存する
（ステップ５４７）。

【００５２】図７は、この幾何級数方式による保存の様
子を示すものである。図７において、横配列された四角
枠の列はサンプリング時刻の時系列を示し、左端の四角
枠はシミュレーション開始後最初のサンプリング時刻で
あり、右に行くほど時刻は新しくなる。例えば、サンプ
リング間隔が５０クロックだとすると、一番左の四角枠
は５０クロック目を意味し、次の四角枠は１００クロッ
ク目を意味する。各四角枠内の丸数字（、、…）
は、各サンプリング時刻のイメージを保存したバッファ
の番号を示す（この例では、サンプリング保存数＝
８）。従って、丸数字が書かれた四角枠は、その時刻の
イメージがその数字の番号のバッファに保存されている
ことを意味する。一方、黒丸が書かれた四角枠は、その
時刻のイメージが既に消去されていることを意味する。
また、空白の四角枠はそのサンプリング時刻がまだ到来
していないことを意味する。

【００５３】図７（１）に示すように、まずは、バッフ
ァが全て埋るまで、イメージが順番に保存される。バッ
ファが全て埋ると、図７（２）に示すように、まず、一
番古いイメージ（この場合）を消去し、現時刻のイメ
ージをバッファに保存する。

【００５４】次のサンプリング時刻では、図７（３）に
示すように、最後に保存したバッファより２個後のバ
ッファのイメージを消去して、このバッファに現時
刻のイメージを保存する。

【００５５】同様の処理が、図７（４）から（８）に示
すように繰り返される。その結果、現時点に近い時間領
域については、各サンプリング時刻のイメージが保存さ
れ、それより古い時間領域については、１バッファ置き
に保存イメージが間引かれて、２サンプリング間隔毎の
イメージだけがバッファに残される。

【００５６】この後、図７（９）に示すように、１バッ
ファ置きの間引きが最後のバッファまで追い付くと、再
び、一番古いイメージ（この場合）を消去して、最新
のイメージをバッファに保存する。

【００５７】次に、図７（１０）に示すように、最後に
保存したバッファより２個後のバッファを消去し、
これに最新のイメージを保存する。

【００５８】同様の処理が図７（１１）から（１５）に
示すように繰り返される。その結果、最新の時間区間に
ついては、各サンプリング時刻のイメージが保存され、
それより少し古い時間区間については、２サンプリング
間隔毎のイメージが残され、更にそれより古い時間区間
については、２サンプリング間隔毎のイメージから１バ
ッファ置きにイメージが間引かれて、４サンプリング間
隔毎のイメージだけが残される。

【００５９】以上のようなサンプリングにより、古くな
るほど幾何級数的に増大するサンプリング時間間隔をも
った８個のシミュレーションイメージが、８個のバッフ
ァに常に保存されることになる。

【００６０】図８は、図３のフェイズ７００のバックト
ラッキング処理の詳細を示す。この処理では、保存した
シミュレーションイメージを用いて、自動的に、ユーザ
の指定した過去のシミュレーション時刻までシミュレー
ションが戻される。

【００６１】まず、ユーザが戻りたい時刻（＝バックト
ラッキングポイント時刻：ＢＴＰ）を設定する（ステッ
プ７１０）。

【００６２】次に、保存されているシミュレーションイ
メージの内、ＢＴＰより以前で且つ最も新しい（＝ＢＴ
Ｐに最も近い）サンプリング時刻を持つイメージをバッ
ファから読み出し、シミュレータ３３にロードすること
により、当該サンプリング時刻での状態を再現する（ス
テップ７２０）。

【００６３】続いて、この状態を起点として、ＢＴＰま
で自動的にシミュレーション時刻を更新しつつ、シミュ
レーションを実行する（ステップ７３０）。

【００６４】そして、シミュレーション時刻がＢＴＰに
達したなら、当該時刻でのシミュレーションイメージを
ディスプレイに表示する（ステップ７４０）。

【００６５】図９は、上述した手順により行なわれるバ
ックトラッキングの実際のイメージを示したものであ
る。

【００６６】図９（Ａ）に示すように、現在のシミュレ
ーション時刻が１８クロック目だとした時、１クロック
前の１７クロック目をＢＴＰとして指定した場合を想定
する。この場合、最後に保存したイメージが１１クロッ
ク目のイメージだとした場合、図９（Ｂ）に示すよう
に、この１１クロック目のイメージをシミュレータ３３
にロードして、ここからＢＴＰ１７クロック目までシミ
ュレーションを実行する。

【００６７】以上のようにして、ＢＴＰに最も近いシミ
ュレーションイメージからシミュレーションを開始して
ＢＴＰに至るようにしているため、従来の様に最初から
シミュレートし直す場合に比較して、短時間でＢＴＰに
至ることが可能である。

【００６８】図１０は、図８のステップ７２０の保存イ
メージの再ロードの詳細を示す。

【００６９】まず、保存されているシミュレーションイ
メージの内、最も新しいイメージの時刻を比較対象時刻
とする（ステップ７２１）。

【００７０】次に、この比較対象時刻とユーザの設定し
たＢＴＰとを比較し、比較対象時刻がＢＴＰよりも古け
れば、当該比較対象時刻のシミュレーションイメージが
保存されているバッファのポインタを、再ロード対象ポ
インタとする（ステップ７２６）。

【００７１】一方、ＢＴＰが比較対象時刻より古けれ
ば、保存されているイメージの内、当該比較対象時刻よ
り一つ古い時刻のイメージの時刻を、新たな比較対象時
刻として設定し、この新たな比較対象時刻をＢＴＰとの
比較の再度行なう（ステップ７２４，７２２）。

【００７２】このようにして、保存されているイメージ
の中からＢＴＰより古い時刻のイメージを新しいものか
ら順に探していく。そして、そのようなイメージが発見
されれば、そのイメージのバッファのポインタを再ロー
ド対象ポインタに設定する。しかし、その探していく過
程で、これ以上古い比較対象時刻が設定できなくなった
場合には（ステップ７２３）、時刻０のオリジナルイメ
ージが保存されているバッファのポインタを、再ロード
対象ポインタに設定する（ステップ７２５）。

【００７３】こうして、再ロード対象ポインタが設定さ
れたなら、このポインタが指すバッファのイメージをシ
ミュレータ３３にロードする（ステップ７２７）。

【００７４】以上、本発明の好適な一実施例を説明し
た。この実施例では、サンプリングの方式の一つとして
幾何級数方式を採用している。この方式は、既に説明し
たように、シミュレーション時刻が新しくなるほど密な
時間間隔でイメージが保存され、古くなるほど疎な時間
間隔でイメージが保存される。このことは、実際にＢＴ
Ｐが指定される時刻領域は現時刻に近い新しい時刻領域
であることが多く、古い時刻がＢＴＰとして指定される
ことは少ない、という実用上の事情に対応しており、こ
れにより、バックトラッキングの効率化が期待できる。

【００７５】本発明は、上記の実施例以外にも種々の態
様で実施することができる。例えば、サンプリング方式
として、上述の幾何級数方式に類似した別の方式を採用
することもできる。

【００７６】上述の幾何級数方式では、図７に示すよう
に古い順にソートしたバッファ列の中から一個置きにイ
メージを間引いていったが、ｎ個置きに間引くようにし
てもよい。例えば、ｎ＝２（つまり、最後に保存したバ
ッファの３個後のバッファを選択する方式）とした場合
のサンプリングの様子を図１１に示す。図１１から分る
ように、ｎ＝２の場合も時刻が古くなる程保存イメージ
の時間間隔が長くなり、上述した幾何級数方式と同様の
効果が得られる。しかし、図７と比較して分るように、
ｎ＝２の場合は、時間間隔の疎密の変化が単調でなく、
且つ、古い時間領域と新しい領域との間の疎密の差が顕
著すぎる感があるので、ｎ＝１の方が優れていると考え
られる。

【００７７】ところで、上述の幾何級数方式と同様の効
果を得るためのサンプリング方式をより一般的に表現す
れば、次のように表現できる。即ち、サンプリング時刻
が来たとき、この時のシミュレーションイメージを保存
するためのバッファを選択する際、或１つのバッファが
次の条件(A)及び(B)、(A) 古い順にソートしたバッフ
ァ列の中で、当該或１つのバッファの１個前のバッファ
と１個後のバッファとの間のサンプリング時間間隔が、
前記１個前のバッファとその更に１個前のバッファメモ
リ手段との間のサンプリング時間間隔より長くない、
(B) 同バッファ列の中で、前記１個前のバッファと前
記１個後のバッファとの間のサンプリング時間間隔が、
前記１個後のバッファとその更に１個後のバッファとの
間のサンプリング時間間隔より短くない、のうちの少な
くとも一方の条件を満たす場合に、当該或１つのバッフ
ァを選択する、という方式である。この方式の一つの典
型が上記幾何級数方式である。例えば、図７（１１）の
場合を見てみると、選択されたバッファの１個前のバ
ッファと１個後のバッファとの間の時間間隔は、１
個前のバッファと更に１個前のバッファとの間の時
間間隔より長くはなく、且つ、１個後のバッファと更
に１個後のバッファとの間の時間間隔より短くない。

【００７８】上記の条件(A)又は(B)を満たすバッファを
選択するサンプリング方式に属するものであれば、上記
幾何級数方式でなくても、時刻が古くなるほど保存イメ
ージの時間間隔が長くなるという性質が得られるので、
上記した幾何級数方式の利点と同様の利点が得られる。

【００７９】また、本発明のバックトラッキング方式
は、上記実施例のように動作記述言語で記述された回路
動作のシミュレータへの適用に好適であるが、イベント
ドリブン方式のシミュレータに対しても、コンピュータ
の動作速度と記憶容量の問題が将来的に解決されれば十
分に適用可能であり、また、論理回路のシミュレータだ
けでなく他の対象のシミュレータに対しても、対象動作
を時系列的に検証して行くものであれば、適用すること
ができる。

【００８０】

【発明の効果】以上説明したように、本発明によれば、
離散的な幾つかのシミュレーション時刻のシミュレーシ
ョンイメージを保存しておき、バックトラッキングの際
には、戻したい時刻（ＢＴＰ）よりも前で且つこれに最
も近い保存イメージをシミュレータにロードして、そこ
を起点にＢＴＰまでシミュレートするようにしているた
め、制限された少ない個数のイメージを保存しておくだ
けで、効率的なバックトラッキングが可能である。

【００８１】また、保存したイメージの時間間隔が新し
いイメージほど短くなるようなサンプリング方法を採用
した場合には、最も頻度の多い新しい時刻へのバックト
ラッキングが非常に短時間で行なえるので、バックトラ
ッキングの効率化が一層促進される。

【図面の簡単な説明】

【図１】本発明の一実施例が適用される論理シミュレー
タを備えたＬＳＩ設計システムの全体構成を示すブロッ
ク図。

【図２】図１のシステムの論理シミュレータが扱うシミ
ュレーションイメージの一例を示す図。。

【図３】同論理シミュレータの全体動作を示すフローチ
ャート。

【図４】図３内の検証動作の詳細を時刻更新に注目して
示したフローチャート。

【図５】図４内のシミュレーションイメージの保存を、
リングバッファ方式で行なう場合の詳細動作を示すフロ
ーチャート。

【図６】図４内のシミュレーションイメージの保存を、
幾何級数方式で行なう場合の詳細動作を示すフローチャ
ート。

【図７】幾何級数方式によるサンプリングの様子を示す
図。

【図８】図３内のバックトラッキングの詳細動作を示す
フローチャート。

【図９】バックトラッキングの様子を示す図。

【図１０】図８内のシミュレーションイメージの再ロー
ドの詳細動作を示すフローチャート。

【図１１】図７の幾何級数方式に類似した別の方式によ
るサンプリングの様子を示した図。

【符号の説明】

１ ＳＦＬソースファイル ３ 論理検証部 ３３ 動作シミュレータ

───────────────────────────────────────────────────── フロントページの続き (58)調査した分野(Int.Cl.⁶，ＤＢ名) G06F 17/00 ＪＩＣＳＴファイル（ＪＯＩＳ)

Claims (8)

(57)【特許請求の範囲】
1. 【請求項１】 対象の動作を時系列的に検証するシミュ
   レータのためのバックトラッキング方式において、 各々一つのシミュレーションイメージが保存できる複数
   のバッファメモリ手段と、 シミュレーションの実行過程において、サンプリング時
   刻毎に、現時刻のシミュレーションイメージを、前記複
   数のバッファメモリ手段の中から選択した１個に保存す
   るサンプリング手段と、 バックトラッキングポイント時刻の指定を受けて、前記
   バッファメモリ手段に保存されているシミュレーション
   イメージの中から、前記バックトラッキングポイント時
   刻に最も近く且つ以前であるサンプリング時刻を持つシ
   ミュレーションイメージを読み出し、この読み出したシ
   ミュレーションイメージを起点にして、前記バックトラ
   ッキングポイント時刻に向かってシミュレーションを実
   行するバックトラッキング手段と、 を備え、 前記サンプリング手段が、前記現時刻のシミュレーショ
   ンイメージを保存するためのバッファメモリ手段とし
   て、最古のシミュレーションイメージが保存されている
   バッファメモリ手段を選択する バックトラッキング方
   式。
2. 【請求項２】 対象の動作を時系列的に検証するシミュ
   レータのためのバックトラッキング方式において、 各々一つのシミュレーションイメージが保存できる複数
   のバッファメモリ手段と、 シミュレーションの実行過程において、サンプリング時
   刻毎に、現時刻のシミュレーションイメージを、前記複
   数のバッファメモリ手段の中から選択した１個に保存す
   るサンプリング手段と、 バックトラッキングポイント時刻の指定を受けて、前記
   バッファメモリ手段に保存されているシミュレーション
   イメージの中から、前記バックトラッキングポイント時
   刻に最も近く且つ以前であるサンプリング時刻を持つシ
   ミュレーションイメージを読み出し、この読み出したシ
   ミュレーションイメージを起点にして、 前記バックトラ
   ッキングポイント時刻に向かってシミュレーションを実
   行するバックトラッキング手段と、 を備え、 前記サンプリング手段が、保存されているシミュレーシ
   ョンイメージが古いほど前記保存されているシミュレー
   ションイメージ間のサンプリング時刻の間隔が長くなる
   ように、前記現時刻のシミュレーションイメージを保存
   するためのバッファメモリ手段を選択する バックトラッ
   キング方式。
3. 【請求項３】 請求項２記載の方式において、 前記サンプリング手段が、前記現時刻のシミュレーショ
   ンイメージを保存するためのバッファメモリ手段とし
   て、最後に保存が行われたバッファメモリ手段からＮ個
   後のバッファメモリ手段を選択するバックトラッキング
   方式。
4. 【請求項４】 請求項３記載の方式において、 Ｎ＝２であるバックトラッキング方式。
5. 【請求項５】 請求項２記載の方式において、 前記サンプリング手段が、前記現時刻のシミュレーショ
   ンイメージを保存するためのバッファメモリ手段とし
   て、最後に保存が行われたバッファメモリ手段以外のバ
   ッファメモリ手段を選択するバックトラッキング方式。
6. 【請求項６】 請求項２記載の方式において、 前記サンプリング手段が、前記現時刻のシミュレーショ
   ンイメージを保存するためのバッファメモリ手段を選択
   する際、或１つのバッファメモリ手段が次の条件（Ａ）
   及び（Ｂ）、 （Ａ）前記或１つのバッファメモリ手段の１個前のバッ
   ファメモリ手段と１個後のバッファメモリ手段との間の
   サンプリング時間間隔が、前記１個前のバッファメモリ
   手段と更に１個前のバッファメモリ手段との間のサンプ
   リング時間間隔より長くない、 （Ｂ）前記１個前のバッファメモリ手段と前記１個後の
   バッファメモリ手段との間のサンプリング時間間隔が、
   前記１個後のバッファメモリ手段と更に１個後のバッフ
   ァメモリ手段との間のサンプリング時間間隔より短くな
   い、 のうちの少なくとも一方の条件を満たす場合、前記或１
   つのバッファメモリ手段を選択するバックトラッキング
   方式。
7. 【請求項７】 対象の動作を時系列的に検証するシミュ
   レータのためのバックトラッキング方法において、 各々一つのシミュレーションイメージが保存できる複数
   のバッファメモリ手段の中から１個を選択する選択過程
   と、 シミュレーションの実行過程において、サンプリング時
   刻毎に、現時刻のシミュレーションイメージを、前記選
   択した１個のバッファメモリ手段に保存するサンプリン
   グ過程と、 バックトラッキングポイント時刻の指定を受けて、前記
   バッファメモリ手段に保存されているシミュレーション
   イメージの中から、前記バックトラッキングポイント時
   刻に最も近く且つ以前であるサンプリング時刻を持つシ
   ミュレーションイメージを読み出し、この読み出したシ
   ミュレーションイメージを起点にして、前記バックトラ
   ッキングポイント時刻に向かってシミュレーションを実
   行するバックトラッキング過程と、 を備え、 前記選択過程では、最古のシミュレーションイメージが
   保存されているバッファメモリ手段を選択するバックト
   ラッキング方法。
8. 【請求項８】 対象の動作を時系列的に検証するシミュ
   レータのためのバックトラッキング方法において、 各々一つのシミュレーションイメージが保存できる複数
   のバッファメモリ手段の中から１個を選択する選択過程
   と、 シミュレーションの実行過程において、サンプリング時
   刻毎に、現時刻のシミュレーションイメージを、前記選
   択した１個のバッファメモリ手段に保存するサンプリン
   グ過程と、 バックトラッキングポイント時刻の指定を受けて、前記
   バッファメモリ手段に保存されているシミュレーション
   イメージの中から、前記バックトラッキングポイント時
   刻に最も近く且つ以前であるサンプリング時刻を持つシ
   ミュレーションイメージを読み出し、この読み出したシ
   ミュレーションイメージを起点にして、前記バックトラ
   ッキングポイント時刻に向かってシミュレーションを実
   行するバ ックトラッキング過程と、 を備え、 前記選択過程では、保存されているシミュレーションイ
   メージが古いほど前記保存されているシミュレーション
   イメージ間のサンプリング時刻の間隔が長くなるよう
   に、前記現時刻のシミュレーションイメージを保存する
   ためのバッファメモリ手段を選択するバックトラッキン
   グ方法。