JPH11110430A - 論理シミュレーションにおける波形情報表示方式 - Google Patents

Abstract

(57)【要約】 【課題】本発明は、論理シミュレーションにおける電子
回路内部の信号動作状態を波形画面へ信号表示させる際
の信号選択工数を低減させる方式を提供することであ
る。 【解決手段】論理シミュレーションシステムにおいて、
電子回路の信号接続情報を記憶する論理ファイルより信
号接続情報を抽出する第一の抽出手段と、論理シミュレ
ーションにおける信号変化情報を抽出する第二の抽出手
段と、第一、第二の抽出手段により抽出した信号接続情
報と信号変化情報をもとに各信号の接続状況と信号変化
状況を関係する信号に対応づけた信号情報を生成する手
段を用い、抽出した信号接続情報ファイルをもとにして
任意の信号を選択し、その信号に関係する情報を信号情
報より摘出して波形表示させる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、電子回路の動作を
電子計算機上に再現する論理シミュレーション技術に係
り、特に、電子回路の動作確認を効率良く行う方法に関
する。

【０００２】

【従来の技術】設計段階での電子回路の動作を確認する
方法としては、論理シミュレーションが一般に用いられ
ている。論理シミュレーションでは、電子回路の論理接
続情報を格納した論理記述ファイルをもとに、電子回路
の動作を電子計算機上に再現し、該電子回路が設計者の
期待通りの動作となっているかを確認する事により設計
中の論理に不具合があるか否かを検証する。この論理検
証において、期待通りの動作とならないケースが発生し
た場合、論理シミュレーション結果波形による論理シミ
ュレーション実行時の電子回路内の信号動作状態を参照
することによる動作不具合箇所の原因解析が、最も有効
な手段の一つである。この論理シミュレーション結果波
形による動作確認では、どの論理ブロックに不具合が存
在しているかを切り分ける為、論理ブロック間の信号を
波形画面へ表示を行うが、従来の論理シミュレーション
結果から得られる信号一覧リストには、論理ブロック間
の入力、出力、入出力信号名称が順序不同に表示される
為、任意の論理ブロック間の信号に波形画面を表示させ
るには、人手にて入力、出力、入出力信号名称が順序不
同となっている信号一覧リストより電子回路の動作の流
れが判るように入力、出力、入出力の順に信号を一本ず
つ選択を行い表示させる必要がある。また、入出力信号
については、表示されている内容が、入力側の信号であ
るのか、出力側の信号であるのか、入出力信号を見ただ
けで判断がつかない為、入出力区分を決めるＳＥＴ信号
と入力側、出力側の信号も合わせて表示させる必要があ
る。また、不具合となっている特定の論理ブロックが判
明されると次の段階として、論理ブロック内の動作の確
認を行うが、この時もまた、人手にて入力、出力、入出
力名称が順序不同となっている信号一覧リストより一本
ずつ選択を行い表示させる必要がある。また、本発明に
最も近い公知例には、特開平５―２５８００５号公報が
挙げられる。

【０００３】

【発明が解決しようとする課題】上述のように論理シミ
ュレーション結果の電子回路内の信号動作状態を波形画
面へ表示させるには、人手による信号選択が必要であ
り、従来の信号一覧リストからの任意信号を１本ずつの
選択では、信号選択工数が多く掛かる。また、電子回路
の動作の流れを判り易くする為の信号表示を実施してい
る為、多くの工数を必要としていた。本発明の目的は、
この信号選択工数を低減させる手段を提供することにあ
る。

【０００４】

【課題を解決するための手段】上記目的を達成する為
に、本発明は以下のような構成をとっている。

【０００５】（１）論理シミュレーションシステムにお
いて、電子回路の信号接続情報を記憶する論理記述ファ
イルより信号接続情報を抽出する第一の抽出手段と、論
理シミュレーションにおける信号変化情報を抽出する第
二の抽出手段と、前記第一、第二の抽出手段により抽出
した前記信号接続情報と前記信号変化情報により各信号
の接続状況と信号変化状況を関係する信号に対応づけた
信号情報を生成する手段を用い、抽出した信号接続情報
ファイルをもとにして任意信号を選択し、その信号に関
係する情報を前記信号情報より摘出して波形表示させ
る。

【０００６】（２）（１）の場合において、信号情報か
ら摘出する情報を任意のブロックについて選択すること
ができる。

【０００７】（３）（１）、（２）の場合において、信
号情報表示方法として、入力、出力、入出力などの信号
別に表示する。

【０００８】（４）（１）、（２）の場合において、信
号情報表示方法として、信号変化数の多い信号順に表示
する。

【０００９】

