JPH1063707A

JPH1063707A - 論理回路検証装置および論理回路検証方法

Info

Publication number: JPH1063707A
Application number: JP8233576A
Authority: JP
Inventors: Hitoshi Kurosaka; 均黒坂; Hideyuki Emura; 秀之江村; Naotaka Maeda; 直孝前田
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1996-08-15
Filing date: 1996-08-15
Publication date: 1998-03-06
Also published as: US5949691A

Abstract

(57)【要約】【課題】論理回路の等価性検証において、大規模回路か
ら部分回路を自動抽出し、回路構成を考慮して比較する
部分回路を見つける論理検証方法及び装置の提供。【解決手段】論理回路の等価性検証において、回路デー
タや必要に応じてライブラリを読み込み、テクノロジに
依存しない中間形式を出力するデータ入力部（１０１）
と、回路をどこで分割するか、分割した部分回路のう
ち、どれとどれを比較するのかの対応付けを決める情報
を、１又は複数のアルゴリズムを用いて抽出を行い、対
応点情報として出力する対応点検出部（１０２）と、対
応点情報や中間形式から回路を部分回路に分割し部分回
路データを出力する回路分割部（１０３）と、対応点情
報と部分回路データを読み込み、分割回路データを比較
し、その結果を対応点情報へ出力する比較検証部（１０
４）と、を備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理回路検証装置
および論理回路検証方法に関する。

【０００２】

【従来の技術】従来、２つの回路の等化性検証を行うに
は、まず、レジスタに注目し、回路を部分分割してい
た。

【０００３】また、中間信号名情報を利用して、回路を
さらに部分分割し、レジスタ信号名情報や中間信号情報
から比較する部分回路を対応付け、対応付けた部分回路
ごとに等価性検証を行っていた。

【０００４】レジスタ信号名情報や中間信号情報はユー
ザが指定が必要である。

【０００５】この種の従来技術としては、例えば文献
（向山他、「論理検証システムＣＯＮＤＯＲ」、設計自
動化研究会６３−３、第１７−２２頁、情報処理学会）
の記載が参照される。この従来技術のシステム構成を図
１０に示す。

【０００６】

【発明が解決しようとする課題】上記文献に述べられて
いる方法では、図１０に示すように、レジスタと中間信
号で、論理照合部において、回路分割を行い、分割され
た部分回路について比較照合するが、分割回路のどれと
どれを比較するかを対応付けるルールがない。

【０００７】また、従来の方式においては、回路構成を
考慮しないため、比較する分割回路の対応付けは人手で
指定する他ない。

【０００８】したがって、本発明は、上記事情に鑑みて
なされたものであって、その目的は、比較する部分回路
の対応付けを１点１点人手で指定するのではなく、ルー
ルに基づき自動抽出するか、あるいは回路構成を考慮し
て自動的に抽出することを可能とし、これによりユーザ
の作業工数を削減するようにした、論理回路検証装置お
よび論理回路検証方法を提供することにある。

【０００９】

【課題を解決するための手段】前記目的を達成するた
め、本発明の論理回路検証装置は、論理回路について回
路データやライブラリから回路情報を読み込み、該論理
回路をテクノロジに依存しない中間形式に変換出力する
手段と、前記論理回路を部分回路に分割する箇所、及び
分割した部分回路についてどれとどれを比較するかの対
応付けを決めるための対応点の情報を、１又は複数の対
応点検出アルゴリズムを用いて抽出し、対応点情報とし
て出力する対応点検出手段と、前記対応点情報及び前記
中間形式の回路情報に基づき前記論理回路を部分回路に
分割してなる部分回路データを出力する回路分割手段
と、前記部分回路データと前記対応点情報を参照して、
分割された回路データを比較検証し、その結果を出力す
る比較検証手段と、を備えたことを特徴とする。

【００１０】本発明においては、前記対応点検出手段
が、対応点の抽出の際に、信号及び論理名などについて
名前の一致及び／又は名前の読み替え規則などのルール
を参照して、比較する対応点の情報を得ることを特徴と
する。

【００１１】また、本発明においては、前記比較検証手
段が、比較検証結果を前記対応点情報に出力することを
特徴とする。

