JPH07105256A - 論理シミュレーション方式 - Google Patents

Abstract

(57)【要約】 【目的】そこで、本発明の目的は、２つの等価であるべ
き論理回路の等価性検証及び相違点の摘出を論理シミュ
レーションを用いて実施する場合に、必ずしも２つの回
路が同じ範囲の部分回路に分割されている必要はなく、
論理シミュレータでの結果を利用して不良摘出の支援を
行なうことである。 【構成】対象となる２つの論理回路のシミュレーション
結果から共通の観測点群に対し、結果の異なる点を摘出
する。さらに結果の異なる点から入力端子側へ信号追跡
を行ない、論理不良付近の観測点を限定する。 また、
上記限定に基づいて論理修正を行なった場合、結果不一
致を起こさなかった正常点の結果を利用して修正の確認
を行なう。 【効果】本発明によれば、論理シミュレーションシステ
ム利用者が、２つの等価であるべき回路を比較検証する
場合、２つのシミュレーション結果を利用して不良箇所
の限定を行ない、さらに回路全体のシミュレーション結
果比較を行なわずにその修正を効率良く確認できる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路の論理シミュ
レーションを利用して等価な回路を持った論理回路の検
証及び不良箇所の修正を支援する方式に関する。

【０００２】

【従来の技術】従来、論理回路を異なる記法に変換した
場合、または部分的に修正した場合の確認方法としては
次のような方法があげられる。

【０００３】（１）２つの対象論理の等価性を論理比較
によって検証する。

【０００４】（２）２つの論理に同一のテストパタンを
与え、シミュレーション結果を比較する。

【０００５】（２）の方法を行ない、不一致が起こった
時の解析を支援する方式として以下のような方式が考え
られている。

【０００６】（ａ）２つの論理のシミュレーション結果
に不一致があった場合、その論理素子に影響する全素子
を求め、その状態を表示する。(例えば、特許公開番号
平02-294840) （ｂ）部分毎に分割された２つの論理回路のシミュレー
ション結果から不一致の部分回路を指摘し、再シミュレ
ーションを行なう。(例えば、特許公開番号 平01-2925
79)

【０００７】

【発明が解決しようとする課題】上記従来技術は、以下
のような問題があった。

【０００８】前節（ａ）のようにシミュレーション結果
に不一致のあった場合にその論理素子に影響する全素子
とその状態を表示する方法では、対話的なデバッグには
適するが、大規模データの実行や、不良の多いデバッグ
の初期段階には向かない。また、（ｂ）の方法は、２つ
のシミュレーション対象回路が同じ範囲の部分回路に分
割されている必要があるため、一方が機能レベルの論理
記述で、もう一方が詳細化された論理であり、そのグル
ープ境界が取り外されていた場合には指摘できない。

【０００９】そこで、本発明の目的は、２つの等価であ
るべき論理回路の等価性検証及び相違点の摘出を論理シ
ミュレーションを用いて実施する場合に、必ずしも２つ
の回路が同じ範囲の部分回路に分割されている必要はな
く、論理シミュレータでの結果を利用して不良摘出の支
援を行なうことである。

【００１０】

【課題を解決するための手段】上記目的を達成するため
に、本発明では、論理シミュレーションを実行する手段
と、論理シミュレーション結果を表示する手段と、論理
シミュレーション結果を比較する手段と、シミュレーシ
ョン結果の違う観測点を摘出する手段と、摘出された観
測点から信号追跡を行ない、不良候補の信号観測点を限
定する手段と、正常観測点のシミュレーション結果をを
用いて修正を確認する手段を備えている。

【００１１】

【作用】前記の論理シミュレーション方法によれば、対
象となる２つの論理回路のシミュレーション結果から共
通の観測点群に対し、結果の異なる点を摘出することが
できる。

【００１２】さらに結果の異なる点から入力端子側へ信
号追跡を行ない、論理不良付近の観測点を限定すること
ができる。

【００１３】また、上記限定に基づいて論理修正を行な
った場合、結果不一致を起こさなかった正常点の結果を
利用して修正の確認を行なうことができる。

【００１４】

