JPH06176096A - 論理シミュレーション再実行方法および装置 - Google Patents

Abstract

(57)【要約】 【目的】 論理回路の設計において、回路の部分的修正
を行いながら、繰り返し論理シミュレーションを行って
いく場合に、前回までの結果を入力データの一部として
利用し、論理シミュレーションの効率化を図ることであ
る。 【構成】 利用者が指定した修正回路範囲を認識し、そ
れをもとに前回のシミュレーション結果を利用可能な部
分回路を求め、前記部分回路の入力信号の前回の論理シ
ミュレーションにおける信号変化を入力パターンとみな
して、論理シミュレーションを実行する論理シミュレー
ション再実行装置であって、部分回路認識部１０３と、
再検証範囲算出部１０５と、信号接続情報ファイル１０
６と、シミュレーション結果ファイル１０７と、再論理
シミュレーション制御部１１０などとにより構成され、
論理回路の一部の再検証を行う。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路の再論理シミ
ュレーションの方法に関し、部分回路を再論理シミュレ
ーションする技術に適用して有効な技術に関する。

【０００２】

【従来の技術】たとえば、論理回路を部分的に修正する
場合の確認のためのシミュレーション方法としては、全
体回路のシミュレーションを再度実行する方法がある。

【０００３】また、その他の方法としては、特開昭６３
ー１４５５４９号公報に記載されているように、あらか
じめ指定された論理ブロックの入力信号の信号変化をシ
ミュレーション結果ファイルに記憶しておき、修正した
論理ブロック内部の論理シミュレーションを行う場合
に、以前に実行されたシミュレーション結果を利用して
再シミュレーションを行う方法がある。

【０００４】

【発明が解決しようとする課題】ところが、前記のよう
な従来技術においては、設計中の回路の論理シミュレー
ションを実施する場合、論理回路を部分的に修正したと
き、回路全体の論理シミュレーションを繰り返し実施す
ると実行時間が長時間となり、部分回路の機能の確認に
は、効率が悪いという欠点がある。

【０００５】また、あらかじめ指定された論理ブロック
の入力信号の信号変化を次回の論理シミュレーションの
入力として用いる方法では、利用者が論理を修正した部
分回路がどの論理ブロックに属するかを各々考慮する必
要があるという欠点もある。

【０００６】さらに、分割された論理ブロックが大きい
場合、たとえばブロック内部に観測信号線があったとし
ても、その信号変化結果を有効に利用することができな
いので、前回の論理シミュレーション結果を利用しても
長時間のシミュレーションとなってしまうという問題点
がある。

【０００７】そこで、本発明の目的は、論理回路の設計
において、回路の部分的修正を行いながら、繰り返し論
理シミュレーションを行っていく場合に、前回までの結
果を入力データとして利用し、論理シミュレーションの
効率の良い論理シミュレーション再実行方法および装置
を提供することにある。

【０００８】本発明の前記並びにその他の目的と新規な
特徴は、本明細書の記述および添付図面から明らかにな
るであろう。

【０００９】

【課題を解決するための手段】本願において開示される
発明のうち、代表的なものの概要を簡単に説明すれば、
下記のとおりである。

【００１０】すなわち、本発明の論理シミュレーション
再実行方法および装置は、表示装置上に表示されたシミ
ュレーション対象の論理回路に対し、利用者が入力装置
によって回路を部分的に修正し、シミュレーションを再
度実行して検証する論理シミュレーション再実行方法で
あって、指定した部分回路を認識し、前記部分回路の入
力信号、出力信号を前回のシミュレーション結果から抽
出するものである。

【００１１】また、利用者が表示装置上に表示された回
路図に対し指定した修正範囲をもとに、以前に実施され
たシミュレーション結果にて、信号値が記憶された信号
線に囲まれた部分まで再検証対象範囲を拡張することに
より、部分的シミュレーションが可能な範囲を最小限に
特定するものである。

【００１２】さらに、論理シミュレーションを再実行す
る際、利用者が入力装置から指定した回路範囲をもと
に、最小限の再検証対象範囲を求め、前記範囲の切り口
信号における前回のシミュレーション結果の信号を入力
して論理シミュレーションを行うものである。

【００１３】また、表示装置上に表示されたシミュレー
ション対象の論理回路に対し、利用者が入力装置によっ
て回路を部分的に修正し、シミュレーションを再度実行
して検証する論理シミュレーション再実行装置であっ
て、設計者が指定した部分回路を認識し、入力、出力信
号を抽出する部分回路認識手段と、該部分回路の情報を
もとに以前のシミュレーション結果を利用して、再度シ
ミュレーション可能な範囲を求める再検証範囲算出手段
と、論理シミュレーションの繰り返し実行を制御する手
段とを備えるものである。