【００１２】また、本発明の論理回路検証方法は、２つ
以上の論理回路の等化性検証を行う際に、該論理回路に
ついて回路データやライブラリから回路情報を読み込
み、該論理回路をテクノロジに依存しない中間形式に変
換し、該中間形式から１又は複数の対応点検出アルゴリ
ズムを用いて、比較する回路の外部出力端子及び／又は
回路内部のノードの対応点を抽出し、対応点情報及び前
記中間形式の回路について部分回路に分割し、前記対応
点情報と前記分割された部分回路とから比較する部分回
路の対応付けを行い、等化性検証を行うことを特徴とす
る。

【００１３】また、本発明の論理回路検証方法において
は、前記対応点情報に基づき比較すべき回路の論理ノー
ドをトラバースすることにより回路構成を考慮して、回
路を部分分割し、等化性検証を行うことを特徴とする。

【００１４】

【発明の実施の形態】本発明の実施の形態について図面
を参照して以下に説明する。

【００１５】図１は、本発明の実施の形態の構成を示す
図である。図１を参照すると、本発明の第１の実施の形
態は、データ入力部１０１と、対応点検出部１０２と、
回路分割部１０３と、比較検証部１０４と、を備えて構
成されている。

【００１６】対応点検出部１０２には、対応点を検出す
るための複数のアルゴリズムが格納されている。ここ
で、「対応点」とは、比較する回路の外部出力端子、ま
たは回路中の出力端子をいう。これらのアルゴリズム
（対応点検出アルゴリズム１〜Ｎ）は、入れ換えや、使
用／未使用の選択自在とされている。

【００１７】対応点検出部１０２は、対応点アルゴリズ
ムで使用する対応ルール１０７、及び対応点を格納する
対応点情報１０８を備えている。

【００１８】回路データ１０５は、ＶＨＤＬ（ＩＥＥＥ
１０７６）やＶerilog−ＨＤＬ（ＩＥＥＥ１３６４）な
どのハードウェア記述言語、ＥＤＩＦなどのネットリス
トからなる。

【００１９】ライブラリ１１０は、回路データ１０５の
中で使用されるマクロの論理情報が、上記ハードウェア
記述言語やネットリストで記述されたデータである。

【００２０】また、中間形式１０６は、回路情報を格納
するためのデータである。

【００２１】部分回路データ１０９は、回路分割部１０
３によって中間形式１０６を部分回路に分割した結果フ
ァイルである。

【００２２】中間形式１０６、対応点情報１０８、及び
部分回路データ１０９は一時的に記憶装置に格納され利
用される。

【００２３】図２は、本発明の実施の形態の処理フロー
を説明するための流れ図である。図１及び図２の流れ図
を参照して、本発明の実施の形態の動作について説明す
る。

【００２４】データ入力部１０１により、回路データ１
０５が読まれる（ステップ２０１）。その際、回路デー
タ１０５において、ライブラリ中のマクロを使用してい
る場合には、ライブラリ１１０も同時に読み込まれ、回
路データ１０５の中でライブラリを使用している部分
は、読み込んだライブラリ１１０の論理情報により置き
換えられる。また、回路データ１０５の論理情報を抽出
し、中間形式１０６に出力する。

【００２５】次に、対応点検出部１０２は、中間形式１
０６を読み込み、対応点検出アルゴリズムを使用して、
回路の比較時に使用する対応点を検出し、対応点情報１
０８に出力する（ステップ２０２）。その際、対応点検
出アルゴリズムが対応点を見つけるためにルールを使用
する場合は、対応ルール１０７から読み込む。また、複
数の対応点検出アルゴリズムを登録することも可能で、
必要に応じて使用するか否かを指定できる。

【００２６】次に、回路分割部１０３は、中間形式１０
６を読み込み、対応点情報１０８を参照しながら回路分
割を行い、部分回路データ１０９を出力する（ステップ
２０３）。