【実施例】以下、本発明の一実施例を図面を用いて具体
的に説明する。

【００１５】本発明の実施例は、利用者が論理回路の設
計において、機能レベルの記述（回路１）とゲートレベ
ルの記述（回路２）を作成する場合、それらの等価性を
確認するために論理シミュレーション行ない、それが不
一致だった場合、対象回路内の不良に近い観測点を表示
する機能を持ったシステムを例に説明する。ここでは、
ゲートレベルの記述（回路２）を被検証対象とする。

【００１６】図１は、本システムの構成図である。論理
シミュレーションの対象回路の情報は、信号接続情報フ
ァイル１０９に格納されている。表示装置１０１は入出
力制御装置１０３を介して、回路入力表示部１０４によ
り対象回路の図面を表示する。論理シミュレーション結
果は、論理シミュレーション実行部１０５による論理シ
ミュレーション実行後に、シミュレーション結果ファイ
ル１１０に格納される。これは、シミュレーション結果
表示部１０６によって、入出力制御装置１０３を介し、
表示装置１０１へ表示する。シミュレーション結果比較
部１０７は、２つの等価であるべき論理回路のシミュレ
ーション結果ファイル１１０を２つ入力し、波形の比較
を実施する。比較方法としては、クロック信号等を基準
とした各周期の定点での比較等がある。比較結果は、比
較結果ファイル１１１に格納される。不良観測点限定部
１０８は、比較結果ファイル１１１を基に各観測点のう
ち、不一致となった点を抽出し、シミュレーション対象
回路中の不良箇所に近い観測点を限定し、その周辺の正
常観測点と共に不良観測点ファイル１１２に格納され
る。確認シミュレーション制御部１１３は、不良観測点
ファイル１１２に格納された情報を基に再度シミュレー
ションを実施する範囲を定め、正常観測点の信号値から
シミュレーション結果ファイル１１０を用いてテストデ
ータを作成し、シミュレーション実行部１０５を起動
し、その結果をシミュレーション結果ファイル１１０に
格納された回路１の前回のシミュレーション結果と比較
する。

【００１７】図２は比較を行なう機能レベル記述とゲー
トレベル記述を表した図である。機能ブロック２０１
は、機能で表現された組合せ論理ブロックを表してい
る。○は、機能レベル、ゲートレベル共通のシミュレー
ション観測信号である。各々の観測信号について比較を
行ない、不一致のある信号からより不良箇所に近い観測
点を限定する。

【００１８】図３は、信号接続情報を表現したテーブル
群である。素子テーブル３０１は対象回路内の素子を格
納したテーブルで、素子名称、素子の座標、ピン数、対
応するピンテーブル３０２のアドレスを持っている。ピ
ンテーブル３０２は、各素子のピンすべてについて、ピ
ン番号、座標、入出力区分、対応する素子テーブル３０
１のアドレス、信号テーブル３０３のアドレスを格納し
ている。従って、各ピンから、そのピンの所属する素子
及び接続する信号名をたどることができる。信号テーブ
ル３０３には対象回路のすべての信号と対応する対応す
るリンクテーブル３０４のアドレスが格納されている。
リンクテーブル３０４はピンテーブルのアドレスを持っ
ており、信号名からそれに接続するすべてのピンがたど
れる。

【００１９】図４は、論理シミュレーション結果ファイ
ルのデータ構造を表したものである。これは、観測信号
テーブル４０１には使用者が観測することを指定した信
号の信号テーブル３０３上のアドレスが格納されてい
る。図２のような機能記述とゲートレベル記述の比較を
考えた場合、機能記述における機能ブロックの切口信号
が格納されていることも考えられる。イベントテーブル
４０２は、各信号に対する信号変化の来歴が格納されて
いる。このテーブルをたどることにより、各信号線の各
時刻における信号値を知ることができる。

【００２０】図５は、対象回路の概念を表した図であ
る。５１１，５１２は論理素子を表している。５０１か
ら５０８の▽、▼は、シミュレーション観測信号を表し
ており、▽は、機能レベル、ゲートレベルで結果が一致
した信号、▼は不一致信号である。本発明は、この不一
致信号の中から論理不良箇所に近いものを限定すること
が目的である。