【発明の実施の形態】以下、本発明の一実施例を図面に
より詳細に説明する。図１は、電子回路を論理検証する
ための論理シミュレーションシステム構成図である。な
お、本実施例では、図２に示すような、ブロックＡから
Ｃの部分回路を持つＬＳＩを論理シミュレーションする
ものとする。論理記述ファイル１００は、図２に示すよ
うなブロックＡからＣに対応する３つのファイルで構成
されているものとする。テストデータファイル１１０
は、論理シミュレーションのために、電子回路に与えら
れる入力パターンを格納されたファイルでありテスト項
目毎に作成される。論理シミュレーション処理部１２０
は、論理記述ファイル１００とテストデータファイル１
１０を入力として、電子回路の内部状態を求め、結果フ
ァイル１５０に出力する。また、信号接続情報抽出処理
部１３０は、論理記述ファイル１００を入力させた際、
論理記述ファイル１００内のそれぞれのブロックＡ〜Ｃ
ファイルの入力、出力、入出力信号定義部の信号を抽出
し、信号情報抽出結果ファイル１６０を作成する。本実
施例での信号情報抽出の方法を論理記述ファイル１００
内のブロックＡファイルを例に説明する。図３中の３１
０がブロックＡファイルの入力（ＩＮ）、出力（ＯＵ
Ｔ）、入出力（ＩＮＯＵＴ）区分毎の信号定義である。
この部分で記述されているＩＮ定義でのＡＡ１〜ＡＡ
３、ＯＵＴ定義でのＡＣ１、ＡＣ２、ＩＮＯＵＴ定義で
のＡＢ１〜ＡＢ３、ＡＣ３の信号名を取り出し、図４で
示す信号情報抽出結果ファイル内の区分毎に分けた信号
欄４１０に信号名を設定する。また、図３中の３２０が
接続先のブロック名とブロック間信号名の定義である。
ここで定義されているブロック名、ブロックＡ、Ｂ、Ｃ
を図４で示す接続先欄４２０に信号名と対応させてブロ
ック名を設定する。また、図３中の３３０がＩＮＯＵＴ
信号ＡＢ１〜ＡＢ３、ＡＣ３に対する、入出力区分を決
めるＳＥＴ信号とブロック側入力信号、ブロック側出力
信号の定義部である。この３３０定義部より入出力信号
のＳＥＴ信号と関連信号（ブロック側入力、出力信号）
を、図４で示すＳＥＴ信号欄４３０にＳＥＴ信号、関連
信号欄４４０、及び、関連信号欄４５０に入出力信号と
対応付けて関連信号を設定する。次に信号変化情報抽出
処理部１４０について説明する。信号変化情報抽出処理
部１４０は、論理シミュレーション実行時の信号変化状
態の情報を次のようにして求める。電子回路内の全ての
信号線毎にカウンタを備えておき、信号線の値が０から
不定値（Ｘ）または、ハイ・インピーダンス値（Ｚ）、
１から不定値（Ｘ）または、ハイ・インピーダンス値
（Ｚ）、不定値（Ｘ）または、ハイ・インピーダンス値
（Ｚ）から０、不定値（Ｘ）または、ハイ・インピーダ
ンス値（Ｚ）から１への変化毎に各信号毎に備えてある
カウンタに＋１させておき、論理シミュレーション終了
時にその各信号のカウント値を図４で示す信号変化欄４
６０に設定する。これで信号情報抽出が全て終了とな
る。次に論理シミュレーション実行後の結果確認作業で
の波形確認作業について説明する。論理シミュレーショ
ンの結果に不具合がある事が判明すると電子回路の内部
状態を波形画面に表示させる波形表示作業となる。波形
表示処理部１７０が、論理シミュレーション結果波形を
表示させる処理部である。この波形表示処理部１７０
は、結果ファイル１５０と信号情報抽出結果ファイル１
６０、及び、波形表示入出力装置１９０からの入力指定
情報を入力情報とする。論理設計者は、まず、参照した
い論理ブロック名または、信号名を論理回路図より求
め、波形表示入出力装置１９０より論理ブロック名また
は、論理ブロックに属する一信号名を設定する。本実施
例では、まず、論理ブロック名Ａを設定した場合につい
て説明する。波形表示入力処理部１８０では、設定され
たブロック名Ａを認識し、信号情報抽出結果ファイル１
６０よりブロック名Ａが対象となる接続先ブロック名を
ブロック接続情報として、波形表示入出力装置１９０よ
り図５のように表示させる。論理設計者は、この図５で
示す選択番号１〜５の中から表示させたい信号を含む選
択番号を波形表示入出力装置１９０より任意に選択する
ことで、信号情報抽出結果ファイル１６０から選択した
内容に対応するブロック信号を結果ファイル１５０とリ
ンクさせて波形表示入出力装置１９０に表示させる。本
実施例では、選択番号１を選択した結果を図６に示す。
図６は、信号情報抽出結果ファイル１６０のブロック名
Ａで示す、ＩＮ（入力）、ＯＵＴ（出力）、ＩＮＯＵＴ
（入出力）区分より信号名の表示を行い、かつ区分の中
でも信号変化数の多い信号を上から順番に表示を行わせ
ている。また、論理ブロック間信号に影響を与える信号
については、入出力区分を判定するＳＥＴ信号及び、関
連信号のことを示し、図６では、区分欄ＩＮＯＵＴで示
すブロック間信号ＡＣ３、ＳＥＴ信号ＳＥＴＡＡＣ３、
ブロック側出力信号ＯＡＡＣ３、ブロック側入力信号Ｉ
ＡＡＣ３の順に表示を行わせている。また、論理ブロッ
クに属する一信号名を設定した場合について説明する。
本実施例では、論理ブロックＡのＡＡ１を設定したこと
とする。波形表示入力処理部１８０では、波形表示入出
力装置１９０より設定されたＡＡ１を認識し、信号情報
抽出結果ファイル１６０よりＡＡ１が存在する論理ブロ
ックを検索後、論理ブロック名設定時と同様に、対象と
なる接続先ブロック名をブロック接続情報として、波形
表示入出力装置１９０より図５のように表示させる。以
下、波形画面への表示手順は論理ブロック名設定時と同
じである。図７は、図１での論理シミュレーションにお
ける波形表示方式の動作を示す処理フローである。７０
１〜７０３は、信号接続情報の抽出の為の処理フローで
ある。７０４〜７０６は、信号変化情報の抽出の為の処
理フローである。７０７〜７１２は、論理シミュレーシ
ョン結果の確認及び、波形画面への信号出力までの処理
フローである。