【００２７】部分回路データ１０９が作成されると、比
較検証部４は、対応するデータを比較し、その結果を対
応点情報１０８へ書き込む（ステップ２０４）。比較検
証部４において、回路の比較には、例えばＢＤＤ（Ｂin
ary Ｄecision Ｄiagram）を用いた検証手法やＡＴＰＧ
（Ａutomatic Ｔest Ｐattern Ｇenerator）を用いてテ
ストパターンを生成し、シミュレーションを行う検証手
法などを用いる。

【００２８】回路の全部分の検証が終るまで、比較検証
部１０４での検証が繰り返される。

【００２９】次に、図３の流れ図を参照して、対応ルー
ルを用いた対応点検出アルゴリズムについて説明する。

【００３０】まず、対応ルールを読み込み指定されたル
ールを解釈する（ステップ４０１）。次に、ルールに従
って回路データから対応する部分回路を抽出する（ステ
ップ４０２）。次に、対応点情報を出力する（ステップ
４０３）。全てのルールを適用したか否かを判定し（ス
テップ４０４）、適用していないルールがあればステッ
プ４０２に戻り、全て適用した場合は処理を終了する。

【００３１】次に、図５を参照して、図１に示した対応
ルール１０７について説明する。

【００３２】対応ルールは、ルール６０１、対応する場
所６０２、信号、論理の限定６０３からなる。

【００３３】ルール６０１は、名前一致ルール６０４、
名前読み替えルール６０５からなる。このうち、名前一
致ルール６０４は、名前の文字列が一致する点を対応点
とするルールであり、また名前読み替えルール６０５
は、名前の文字列が一致しない場合でも、一定の規則の
もとに比較する回路の対応点を検索するためのルールで
ある。

【００３４】対応する場所６０２は、ルールを適用する
箇所が、信号名であるか（図５の信号名６０６）、及び
／又は、インスタンス名（論理につけられたユニークな
名前）であるか（図５のインスタンス名６０７）を指定
する。

【００３５】信号、論理の限定６０３は、ルールを適用
する場合を限定するためのもので、信号種別６０８、論
理種別６０９、特定信号６１０、特定インスタンス６１
１からなる。

【００３６】信号種別６０８は、回路の外部端子、内部
の端子の指定を行う。指定した信号種別、またはそれ以
外にルールを適用する。

【００３７】論理種別６０９は、論理（ＡＮＤ、ＯＲや
レジスタなど）の指定を行う。指定した論理、あるいは
指定した論理以外にルールを適用する。

【００３８】特定信号６１０は、信号名の指定を行う。
指定した信号名、またはそれ以外にルールを適用する。

【００３９】特定インスタンス６１１は、インスタンス
名の指定を行う。指定したインスタンス名、またはそれ
以外にルールを適用する。

【００４０】対応する場所６０２はルール毎に指定可能
とされ、また信号、論理の限定６０３は対応する場所毎
に指定可能である。また、対応する場所６０２や信号、
論理の限定６０３は、その内容を動的に変更することも
可能である。

【００４１】次に、図９を参照して、図１に示した対応
点情報１０８について詳細に説明する。

【００４２】対応点情報１０８は、出力端子１００５、
入力端子の組１００６、対応点１００７、及び比較検証
結果１００８からなる。

【００４３】出力端子１００５は、回路分割をする際の
出力端子となる信号を保持する。出力端子１００５に対
応する入力端子の組１００６は、回路分割する際の入力
信号となる信号を保持する。対応点１００７は、出力端
子１００５と比較するもう１つの回路の対応点情報名と
比較対象となる出力端子を保持する。

【００４４】比較検証結果１００８は、２つの回路を比
較検証した後で、結果が一致したか否かを保持する。

【００４５】上記した本発明の実施の形態をさらに詳細
に説明すべく、本発明の一実施例を以下に説明する。

【００４６】まず、与えられた回路データを読み込み、
データ入力部１０１で中間形式１０６を生成する。

【００４７】中間形式１０６は、図７に示すように、階
層情報８０１と回路情報８０２からなる。

【００４８】階層情報８０１は、回路の階層情報関係
と、各階層に対応する回路情報８０２を指す。

【００４９】各階層の論理情報は、回路情報８０２に格
納される。図７に示すように、回路情報８０２におい
て、論理の接続関係は、入力端子８０３、論理８０４、
出力端子８０５で表わされる。