【００２１】図６は、不良観測点限定部１０８の処理手
順を表したものである。比較結果から、不一致信号すべ
てについて以下の処理を行なう。

【００２２】（１）図３に示した信号接続情報テーブル
をたどり、入力側へ信号をトレースする。（６０３） （２）観測信号に到達し、それが不一致観測点であった
場合、該観測信号を不良観測信号線候補から削除する。
（６０５，６０６，６０７） 不一致観測点でなかった場合、正常点としてリストへ登
録する。（６０８） （３）不一致観測信号のうち削除されなかった信号を不
良観測信号として保存する（６０９） 図５を用いて説明すると、信号トレースはすべての▼に
ついて行なわれ、この処理手順を実行した後は、５０３
と５０６が観測点として限定される。また、正常点リス
トには５０１，５０２，５０３，５０４，５０９，５１
０が登録される。

【００２３】図７は、確認シミュレーション制御部１０
９の処理手順を表したものである。まずはじめに、比較
結果ファイル１１１から不一致の起こった時刻の範囲を
取り出す（７０１）。次に不良観測点ファイル１１２の
なかから正常点リストを参照し、正常点を取り出す（７
０２）。各正常点について７０１で求めた時刻範囲の信
号値変化をテストデータとして登録する（７０４）。７
０１で求めた時刻範囲の回路１のシミュレーション結果
を前回のシミュレーション結果から取り出しておき（７
０５）、７０４のテストデータを回路２に対してシミュ
レーションした（７０６）結果と比較する（７０７）。

【００２４】図８は、本方式を用いた場合の処理フロー
を表したものである。回路１が機能チェック済の回路、
回路２が被検証回路とする。利用者は、回路１及び回路
２に対して同一のテストデータを用いて論理シミュレー
ションを実行し、結果を保存する（８０１，８０２，８
０３，８０４）。その結果を比較し（８０５）、すべて
の観測信号が一致すれば、このデータに関して等価性が
認められ、次のデータへ進む。観測信号のなかで不一致
のものがあれば、不良観測点限定部１０８により図６の
手順で不良に近い観測点が限定され（８０７）、回路図
と共に表示される（８０８）。利用者は、それを参考に
して、回路２の回路修正を実施する（８０９）。回路修
正後、シミュレーション対象範囲を狭め（８１０）、回
路２の再シミュレーションを行ない、回路１との一致を
確認する。

【００２５】

【発明の効果】本発明によれば、論理シミュレーション
システム利用者が、２つの等価であるべき回路を比較検
証する場合、２つのシミュレーション結果を利用して不
良箇所の限定を行ない、さらに回路全体のシミュレーシ
ョン結果比較を行なわずにその修正を効率良く確認でき
る。

【図面の簡単な説明】

【図１】本発明の一実施例の構成図

【図２】比較検証対象例を表した図

【図３】信号接続情報ファイルの構造を表した図

【図４】論理シミュレーション結果ファイルの構造を表
した図

【図５】シミュレーション対象回路の例を表した図

【図６】不良観測点限定部の処理手順を表した図

【図７】確認シミュレーション制御部の処理手順を表し
た図

【図８】本方式を用いた場合の処理フローを表した図

Claims (2)

【特許請求の範囲】
1. 【請求項１】論理回路を対象とし、表示装置及び入力装
   置を備えた装置上に構築される論理シミュレーションシ
   ステムにおいて、２つの論理回路の等価性を検証するた
   めに、同一の観測点を含む正しい論理である論理回路１
   と被検証対象の論理回路２の論理シミュレーション結果
   を比較し、異なる信号変化を持つ観測点を抽出し、各観
   測点から信号線入力側から出力側へ追跡することによ
   り、論理回路２の不良箇所に近い観測点を限定すること
   を特徴とする論理検証方式。
2. 【請求項２】請求項１の論理検証方式において、異なる
   信号変化を持つ観測点の入力側の同一信号変化を持つ観
   測点の信号変化情報を入力としたシミュレーションによ
   り論理回路２の修正を確認する手段を有することを特徴
   とする論理検証方式。