【００１０】

【発明の効果】本発明によれば、論理ブロック名また
は、論理ブロックに属する一信号名を指定することで、
その指定内容に対応した論理ブロックに接続させている
全ての信号または、選択した任意の論理ブロックの信号
を自動的に波形画面に表示させる事が出来る。また、入
力、出力、入出力信号を区分させて波形画面に自動的に
表示させることが出来る為、論理シミュレーションにお
ける電子回路内部の信号動作状態の波形画面への信号選
択工数を低減することができる。

【図面の簡単な説明】

【図１】論理シミュレーションのシステム構成図。

【図２】論理シミュレーション対象のＬＳＩの説明。

【図３】論理記述ファイルの説明。

【図４】信号情報抽出結果ファイルの説明。

【図５】波形画面への表示ブロック接続情報ファイルの
説明。

【図６】波形画面表示例。

【図７】論理シミュレーションにおける波形情報表示方
式の処理フロー。

【符号の説明】

１００…論理接続情報ファイル、 １１０…テスト
データファイル、１２０…論理シミュレーション処理
部、１３０…信号接続情報抽出処理部、１４０…信号変
化情報抽出処理部、 １５０…結果ファイル、１６０
…信号情報抽出結果ファイル、 １７０…波形表示処理
部、１８０…波形表示入力処理部、 １９０…波
形表示入出力装置、７００〜７１２…論理シミュレーシ
ョンにおける波形情報表示方式の処理フロー。

Claims (4)

【特許請求の範囲】
1. 【請求項１】電子回路の信号接続情報を記憶する論理記
   述ファイルをもとに前記電子回路の動作を電子計算機上
   に再現する論理シミュレーションを実行する論理シミュ
   レーションシステムにおいて、 前記信号接続情報を前記論理記述ファイルより抽出する
   第一の抽出手段と、 前記論理シミュレーションにおける信号変化情報を抽出
   する第二の抽出手段と、 前記第一、第二の抽出手段により抽出した前記信号接続
   情報と前記信号変化情報により各信号の接続状況と信号
   変化状況を関係する信号に対応づけた信号情報を生成す
   る手段と、 任意の信号を選択しその信号に関係する情報を前記信号
   情報より摘出して波形表示させる表示入力処理手段を有
   する波形情報表示方式。
2. 【請求項２】上記波形情報表示方式において信号情報よ
   り摘出する情報が、 任意の論理ブロックに関連する情報である波形情報表示
   方式。
3. 【請求項３】請求項１、請求項２の前記表示入力処理手
   段の信号情報表示方法として、 入力、出力、入出力などの信号別に表示することを特徴
   とする論理シミュレーションにおける波形情報表示方
   式。
4. 【請求項４】請求項１、請求項２の前記表示入力処理手
   段の信号情報表示方法として、 信号変化数の多い信号順に表示することを特徴とする論
   理シミュレーションにおける波形情報表示方式。