【００５０】入力端子、出力端子の名前は、信号名８０
６より得る。論理につくインスタンス名はインスタンス
名８０７より得る。

【００５１】信号種別、例えば外部入力ピンを知るため
に、信号種別８０８はそれぞれの種別ごとに信号名を指
している。

【００５２】論理種別、例えばレジスタを知るために、
論理種別８０９はそれぞれの種別ごとにインスタンス名
を指している。

【００５３】信号名８０６、インスタンス名８０７、信
号種別８０８、論理種別８０９は、対応ルール（図５参
照）の中で、規定されている対応場所６０２や信号、論
理の限定６０３から効率的に、信号や論理を検索するた
めに有効である。

【００５４】データ入力部１０１から生成された中間形
式１０６と、対応ルール１０７を読み込み、対応点検出
部１０２で対応点の検出を行い、その結果を対応点情報
１０８に出力する。

【００５５】図６は、本実施例における対応ルール１０
７の一例（具体例）を示している。図６において、名前
一致ルール７０１は、外部入力端子、外部出力端子につ
いては名前が一致するものは全て対応点と見なすという
条件を示している。

【００５６】まず、対応点検出部１０２は、中間形式１
０６における信号種別８０８（図７参照）の外部出力端
子から信号名８０６をたどり、さらに信号名８０６から
出力端子８０５をたどり、出力端子８０５のテーブルイ
ンデックスを、対応点情報１０８の出力端子１００５
（図９参照）に出力する。

【００５７】図６を参照して、名前読み替えルール７０
２は、論理がレジスタのインスタンスについて、ＡＡ０
０、ＡＡ０１、…、ＡＡ１９を、ＸＸ００、ＸＸ０１、
…、ＸＸ１９と対応付けることを示している。

【００５８】この場合、対応点検出部１０２は、中間形
式１０６の論理種別８０９（図７参照）からインスタン
ス名８０７、インスタンス名から論理８０４をたどり、
さらに、論理８０４から出力端子８０５をたどり、出力
端子８０５のテーブルインデックスを対応点情報１０８
の出力端子１００５（図９参照）に出力する。

【００５９】図９を参照して、対応点１００７には、比
較する回路の対応点情報ファイル名と、出力端子１００
５のテーブルインデックスが書き込まれる。

【００６０】全ての対応ルールが適用されると、出力端
子１００５に記憶された信号から外部入力端子、または
別の出力端子１００５に記憶された信号に行き着くま
で、入力方向へ検索を続ける。

【００６１】行き着いた先の入力信号を入力端子の組１
００６へ記憶する。

【００６２】回路分割部１０３では、対応点情報１０９
を読み込み、出力端子１００５（図９参照）と入力端子
の組１００６（図９参照）の情報を利用して、回路を分
割し、部分回路データ１０９に出力する。

【００６３】比較検証部１０４では、部分回路デー１０
９タを読み込み、回路の比較にはＢＤＤ（Ｂinary Ｄec
ision Ｄiagram）を用いた検証手法や、ＡＴＰＧ（Ａut
omatic Ｔest Ｐattern Ｇenerator）を用いてテストパ
ターンを生成し、シミュレーションを行い検証を行う。

【００６４】比較検証部１０４での検証結果は、対応点
情報の比較検証結果１００８（図９参照）へ記憶する。

【００６５】次に、本発明の第２の実施の形態について
説明する。図４は、本発明の実施の形態の処理フローを
説明するための流れ図である。図４を参照して、本発明
の第２の実施の形態における、回路構成を考慮した対応
点検出アルゴリズムの説明を行う。

【００６６】図４を参照して、まず、比較する回路デー
タの外部入力端子（「ＰＩ」という）と、対応点情報に
格納されている出力端子で比較検証結果が一致している
出力端子（「仮ＰＩ」という）を読み込む（ステップ５
０１）。

【００６７】次に、ＰＩおよび仮ＰＩから回路の出力方
向へ論理ノード（ＡＮＤ、ＯＲなどの論理の出力端子を
「論理ノード」という）を検索する（ステップ５０
２）。

【００６８】論理ノードの入力端子を参照して、入力端
子が１本の場合には、さらに出力方向へ論理ノードを検
索する（ステップ５０３、５０４）。