【００１４】

【作用】前記した論理シミュレーション再実行方法およ
び装置によれば、論理回路を表示し、利用者が指定した
修正回路範囲を認識し、それをもとに前回のシミュレー
ション結果を利用可能な最小の部分回路を求めることが
できる。

【００１５】さらに、求められた部分回路の入力信号の
前回の論理シミュレーションにおける信号変化を抽出
し、それを入力パターンとみなして論理シミュレーショ
ンを実行し、その結果を出力することができる。

【００１６】これにより、回路修正後の論理シミュレー
ションによる回路の検証の際、前回の実行結果を利用で
き、さらに検証対象範囲を最小限に狭めることにより、
短い処理時間で効率的な論理回路の検証を行うことがで
きる。

【００１７】

【実施例】図１は本発明の一実施例である論理シミュレ
ーション再実行装置の構成を示す概略説明図、図２は本
発明の一実施例における論理回路修正部分の指定方法を
示す概略説明図、図３は本発明の一実施例における信号
接続情報ファイルのデータ構造を示す概略説明図、図４
は本発明の一実施例におけるシミュレーション結果ファ
イルのデータ構造を示す概略説明図、図５は本発明の一
実施例における前回シミュレーション結果利用可能範囲
を示す概念図、図６は本発明の一実施例における前回シ
ミュレーション結果利用可能範囲の求め方を示すフロー
チャート図、図７は本発明の一実施例における再シミュ
レーション制御部の動作を示すフローチャート図、図８
は本発明の一実施例における論理シミュレーション再実
行方法の動作を示すフローチャート図である。

【００１８】まず、図１により、本発明の一実施例であ
る論理シミュレーション再実行装置の構成を説明する。

【００１９】本実施例の論理シミュレーション再実行方
法および装置は、たとえば利用者が論理シミュレーショ
ンを実施している途中で論理回路の変更を行った際に、
指定された変更範囲をもとに、再検証可能な回路範囲を
自動的に求め、それより以前に実行された論理シミュレ
ーション結果の入力パターンを自動的に作成し、論理シ
ミュレーションの再実行を行う論理シミュレーション再
実行方法および装置とされている。

【００２０】この論理シミュレーション再実行装置にお
いては、入出力の制御を行う入出力制御装置１０１と、
作成された再検証範囲により論理シミュレーションを行
う論理シミュレーション実行部１０２と、利用者が入力
した論理回路の変更範囲から、前記回路を部分回路とし
た場合の入力信号、出力信号を求め、信号接続情報ファ
イル１０６にその情報を格納する部分回路認識部１０３
と、論理シミュレーションの結果を入出力制御装置１０
１を介して表示するシミュレーション結果表示部１０４
と、前記部分回路の情報をもとに、その回路拡大範囲を
拡張させていくことにより、前回のシミュレーション結
果を利用できる検証範囲を作成する再検証範囲算出部１
０５と、論理シミュレーションの対象回路情報を格納す
る信号接続情報ファイル１０６と、入出力制御装置１０
１を介して対象回路図面を表示する表示装置１０８と、
シミュレーション結果ファイル１０７と、論理シミュレ
ーションや再シミュレーション実行のコマンド、論理回
路の変更、回路範囲の指定を受け付ける入力装置１０９
と、再論理シミュレーション制御部１１０とにより構成
されている。

【００２１】そこで、図２により表示装置１０８に表示
されたシミュレーション対象回路を示す。このシミュレ
ーション対象回路は、信号線２０２、および論理素子２
０３からなり、利用者は入力装置（キーボード、マウス
等）１０９を使い、論理回路の修正範囲２０１を指定す
る。

【００２２】本実施例では、利用者が修正範囲２０１の
入力側の信号名、出力側の信号名を変えずに内部の論理
を変更したと仮定して、以下説明する。

【００２３】また、図３により信号接続情報ファイル１
０６のデータ構造を説明する。

【００２４】素子テーブル３０１は、対象回路内の素子
を格納したテーブルであり、素子名称、素子の座標、ピ
ン数、対応するピンテーブル３０２のアドレスを有して
いる。ピンテーブル３０２は、各素子のピン全てについ
て、ピン番号、座標、入出力区分、対応する素子テーブ
ル３０１のアドレス、信号テーブル３０３のアドレスを
格納している。