【００６９】入力端子が複数であっても、他の入力端子
の信号値が、例えば“０”や“１”に固定されている場
合、同様にして、出力方向への検索を継続する（ステッ
プ５０３、５０４）。

【００７０】そして、レジスタに行き着いた時は、そこ
で探索をやめる（ステップ５０３）。

【００７１】次に、行き着いた論理ノードの出力端子
（「仮ＰＯ」という）から、回路の入力方向へたどり、
ＰＩまたは仮ＰＩに当たるまで探索する（ステップ５０
５）。

【００７２】そして、仮ＰＯを対応点情報１０８の出力
端子１００５（図９参照）、仮ＰＩの組合せを対応点情
報１０８の入力端子の組１００６（図９参照）に記憶す
る（ステップ５０５）。

【００７３】ステップ５０６の判定処理により、全ての
ＰＩ、仮ＰＩに対して、ステップ５０２からステップ５
０５の処理を繰り返す。

【００７４】比較するすべての回路について上記処理を
繰り返す。すなわち、図４のステップ５０１′〜５０
６′は、比較すべき別の回路についての処理フローを示
している。

【００７５】次に、比較する回路同士で、仮ＰＯに対す
るＰＩ、仮ＰＩの組合せが一致するものを見つけて比較
を行う（ステップ５０７〜５０９）。

【００７６】不一致の場合、不一致情報を出力する（ス
テップ５１０、５１１）。

【００７７】次に、比較を終わった仮ＰＯを仮ＰＩとし
て記憶する（ステップ５１２）。

【００７８】ステップ５１３の判定処理により、全ての
仮ＰＯについて、ステップ５０７からステップ５１２の
処理を繰り返す。

【００７９】全ての仮ＰＯについての検証が終った場
合、仮ＰＩが新たに発生したかを調べる。仮ＰＩが見つ
かった場合、最初に戻り処理を続ける（ステップ５１
４）。

【００８０】上記した本発明の第２の実施の形態をさら
に詳細に説明すべく、本発明の実施例を図面を参照して
以下に説明する。

【００８１】図８に、本実施例を説明するための回路デ
ータの一例を示す。

【００８２】まず、対応点検出部１０２は対応点情報１
０８を読み込む。

【００８３】ここで、図８に示した回路データにおい
て、仮に、端子Ｅが、出力端子１００５（図９参照）に
記憶されていて、比較検証結果が一致しているものと仮
定すると、この端子Ｅを仮ＰＩとみなせる。

【００８４】次に、図７を参照して、中間形式の信号種
別８０８から信号名８０６をたどり、さらに入力端子８
０３をたどり、外部入力端子Ａ、Ｂ、Ｃ、Ｄ（図８参
照）をＰＩとする。

【００８５】次に、ＰＩの１つ「Ａ」を取りだし、出力
方向へ論理ノードを検索し「Ｇ１」に行き着く（図８参
照）。

【００８６】「Ｇ１」は入力端子が１つであるため出力
方向への探索を続け、論理ノード「Ｇ２」に達する（図
８参照）。

【００８７】図８に示すように、「Ｇ２」は入力端子が
２つ備えているため、ここで探索を止める。「Ｇ２」の
出力端子「Ｈ」を仮ＰＯとする。

【００８８】次に、「Ｇ２」から入力方向へ探索し、
「Ｅ」に行き着く。「Ｅ」は仮ＰＩなのでここで探索を
止める。

【００８９】「Ｈ」を対応点情報１０８の出力端子１０
０５（図９参照）、「Ａ」と「Ｅ」を入力端子の組１０
０６（図９参照）に記憶する。

【００９０】「Ｂ」、及び「Ｃ」は既に対応点情報１０
８の入力端子１００６の組に登録されているので何もせ
ず、残りのＰＩである「Ｄ」を探索し、「Ｉ」を対応点
情報１０８の出力端子１００５（図９参照）、「Ｄ」と
「Ｅ」を入力端子の組１００６（図９参照）に記憶す
る。

【００９１】比較する回路についても同様の処理を行
い、対応点情報の中から、入力の組が一致するものを選
び、回路分割部１０３で回路分割を行う。

【００９２】本実施例例では、「Ｈ」、「Ｉ」に対する
部分回路が生成される。同様に、比較対象となる回路に
ついても部分回路に分割する。

【００９３】そして、比較検証部１０４で比較検証を行
う。

【００９４】仮に、「Ｈ」、「Ｉ」と、これに対応する
比較対象の部分回路が見つかり、検証結果が一致したと
する。この場合、「Ｈ」、「Ｉ」を仮ＰＩとする。

【００９５】次に、新たに仮ＰＩとなった「Ｈ」、
「Ｉ」について処理を行う。

【００９６】まず、「Ｈ」から出力方向へたどり「Ｇ
３」へ行き着く。「Ｇ３」は入力端子は一つであるが、
「Ｇ３」の出力端子「Ｆ」は外部端子であるため、ここ
で探索を止め、「Ｆ」を対応点情報１０８の出力端子１
００５（図９参照）、「Ｈ」を入力端子の組１００６
（図９参照）に記憶する。

【００９７】次に、「Ｉ」についても同様の処理を行
い、「Ｇ」を対応点情報１０８の出力端子１００５（図
９参照）、Ｉを入力端子の組１００６（図９参照）に記
憶する。

【００９８】比較する回路についても同様の処理を行
い、対応点情報の中から、入力の組が一致するものを選
び、回路分割部１０３で回路分割を行い、さらに比較検
証部１０４で比較検証を行う。

【００９９】また、「Ｈ」、「Ｉ」のうち、「Ｉ」で結
果が不一致だと仮定すると、「Ｉ」を対応点にしたのが
不適であったと判断し、再度、対応点を見つけにいく。

【０１００】対応点「Ｉ」について出力方向へ探索を行
い、「Ｇ６」の出力「Ｇ」に行き着く。「Ｇ」を対応点
情報１０８の出力端子１００５（図９参照）、「Ｅ」と
「Ｄ」を入力端子の組１００６（図９参照）に記憶す
る。そして、比較検証を行い、結果を比較検証結果１０
０７（図９参照）へ格納する。

【０１０１】

【発明の効果】以上説明したように、本発明によれば、
レジスタなどの信号名が異る場合でも回路構成を考慮し
て、自動的に比較する部分回路を特定することが可能と
したことにより、比較する信号名をユーザが指定すると
いう作業工数を省くことができ、論理検証工程の効率化
を達成する。

【図面の簡単な説明】

【図１】本発明の実施の形態のシステム構成を示す図で
ある。

【図２】本発明の実施の形態の処理フローを説明するた
めのフローチャートである。

【図３】本発明の実施の形態における対応点検出部の処
理フローを説明するためのフローチャートである。

【図４】本発明の別の実施の形態における対応点検出部
の処理フローを説明するためのフローチャートである。

【図５】本発明の実施の形態における対応ルールの構成
を示す図である。

【図６】本発明の実施の形態における対応ルールの具体
例を示す図である。

【図７】本発明の実施の形態における中間形式の構成を
示す図である。

【図８】本発明の実施例を説明するための図であり、回
路データの具体例を示す図である。

【図９】本発明の実施の形態における対応点情報の一例
を示す図である。

【図１０】従来の技術のシステム構成図である。

【符号の説明】

１０１データ入力部１０２対応点検出部１０３回路分割部１０４比較検証部１０５回路データ１０６中間形式１０７対応ルール１０８対応点情報１０９部分回路データ１１０ライブラリ６０１ルール６０２対応する場所６０３信号、論理の限定６０４名前一致ルール６０５名前読み替えルール６０６信号名６０７インスタンス名６０８信号種別６０９論理種別６１０特定信号６１１特定インスタンス７０１名前一致ルールの一例７０２名前読み替えルールの一例８０１階層情報８０２回路情報８０３入力端子８０４論理８０５出力端子８０６信号名８０７インスタンス名８０８信号種別８０９論理種別１００５出力端子１００６入力端子の組１００７対応点１００８比較検証結果

Claims

【特許請求の範囲】