【００２５】従って、各ピンから、そのピンの所属する
素子および接続する信号名をたどることができる。

【００２６】また、信号テーブル３０３には、対象回路
の全ての信号名と対応するリンクテーブル３０４のアド
レスが格納されている。リンクテーブル３０４は、ピン
テーブル３０２のアドレスを持っており、信号名からそ
れに接続するピン全てがたどれる。

【００２７】そして、図４によりシミュレーション結果
ファイル１０７のデータ構造を説明する。

【００２８】このシミュレーション結果ファイル１０７
は、シミュレーション実行中に信号値を記憶するよう利
用者が指定した観測信号テーブル４０１と、時刻テーブ
ル４０２と、前記信号値の格納テーブルである信号値テ
ーブル４０３とからなる。

【００２９】そして、観測信号テーブル４０１は、観測
信号の信号テーブルアドレスを格納したものであり、前
記テーブルには、利用者が観測を指示した信号と該対象
回路の切り口信号のアドレスが格納されている。

【００３０】また、時刻テーブル４０２は、イベントが
発生した時刻と信号値テーブル４０３のアドレスを有し
ている。

【００３１】信号値テーブル４０３は、観測信号アドレ
スとその信号値を持っており、時刻テーブル４０２のあ
る時刻からこのテーブルをたどり、継続ポインタにて繰
り返す分だけ観測信号にイベントが発生し、その信号値
がどう変化したかが表現されている。このテーブル群を
たどることにより、各時刻ごとの信号変化を知ることが
できる。

【００３２】そして、図５により本実施例にて扱う対象
回路とその適用概念を示し、論理回路中の素子５１〜５
７と、それらの間の線である信号線よりなる。

【００３３】信号線のうち黒ぬり三角印のついた信号
は、論理シミュレーション実行前に利用者が観測信号５
０１〜５０８として指定したものである。

【００３４】また、修正範囲５１０は、論理シミュレー
ション実行後に、利用者が論理回路の修正を行い、論理
修正範囲として指定した部分である。本実施例では、前
記修正範囲５１０をもとに、再検証範囲５１１を求めて
再度論理シミュレーションを行う。

【００３５】そして、再検証範囲５１１は、これを１つ
の部分回路とみなしたとき、入力信号がすべて観測信号
によって構成されているものである。

【００３６】従って、修正範囲５１０を再検証範囲５１
１に拡張することにより、前回のシミュレーション結果
（観測信号の信号変化）を利用した再シミュレーション
が可能となる。

【００３７】次に、図６により再検証範囲算出部１０５
の処理手順のうち、入力信号を求める処理手順を説明す
る。

【００３８】そこで、与えられた修正範囲の入力信号す
べてについて以下の処理を行うものとする。

【００３９】まず、ステップ６０１では、与えられた部
分回路の修正範囲において、入力信号があるかどうか確
認する。入力信号がある場合には、ステップ６０２の修
正範囲の入力信号の取り出しを行い、入力信号がない場
合には処理を終了する。

【００４０】次に、ステップ６０２では、正常動作しな
かった部分回路の入力信号を１個取り出す。

【００４１】そして、ステップ６０３では、ステップ６
０２にて取り出した入力信号が、観測信号テーブル４０
１にあるか前記観測信号テーブル４０１をサーチし、確
認する。前記観測信号テーブル４０１にある場合、およ
び該信号が回路の切り口信号である場合には、ステップ
６０４の再検証範囲の入力ピンとしてテーブル（図示せ
ず）に登録する。

【００４２】また、ない場合には、ステップ６０５のリ
ンクテーブル３０４を介しピンテーブル３０２の参照を
行う。

【００４３】そして、ステップ６０４では、前記入力信
号が再検証範囲の入力切り口信号として登録される。そ
して、ステップ６０１の次の入力信号があるかの確認処
理へ戻る。

【００４４】次に、ステップ６０５では、リンクテーブ
ル３０４を介し、ピンテーブル３０２を参照する。

【００４５】さらに、ステップ６０６では、求めたピン
の入出力区分により、出力ピンか判断し、出力ピンの場
合には、ステップ６０７の素子テーブル３０１を介し、
入力ピンをサーチし、出力ピンでない場合には、ステッ
プ６０５のピンテーブル３０２を参照へ戻る。

【００４６】そして、ステップ６０７では、素子テーブ
ル３０１を介し入力ピンをさがし、ステップ６０３の観
測信号テーブル４０１にあるかの確認へ戻る。