【請求項１】論理回路について回路データやライブラリ
から回路情報を読み込み、該論理回路をテクノロジに依
存しない中間形式に変換出力する手段と、前記論理回路を部分回路に分割する箇所、及び分割した
部分回路についてどれとどれを比較するかの対応付けを
決めるための対応点の情報を、１又は複数の対応点検出
アルゴリズムを用いて抽出し、対応点情報として出力す
る対応点検出手段と、前記対応点情報及び前記中間形式の回路情報に基づき前
記論理回路を部分回路に分割してなる部分回路データを
出力する回路分割手段と、前記部分回路データと前記対応点情報を参照して、分割
された回路データを比較検証し、その結果を出力する比
較検証手段と、を備えたことを特徴とする論理回路検証装置。
【請求項２】前記対応点検出手段が、対応点の抽出の際
に、信号及び論理名などについて名前の一致及び／又は
名前の読み替え規則などのルールを参照して、比較する
対応点の情報を得ることを特徴とする請求項１記載の論
理回路検証装置。
【請求項３】前記比較検証手段が、比較検証結果を前記
対応点情報に出力することを特徴とする請求項１記載の
論理回路検証装置。
【請求項４】前記対応点情報が、回路分割の際の端子と
なる出力端子の情報、該出力端子に対応する入力端子の
組の情報、前記出力端子と比較される他の回路の対応点
情報の格納手段の識別名と、比較対象となる出力端子と
からなる対応点と、前記比較検証手段における比較対象
の回路の比較検証の結果である一致／不一致の情報と、
を含むことを特徴とする請求項１記載の論理回路検証装
置。
【請求項５】前記回路分割手段が、前記対応点情報を読
み込み、該対応点情報の出力端子と入力端子の組の情報
から前記中間形式の回路を部分回路に分割することを特
徴とする請求項１記載の論理回路検証装置。
【請求項６】前記対応点情報に基づき比較する回路の論
理ノードをトラバースし、比較すべき回路の回路構成を
考慮して、回路を部分回路に分割し、比較検証を行うこ
とを特徴とする請求項１記載の論理回路検証装置。
【請求項７】比較する回路の外部入力端子（「ＰＩ」と
いう）と、前記対応点情報に含まれる出力端子で比較検
証結果が一致している出力端子（「仮ＰＩ」という）に
ついて、前記外部入力端子から出力側へ論理ノードを探
索し、複数の入力端又はレジスタに到達した際に、行き
着いた論理ノードの出力端子（「ＰＯ」という）から入
力側へ前記ＰＩ又は仮ＰＩに達するまで探索し、比較す
る回路について全てのＰＩ及び仮ＰＩについて上記処理
を行い、前記比較する回路について仮ＰＯに対するＰ
Ｉ、仮ＰＩの組み合わせが一致するものを見つけて比較
を行い、回路構成を考慮して回路を部分回路に分割し、比較検証
を行うことを特徴とする請求項１記載の論理回路検証装
置。
【請求項８】２つ以上の論理回路の等化性検証を行う際
に、該論理回路について回路データやライブラリから回
路情報を読み込み、該論理回路をテクノロジに依存しな
い中間形式に変換し、該中間形式から１又は複数の対応点検出アルゴリズムを
用いて、比較する回路の外部出力端子及び／又は回路内
部のノードの対応点を抽出し、対応点情報及び前記中間形式の回路について部分回路に
分割し、前記対応点情報と前記分割された部分回路とから比較す
る部分回路の対応付けを行い、等化性検証を行うことを
特徴とする論理回路検証方法。
【請求項９】前記対応点情報に基づき比較すべき回路の
論理ノードをトラバースすることにより回路構成を考慮
して、回路を部分分割し、等化性検証を行うことを特徴
とする請求項８記載の論理回路検証方法。
【請求項１０】２つ以上の回路の等化性検証を行う場合
に、１つ以上のアルゴリズムを使用し、部分回路に分割
し、比較する部分回路の対応付けを行い、等化性検証を
行うことを特徴とする論理回路検証装置。
【請求項１１】前記論理回路検証装置において、回路構成を考慮して回路を部分分割し等化性検証を行う
ことを特徴とする請求項１０記載の論理回路検証装置。