【００４７】また、出力信号についても同様の処理（出
力側への拡大）を行い、再検証範囲の出力信号を求め
る。

【００４８】次に、図７により再論理シミュレーション
制御部１１０の処理手順を説明する。

【００４９】まず、ステップ７０１では、時刻をゼロに
セットする。

【００５０】次に、ステップ７０２では、シミュレーシ
ョン時間が終了かの判断をし、終了の場合には、ステッ
プ７０８の入力データテーブル（図示せず）から信号伝
幡処理を行い、終了でない場合には、ステップ７０３の
該時刻における変化信号の取り出しを行う。

【００５１】そして、ステップ７０３では、各時刻にお
いて、シミュレーション結果ファイル１０７から変化信
号を取り出す。

【００５２】さらに、ステップ７０４では、取り出す信
号が終了かの判断を行い、終了の場合には、ステップ７
０７の時刻を進める処理を行い、終了でない場合には、
ステップ７０５の再検証範囲の入力信号かの判断をす
る。

【００５３】ステップ７０５では、これを再検証範囲の
入力信号を格納したテーブル（図示せず）と比較し、再
検証範囲の入力信号ならば、ステップ７０６のその時刻
と該信号の信号値を入力パターンとして入力データテー
ブルに登録処理を行う。また、入力信号でない場合に
は、ステップ７０３の信号の取り出し処理へ戻る。

【００５４】そして、ステップ７０６では、該信号の信
号値を入力データテーブルに登録する。

【００５５】次に、ステップ７０７では、該時刻の変化
信号全てについて処理が終了すると時刻を進める。

【００５６】そこで、終了時刻までステップ７０２から
ステップ７０７を繰り返す。

【００５７】次に、ステップ７０８では、論理シミュレ
ーション実行部１０２により通常の論理シミュレーショ
ンと同様の処理を行い、時刻ごとに、まず、入力データ
テーブルの内容を修正範囲の入力信号に入力し、前記信
号の伝幡を行う。

【００５８】さらに、ステップ７０９では、ゲートの計
算を行う。

【００５９】そして、ステップ７１０では、前記ステッ
プ７０９の結果をシミュレーション結果ファイル１０７
に格納する。

【００６０】最後に、ステップ７１１では、シミュレー
ション時間終了か判断し、シミュレーション時間終了の
場合には、全ての処理を終了し、シミュレーション時間
終了でない場合には、ステップ７０８の入力データテー
ブルから信号伝幡処理へ戻る。

【００６１】また、利用者は、前記シミュレーション結
果ファイル１０７をシミュレーション結果表示部１０４
にて確認することにより、修正した論理回路の動作確認
を行うことができる。

【００６２】次に、本実施例の論理シミュレーション再
実行装置の動作を図８を用いて説明する。

【００６３】まず、ステップ８０１では、利用者は、設
計した論理回路を検証するために、論理シミュレーショ
ンを実行する。

【００６４】次に、ステップ８０２では、前記論理シミ
ュレーション結果が正しいかを確認する。正しい場合に
は、すべての処理を終了し、正しくない場合には、ステ
ップ８０３の論理回路図修正を行う。

【００６５】そして、ステップ８０３では、正しく動作
しなかった論理回路の一部を修正する。

【００６６】さらに、ステップ８０４では、表示装置１
０８に表示された図面を入力装置（キーボード、マウス
など）１０９を用いて、修正範囲を指定する。

【００６７】そして、ステップ８０５では、部分回路認
識部１０３により指定された修正範囲を部分回路とみな
した場合の入力信号線、出力信号線を求める。

【００６８】次に、ステップ８０６では、再検証範囲算
出部１０５により再検証範囲を求める。

【００６９】そして、ステップ８０７では、再論理シミ
ュレーション制御部１１０により、再検証範囲の論理シ
ミュレーションが実行される。

【００７０】次に、ステップ８０２の論理シミュレーシ
ョン結果の確認へ戻り、利用者は前記結果により検証を
終了するか、さらに回路を修正するかを判断する。

【００７１】従って、本実施例の論理シミュレーション
再実行方法および装置によれば、論理シミュレーション
の結果、部分的に正しくない論理回路が存在する場合
に、前記部分回路より再度論理シミュレーションを実行
するための再検証範囲を算出し、前回のシミュレーショ
ン結果の信号値を用い、再度論理シミュレーションを行
うことができる。

【００７２】以上、本発明者によってなされた発明を実
施例に基づき具体的に説明したが、本発明は前記実施例
に限定されるものでなく、その要旨を逸脱しない範囲で
種々変更可能であることは言うまでもない。

【００７３】

【発明の効果】本願において開示される発明のうち、代
表的なものによって得られる効果を簡単に説明すれば、
下記のとおりである。

【００７４】すなわち、本発明の論理シミュレーション
再実行方法によれば、論理シミュレーションシステム利
用者が論理回路の一部を修正した後、再度論理シミュレ
ーションを実行する場合、回路の修正範囲を図面上で指
定するだけで、回路全体の論理シミュレーションを再度
実行しなくとも、前回の論理シミュレーション結果を利
用して前記論理回路の一部の動作を効率良く確認でき
る。

【００７５】この結果、論理シミュレーション再実行時
間の大幅な短縮、および人手の介入を減らすことができ
る。

【図面の簡単な説明】

【図１】本発明の一実施例である論理シミュレーション
再実行装置を示す構成図である。

【図２】本発明の一実施例における論理回路修正部分の
指定方法を示す概略説明図である。

【図３】本発明の一実施例における信号接続情報ファイ
ルのデータ構造を示す概略説明図である。

【図４】本発明の一実施例におけるシミュレーション結
果ファイルのデータ構造を示す概略説明図である。

【図５】本発明の一実施例における前回シミュレーショ
ン結果利用可能範囲を示す概念図である。

【図６】本発明の一実施例における前回シミュレーショ
ン結果利用可能範囲の求め方を示すフローチャート図で
ある。

【図７】本発明の一実施例における再シミュレーション
制御部の動作を示すフローチャート図である。

【図８】本発明の一実施例である論理シミュレーション
再実行装置の動作を示すフローチャート図である。

【符号の説明】

５１〜５７ 論理回路中の素子 １０１ 入出力制御装置 １０２ 論理シミュレーション実行部 １０３ 部分回路認識部 １０４ シミュレーション結果表示部 １０５ 再検証範囲算出部 １０６ 信号接続情報ファイル １０７ シミュレーション結果ファイル １０８ 表示装置 １０９ 入力装置 １１０ 再論理シミュレーション制御部 ２０１ 修正範囲 ２０２ 信号線 ２０３ 論理素子 ３０１ 素子テーブル ３０２ ピンテーブル ３０３ 信号テーブル ３０４ リンクテーブル ４０１ 観測信号テーブル ４０２ 時刻テーブル ４０３ 信号値テーブル ５０１〜５０８ 観測信号 ５１０ 修正範囲 ５１１ 再検証範囲

Claims (4)

【特許請求の範囲】
1. 【請求項１】 表示装置上に表示されたシミュレーショ
   ン対象の論理回路に対し、利用者が入力装置によって回
   路を部分的に修正し、シミュレーションを再度実行して
   検証する論理シミュレーション再実行方法であって、指
   定した部分回路を認識し、前記部分回路の入力信号、出
   力信号を前回のシミュレーション結果から抽出すること
   を特徴とする論理シミュレーション再実行方法。
2. 【請求項２】 利用者が表示装置上に表示された回路図
   に対し指定した修正範囲をもとに、以前に実施されたシ
   ミュレーション結果にて、信号値が記憶された信号線に
   囲まれた部分まで再検証対象範囲を拡張することによ
   り、部分的シミュレーションが可能な範囲を最小限に特
   定することを特徴とする請求項１記載の論理シミュレー
   ション再実行方法。
3. 【請求項３】 論理シミュレーションを再実行する際、
   利用者が入力装置から指定した回路範囲をもとに、請求
   項２の方法により求めた再検証対象範囲の切り口信号に
   おいて、該当する前回シミュレーション結果の信号を入
   力して論理シミュレーションを行うことを特徴とする請
   求項１記載の論理シミュレーション再実行方法。
4. 【請求項４】 表示装置上に表示されたシミュレーショ
   ン対象の論理回路に対し、利用者が入力装置によって回
   路を部分的に修正し、シミュレーションを再度実行して
   検証する論理シミュレーション再実行装置であって、設
   計者が指定した部分回路を認識し、前記部分回路に対す
   る前回のシミュレーション結果より、入力、出力信号を
   抽出する部分回路認識手段と、該部分回路の情報をもと
   に以前のシミュレーション結果を利用して、再度シミュ
   レーション可能な範囲を求める再検証範囲算出手段と、
   論理シミュレーションの繰り返し実行を制御する手段と
   を備えることを特徴とする論理シミュレーション再実行
   装置。