(57)【要約】【課題】  大規模ＬＳＩに対して、等価検証ツールに与える情報収集と、検証を実行する論理階層を構成するＨＤＬファイルの収集を自動化し、また、検証可能な単位に分割して自動実行する検証効率の高い論理等価性検証システムを提供する。【解決手段】  論理等価性検証システムにおいて、複数のＨＤＬファイルを論理合成し、ゲート回路を生成する論理合成処理部３０１と、複数のＨＤＬファイルによる基準論理回路と複数のＨＤＬファイルを論理合成したゲート回路による比較対象論理回路とを比較し、論理等価性を検証する論理等価性検証処理部３０２とを備え、論理等価性検証処理部３０２は、論理合成処理部３０１と連動して動作することにより、論理合成処理部３０１より論理変更または追加のあった論理階層の情報をリアルタイムで受け取り、基準論理回路に必要なＨＤＬファイルを検索して論理階層を組み立て、比較対象論理回路との論理等価性検証を分割して実行する。【選択図】  図５
2006092259.tif 000002
【特許請求の範囲】
【請求項１】
論理記述したハードウェア記述用プログラム言語ファイルを入力する論理入力用端末と、
複数の前記ハードウェア記述用プログラム言語ファイルおよび前記複数のハードウェア記述用プログラム言語ファイルを論理合成したゲート回路の情報を格納する記憶装置と、
前記記憶装置内に格納された前記複数のハードウェア記述用プログラム言語ファイルを論理合成し、前記ゲート回路を生成する論理合成手段と、
前記複数のハードウェア記述用プログラム言語ファイルによる基準論理回路と前記複数のハードウェア記述用プログラム言語ファイルを論理合成したゲート回路による比較対象論理回路とを比較し、論理等価性を検証する論理等価性検証手段とを備え、
前記論理等価性検証手段は、前記論理合成手段より論理変更または追加のあった論理階層の情報を受け取り、前記基準論理回路に必要な前記ハードウェア記述用プログラム言語ファイルを検索して論理階層を組み立て、前記比較対象論理回路との論理等価性検証を分割して実行することを特徴とする論理等価性検証システム。
【請求項２】
請求項１記載の論理等価性検証システムにおいて、
前記論理等価性検証手段は、前記ハードウェア記述用プログラム言語ファイルを検索する際、前記ハードウェア記述用プログラム言語の言語文法に基づいて、上位階層のハードウェア記述用プログラム言語ファイルに記述された下位階層名を抽出し、下位階層を有するハードウェア記述用プログラム言語ファイルを検索することを特徴とする論理等価性検証システム。
【請求項３】
請求項１記載の論理等価性検証システムにおいて、
前記論理等価性検証手段は、前記ハードウェア記述用プログラム言語ファイルを検索する際、前記ハードウェア記述用プログラム言語ファイルの名前に与えられた論理階層名をキーとして、該当する前記ハードウェア記述用プログラム言語ファイルを検索し、キーが重複した場合にはファイル作成日付の最新のものを選択することを特徴とする論理等価性検証システム。
【請求項４】
請求項１記載の論理等価性検証システムにおいて、
前記論理等価性検証手段は、前記論理等価性検証に必要な情報を、前記論理合成手段よりリアルタイムで取得し、取得した情報を論理等価性の検証時に反映させことを特徴とする論理等価性検証システム。
【請求項５】
請求項１記載の論理等価性検証システムにおいて、
前記記憶装置は、高速記憶装置および低速大容量記憶装置から構成され、
前記高速記憶装置は、設計中の前記ハードウェア記述用プログラム言語ファイルおよび論理等価性が未検証の前記ハードウェア記述用プログラム言語ファイルを格納し、
前記低速大容量記憶装置は、論理等価性の検証が完了した前記ハードウェア記述用プログラム言語ファイルを格納することを特徴とする論理等価性検証システム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明はＨＤＬ（Ｈａｒｄｗａｒｅ  Ｄｅｓｃｒｉｐｔｉｏｎ  Ｌａｎｇｕａｇｅ）で記述した回路論理と、これを論理合成したＧａｔｅレベルのネットリストとの論理等価性検証を行うための論理等価性検証システムに関する。
【背景技術】
【０００２】
近年、半導体技術の進歩により、１つのＬＳＩに集積される論理規模は益々向上している。このような大規模なＬＳＩを回路設計する場合は、ＲＴＬ（Ｒｅｇｉｓｔｅｒ  Ｔｒａｎｓｆｅｒ  Ｌｅｖｅｌ）であるＨＤＬと呼ばれるハードウェア記述用プログラム言語を使ってＬＳＩの論理を記述し、これを論理合成ツールと呼ばれるソフトウェアを使用して論理記述を実際のゲート回路に合成する設計手法が一般的である。
【０００３】
このとき、設計者が記述したＨＤＬの論理（以降、ＨＤＬファイルと呼ぶ）を基準論理回路とし、論理合成ツールで合成したＧａｔｅレベルのゲート回路（以降、ネットリストと呼ぶ）を比較対象論理回路として、両者が論理的に等価である事を保証する設計工程を論理等価性検証と呼ぶ。この論理等価性検証は、等価検証ツールと呼ばれるソフトウェアで実行される。
【０００４】
等価検証ツールはＨＤＬファイルと、これを論理合成したネットリストを読込んで、両者の回路構造を認識し、検証ポイント（出力ポートやフリップフロップなど）の対応付けを行い、これらの前段に配置された論理を、ＨＤＬファイルでは論理式、ネットリストでは組合せ回路としてロジックコーンと呼ばれるコーンを生成して等価性を検証する。
【０００５】
また、論理合成ツールに対して設計者が記述したＨＤＬファイルを機械的に合成しても、配置などを含めて、必ずしも設計者の意図したネットリストの回路構造が得られるわけではない。
【０００６】
そこで、従来、設計者は論理合成ツールに対してさまざまな設定、または人手による介入を行って、設計者が意図した回路構造をネットリストに出力している。
【０００７】
また、ＨＤＬファイルのデータ管理不良により、設計者が意図しないＨＤＬファイルで論理合成を行ったために、論理不良がその後の設計工程に進む可能性がある。そのため、論理等価性検証を実施することで回路の論理的な等価性を保証することは有効である。
【０００８】
また、大規模なＬＳＩを設計する場合は、ＬＳＩをいくつかの階層部位に分割して論理設計する。
【０００９】
具体的には、実際の回路動作を記述した下位階層部品を設計してＨＤＬファイルを記述し、これをいくつか組み合わせて上位階層部品を作成し、これを繰り返して１つのＬＳＩの論理として組み立てていく。このような手法で論理設計した場合、結果的にＨＤＬファイルは巨大な階層構造を持ったものになる。
【００１０】
同様に大規模ＬＳＩ設計における論理合成は、階層型論理合成と呼ばれる手法を用いて、下位階層からＨＤＬファイルをネットリストに合成して、これらを組み合わせてＬＳＩ全体のネットリストを作成していくのが一般的である。ネットリストもＨＤＬファイルと同様に、巨大な階層構造を持ったネットリストが生成される。
【００１１】
しかし、ネットリストの階層構造は、ＨＤＬファイルの論理合成時における設計者の設定などにより、必ずしもＨＤＬファイルと１対１で対応する訳ではない。
【００１２】
このような手法で設計されたＨＤＬファイルとネットリストとの等価性検証を行う場合、従来は等価検証ツールに対して、人手で設定を与えて検証していた。
【００１３】
また、ＬＳＩの最上位階層より一括で検証し、ＨＤＬファイルとネットリストの階層差を意識することなく、論理等価性を検証するのが従来の一般的な論理等価性検証手法であった。
【発明の開示】
【発明が解決しようとする課題】
【００１４】
しかしながら、従来の一般的な検証手法では次の２つの課題がある。
【００１５】
１つ目の課題は、論理等価検証を実行するために、論理合成ツールに対して特別に行った設定や、人手で介入した部分などを、等価検証ツールに情報として与える必要がある事である。
【００１６】
代表例の１つ目として、ＨＤＬファイルでＡと定義された変数が、ネットリストではＡと定義されたレジスタにマッピングされたとする。等価検証ツールは同じＡと定義された変数とレジスタを自動で対応付けすることで検証を行う。しかし、ネットリストにて意図的にＡと定義されたレジスタを、Ｂと定義されたレジスタに置き換えたとすると、等価検証ツールは対応付けができなくなる場合がある。
【００１７】
代表例の２つ目として、タイミングディレイを削減するために、物理的なレイアウトを考慮したグループ階層をネットリストのゲート回路に追加する事である。これは論理合成で新たに追加される階層であるため、ＨＤＬファイルには存在しないので等価検証ツールは自動での対応付けができなくなる場合がある。
【００１８】
つまり、ＨＤＬファイルからネットリストへの論理合成の過程で、変更や追加されたもので、等価検証ツールが自動対応できない場合は別途、情報として人手で与える必要がある。このような人手による設定追加は検証効率を悪化させるだけでなく、人手ミスにより検証精度を低下させる。
【００１９】
２つ目の課題は、ＬＳＩのＨＤＬファイルとネットリストを最上位階層より、一括して等価検証する場合に、論理規模が大きいために等価検証ツールのキャパシティを超えてしまう場合がある。キャパシティとは等価検証ツールのプログラムキャパシティや、これを実行する計算機のメモリ使用量や検証時間を指す。
【００２０】
このような場合、ＨＤＬファイルとネットリストを、分割して検証することで、等価検証ツールおよび計算機に対する負荷を最小化した論理等価性検証する手法が用いられる。
【００２１】
この分割検証では、ＬＳＩの一部の論理階層に対して論理を変更または追加した場合に、ＬＳＩ全体ですべて検証せずに、変更または追加があった部分に特化して、差分で検証できるので頻繁な論理変更に対して、検証効率の面で有効である。
【００２２】
しかし、分割検証を行うためには、ＨＤＬファイル、ネットリスト両方の階層構造を正確に把握して、変更、追加のあった階層を等価検証ツールに情報として与える必要がある。
【００２３】
特に、ＨＤＬファイルは、下位部品や上位部品にファイル分割されている事が一般的であり、分割検証を行うために必要なＨＤＬファイルを人手で選択することは検証効率を低下させ、ファイル管理不良による検証精度の低下を引き起こす。
【００２４】
そこで、本発明の目的は、ＲＴＬで記述したＨＤＬファイルを基準論理回路とし、それを論理合成したＧａｔｅレベルのネットリストを比較対象論理回路とした論理等価性検証を、大規模ＬＳＩに対して、等価検証ツールに与える情報収集と、検証を実行する論理階層を構成するＨＤＬファイルの収集を自動化し、また、検証可能な単位に分割して自動実行する検証効率の高い論理等価性検証システムを提供することにある。
【課題を解決するための手段】
【００２５】
本願において開示される発明のうち、代表的なものの概要を簡単に説明すれば、次のとおりである。
【００２６】
本発明による論理等価性検証システムは、論理記述したハードウェア記述用プログラム言語ファイルを入力する論理入力用端末と、複数のハードウェア記述用プログラム言語ファイルおよび複数のハードウェア記述用プログラム言語ファイルを論理合成したゲート回路の情報を格納する記憶装置と、記憶装置内に格納された複数のハードウェア記述用プログラム言語ファイルを論理合成し、ゲート回路を生成する論理合成手段と、複数のハードウェア記述用プログラム言語ファイルによる基準論理回路と複数のハードウェア記述用プログラム言語ファイルを論理合成したゲート回路による比較対象論理回路とを比較し、論理等価性を検証する論理等価性検証手段とを備え、論理等価性検証手段は、論理合成手段より論理変更または追加のあった論理階層の情報を受け取り、基準論理回路に必要なハードウェア記述用プログラム言語ファイルを検索して論理階層を組み立て、比較対象論理回路との論理等価性検証を分割して実行するものである。
【発明の効果】
【００２７】
本願において開示される発明のうち、代表的なものによって得られる効果を簡単に説明すれば以下のとおりである。
【００２８】
本発明の第１の効果は、論理等価性検証手段が論理合成手段と連動して論理等価性検証を実施するため、作業工数の削減が可能である。
【００２９】
また、本発明の第２の効果は、ハードウェア記述用プログラム言語ファイルの論理階層を検索し、論理階層分割検証を行うため、論理追加または変更があった場合の検証効率の向上と検証ミス削減が可能である。
【００３０】
また、本発明の第３の効果は、設計中のハードウェア記述用プログラム言語および未検証のハードウェア記述用プログラム言語を高速記憶装置に格納し、検証が完了したハードウェア記述用プログラム言語を低速大容量記憶装置に格納するため、コストパフォーマンスの高い設計データ管理が可能である。
【発明を実施するための最良の形態】
【００３１】
以下、本発明の実施の形態を図面に基づいて詳細に説明する。なお、実施の形態を説明するための全図において、同一の部材には原則として同一の符号を付し、その繰り返しの説明は省略する。
【００３２】
＜論理等価性検証システムの構成＞
図１により、本発明の一実施の形態に係る論理等価性検証システムの構成について説明する。図１は本発明の一実施の形態に係る論理等価性検証システムの構成を示す構成図である。
【００３３】
図１において、論理等価性検証システムは、論理入力用端末１０、論理入力用サーバ２０、論理合成用サーバ３０、設計データ格納用外部記憶装置５０から構成されている。
【００３４】
論理入力用端末１０、論理入力用サーバ２０および論理合成用サーバ３０はローカルエリアネットワーク６０により接続され、論理入力用サーバ２０、論理合成用サーバ３０および設計データ格納用外部記憶装置５０はストレージエリアネットワーク４０で接続されている。
【００３５】
論理入力用端末１０は、設計者がＨＤＬファイルを作成したり、論理合成時の設定や情報の入力を行うための端末であり、複数の設計者によりＨＤＬファイルを作成することができるように複数台の論理入力用端末１０が設けられている。
【００３６】
論理入力用サーバ２０は、論理入力用端末１０から入力されたＨＤＬファイルを受け取り、設計データ格納用外部記憶装置５０内にＨＤＬファイル群５０１として格納する。
【００３７】
論理合成用サーバ３０は、論理合成手段である論理合成処理部３０１と論理等価性検証手段である論理等価性検証処理部３０２を有する。
【００３８】
論理合成処理部３０１は、設計データ格納用外部記憶装置５０内に格納されたＨＤＬファイル群５０１を論理合成し、ＬＳＩのネットリスト５０２を生成する。
【００３９】
論理等価性検証処理部３０２は、ＨＤＬファイル群５０１とそれを論理合成したネットリスト５０２との論理等価性を検証する。
【００４０】
＜ＨＤＬファイル群とネットリストの階層構造＞
次に、図２〜図４により、本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル群とネットリストの階層構造について説明する。図２は、本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル群（基準論理回路）の論理階層の模式図、図３は本発明の一実施の形態に係る論理等価性検証システムのネットリスト（比較対象論理回路）の論理階層の模式図、図４は本発明の一実施の形態に係る論理等価性検証システムの検証対象階層を示す模式図である。
【００４１】
図２において、ＨＤＬファイル群２０１は、例えば、複数の設計者により作成され、このＨＤＬファイル群２０１の各ＨＤＬファイルの結合情報を辿っていくと、図２の２０２に示す論理階層図を構築することができ、大規模なＬＳＩの設計では、その階層構造は、巨大なものとなる。
【００４２】
図３において、ネットリスト３１１の内部構造は図３の３１２に示すように階層構造を持ち、ＨＤＬファイル群２０１と同様に大規模なＬＳＩの設計では、その階層構造は、巨大なものとなる。
【００４３】
図４において、基準論理回路（ＨＤＬファイル群）の階層構造４０１と比較対象論理回路（ネットリスト）の階層構造４０２の論理等価性検証において、図４中の波線で示した階層が分割した階層であり、巨大な階層構造の論理等価性検証を行う際の分割検証の対象である。
【００４４】
＜論理等価性検証システムの論理等価性検証の動作＞
次に、図５により、本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証の動作について説明する。図５は本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証の動作を示すフローチャートである。
【００４５】
図５に示すように、本実施の形態の論理等価性検証の動作は、論理合成処理部３０１と連動することにより、論理等価性検証を自動実行するようになっており、論理等価検証に必要な情報の収集および等価検証ツールへの反映の自動化と、分割検証を行う階層を構築するＨＤＬファイルの自動収集を行っている。
【００４６】
まず、ＨＤＬファイル群５０１を論理合成処理部３０１にて合成しＬＳＩのネットリスト５０２を生成すると直ちに、論理等価性検証処理部３０２を実行する。この際、論理合成処理部３０１から論理等価性検証処理部３０２に対して論理合成時の論理合成した階層情報と合成情報からなる論理合成情報６０が受け渡される。
【００４７】
そして、論理等価性検証処理部３０２では、ステップ１０１で、論理合成処理部３０１より、論理合成情報６０を取得する。
【００４８】
ステップ１０２で、論理合成処理部３０１より受け取った論理合成情報６０の階層情報から、検証対象階層となるＬＳＩ最上位階層から見て第２階層を抽出する。検証対象階層となる第２階層は複数存在する場合もあり、これらの第２階層以下の論理規模は、等価検証ツールが検証可能な規模である。
【００４９】
ステップ１０３で、ＨＤＬファイル階層検索処理部を用いて、検証対象となる第２階層以下を構成するＨＤＬファイルをそれぞれ収集する。
【００５０】
ステップ１０４で、等価検証処理部１を用いて検証対象階層の論理等価性検証を行い、検証対象階層の数だけこれを繰り返す。
【００５１】
ステップ１０５で第２階層の検証が終了すると、ステップ１０６で、等価検証処理部２を用いてＨＤＬファイルとネットリストの第２階層をすべて空箱（ブラックボックス）にした状態で、第２階層同士の結線関係の等価性を検証する。
【００５２】
＜ＨＤＬファイル階層検索処理部の動作＞
次に、図６〜図１１により、本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内のＨＤＬファイル階層検索処理部の動作について説明する。
【００５３】
図６は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部で用いられる第３階層のみを持つＨＤＬファイル群の階層図、図７は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部で用いられる中間階層を含むＨＤＬファイル群の階層図、図８は本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内のＨＤＬファイル階層検索処理部の動作を示すフローチャート、図９は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部内のＨＤＬファイル第１検索処理部の動作を示すフローチャート、図１０は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部内のＨＤＬファイル第２検索処理部の動作を示すフローチャート、図１１は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル第１検索処理部およびＨＤＬファイル第２検索処理部内の下位階層検索処理部の動作を示すフローチャートである。
【００５４】
まず、前提として、基準論理回路となるＨＤＬファイル群５０１は、図６に示すような第２階層の下にある第３階層がそれぞれ１つのＨＤＬファイルに記述されたものと、図７に示すような第２階層の下に中間階層があり、中間階層の下に機能記述された最下位階層があるものに大別される。
【００５５】
ＨＤＬファイル群５０１のファイル名にはネーミングルールがあらかじめ決まっており、“＜識別子＞＿＜階層名＞”の名前で命名されている。ただし、同じ＜階層名＞で異なるＨＤＬファイルが存在する場合があり、“＜識別子１＞＿＜階層名Ａ＞”、”＜識別子２＞＿＜階層名Ａ＞”のように識別子を使って区別される。論理合成処理部においては同じ階層名Ａでも最新のＨＤＬファイルに含まれる方がネットリストに合成された論理である。
【００５６】
図８に示すＨＤＬファイル検索処理部の動作を、図７に示すＨＤＬファイル群を例として説明する。
【００５７】
図５のステップ１０３のＨＤＬファイル検索処理部の動作は、図８に示すように、まず、ステップ７０１でＨＤＬファイル群５０１のファイルについて、作成日が新しい順に並べたＨＤＬファイルリスト７０を作成し、ステップ７０２でＨＤＬファイル第１検索処理部を用いて、図７の第２階層に相当するファイル６１と第３階層に相当するファイル６１１、ファイル６１２、ファイル６１３を、基準論理回路読込みファイルリスト７１に出力する。
【００５８】
中間階層の存在する場合は、ステップ７０４でＨＤＬファイル第２検索処理部を用いて、中間階層に相当するファイル６１３、ファイル６１３１、ファイル６１３２、中間階層の下の最下位階層に相当するファイル６１３１１、ファイル６１３１２、ファイル６１３２１、ファイル６１３２２を基準論理回路読込みファイルリスト７１に出力する。
【００５９】
ステップ７０５で基準論理回路読込みファイルリスト７１中の重複したファイル名を省く。これにより検証を行う第２階層配下をすべて記述したＨＤＬファイルのファイル名のリストが、基準論理回路読込みファイルリスト７１から得ることができる。
【００６０】
また、図８のステップ７０２のＨＤＬファイル第１検索処理部の動作は、図９に示すように、ステップ８０１で論理合成情報６０より検証対象の第２階層を記述したＨＤＬファイル６１を取得する。
【００６１】
ステップ８０２で検証対象の第２階層のＨＤＬファイル名を基準論理回路読込みファイルリスト７１に登録し、ステップ８０３で下位階層検索処理部にファイル６１を渡し、ステップ８０４で下位階層検索処理部を用いて、下位階層を検索する。
【００６２】
また、図９のステップ８０４の下位階層検索処理部の動作は、図１１に示すように、ステップ１００１でファイル６１を読込んで、ステップ１００２で構文解析してファイル６１に記述された第３階層名を抽出して下位階層リスト７３に出力する。
【００６３】
ステップ１００３で第３階層名をキーとしてＨＤＬファイルリスト７０のファイル名＜識別子＞＿＜階層名＞と照会する。ステップ１００４でキーに最初ヒットするファイル名が存在した場合、ステップ１００５で基準論理回路読込みファイルリスト７１に追加する。最初にヒットするファイル名を選択するのは作成日付が最新のものを選択するためである。ステップ１００４でキーに合致するファイル名にヒットしなかった場合は、エラーとして終了する。
【００６４】
ステップ１００６で下位階層リスト７３の最終判定を行い、最終でなければ、ステップ１００３に戻り、次の第３階層名をキーとしてＨＤＬファイルリストと照会する。これにより基準論理回路読込みファイルリスト７１には、ファイル６１、ファイル６１１、ファイル６１２、ファイル６１３が出力される。
【００６５】
また、図８のステップ７０４のＨＤＬファイル第２検索処理部の動作は、図１０に示すように、中間階層が存在する場合は、ステップ９０１で論理合成情報より中間階層のＨＤＬファイル名ファイル６１３、ファイル６１３１、ファイル６１３２を取得し、ステップ９０２で基準回路読込みファイルリスト７１に追加する。
【００６６】
ステップ９０３で中間階層ファイルリスト７２を作成し、ステップ９０４で中間階層ファイルリスト７２よりＨＤＬファイル名を１つ取り出し下位階層検索処理部に与え、ステップ９０５で下位階層検索処理部を実行する。
【００６７】
図１１に示す下位階層検索処理部を実行する事で、ファイル６１３からその子階層を記述したファイル６１３１、ファイル６１３２を検索し、ファイル６１３１からはファイル６１３１１、ファイル６１３１２を検索し、ファイル６１３２からはファイル６１３２１、ファイル６１３２２を検索して基準論理回路読込みファイルリスト７１に追加する。基準論理回路読込みファイルリスト７１ではファイル６１３、ファイル６１３１、ファイル６１３２が重複するため図８のステップ７０５で重複したＨＤＬファイル名を省く。
【００６８】
ステップ９０６で中間階層ファイルリスト７２の最終判定を行い、最終でなければ、ステップ９０４に戻り、最終であれば終了する。
【００６９】
＜等価検証処理部１の動作＞
次に、図１２により、本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部１の動作について説明する。図１２は本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部１の動作を示すフローチャートである。
【００７０】
図５のステップ１０４の等価検証処理部１の動作は、図１２に示すように、ステップ１１０１で、論理合成情報より論理合成に使用されたテクノロジライブラリ７４を等価検証ツールに読込む。テクノロジライブラリ７４はネットリストを構成するゲート回路のライブラリである。
【００７１】
ステップ１１０２で、図８のステップ７０５で出力した基準回路読込みファイルリスト７１を参照してＨＤＬファイル群５０１のＨＤＬファイルを等価検証ツールに読込み基準論理回路を生成する。
【００７２】
ステップ１１０３で、ネットリスト５０２を等価検証ツールに読込み比較対象論理回路を生成する。
【００７３】
ステップ１１０４で、論理合成情報６０より等価検証ツールに設定を実行し、ステップ１１０５で第２階層の検証対象階層について検証を実行する。
【００７４】
＜等価検証処理部２の動作＞
次に、図１３により、本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部２の動作について説明する。
【００７５】
図１３は本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部２の動作を示すフローチャートである。
【００７６】
図５のステップ１０６の等価検証処理部２の動作は、ステップ１２０１で、論理合成情報６０より論理合成に使用されたテクノロジライブラリ７４を等価検証ツールに読込む。
【００７７】
ステップ１２０２で、ＨＤＬファイル群５０１から第１階層のみのＨＤＬファイルを等価検証ツールに読込む。
【００７８】
ステップ１２０３で、ネットリスト５０２を等価検証ツールに読込み、ステップ１２０４で、第２階層以下をすべてブラックボックスにする。ステップ１２０５で論理合成情報６０より等価検証ツールに設定を実行し、ステップ１２０６で第２階層間の結線関係を検証する。
【００７９】
以上の等価検証処理部１と等価検証処理部２によって論理等価性が保証されたネットリスト５０２を、設計後工程に進める。
【００８０】
以上のように、本実施の形態では、論理合成装置と連動して自動的に論理等価性検証を実施するため、作業工数の削減が可能である。
【００８１】
また、ＨＤＬファイルの階層検索処理部を利用した論理階層分割検証の自動化により、論理追加または変更があった場合の検証効率の向上と検証ミス削減が可能である。
【００８２】
＜ＨＤＬファイルの管理方法＞
次に、図１４により、本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイルの管理方法の一例について説明する。図１４は本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイルの管理方法の一例を説明するための説明図である。
【００８３】
図１４において、設計中／未検証ＨＤＬファイル群１３０１および検証済ＨＤＬファイル群１３０２は、それぞれ、高速外部記憶装置８０および低速大容量外部記憶装置８１内に格納されている。
【００８４】
設計中または論理等価性未検証の設計中／未検証ＨＤＬファイル群１３０１は、論理設計中のため様々なＣＡＤツール（シミュレータ、論理合成、等価検証など）から頻繁にアクセスされるものである。そのため、設計中または未検証の設計中／未検証ＨＤＬファイル群１３０１は高速外部記憶装置８０に格納する。
【００８５】
また、論理等価性検証が完了したＨＤＬファイルに記述された論理は、正しくゲート回路に変換されＬＳＩとして製造工程に入っていくものであるから、これは設計資産である。このような設計資産である検証済ＨＤＬファイル１３０２は、長期的に保管されるものでありアクセス頻度は少なくなるので、比較的低速な低速大容量外部記憶装置８１に保管する。
【００８６】
つまり、本実施の形態の論理等価性検証システムは、高速外部記憶装置８０に格納された設計中／未検証ＨＤＬファイル群１３０１の中から論理等価性が保証されたＨＤＬファイルを、設計資産に昇格させ低速大容量外部記憶装置８１に移動することで、高コストパフォーマンスな設計データ管理を実現する。
【００８７】
検証済ＨＤＬファイル群１３０２は、分割されたファイル群であるがそれらの接続情報を辿ると、ＬＳＩのネットリストと論理等価な階層構造になることは自明である。
【００８８】
以上のように、本実施の形態では、設計中／未検証ＨＤＬファイル群１３０１と検証済ＨＤＬファイル群１３０２を、高速外部記憶装置８０と低速大容量外部記憶装置８１に格納することにより、コストパフォーマンスの高い設計データ管理を行うことが可能である。
【００８９】
以上、本発明者によってなされた発明を実施の形態に基づき具体的に説明したが、本発明は前記実施の形態に限定されるものではなく、その要旨を逸脱しない範囲で種々変更可能であることはいうまでもない。
【００９０】
例えば、本実施の形態では、論理合成処理部３０１および論理等価性検証処理部３０２を論理合成用サーバ３０内で実行しているが、論理合成処理部３０１および論理等価性検証処理部３０２を論理入力用サーバ２０内で実行したり、それぞれ別々のサーバ内で実行することも可能である。
【図面の簡単な説明】
【００９１】
【図１】本発明の一実施の形態に係る論理等価性検証システムの構成を示す構成図である。
【図２】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル群（基準論理回路）の論理階層の模式図である。
【図３】本発明の一実施の形態に係る論理等価性検証システムのネットリスト（比較対象論理回路）の論理階層の模式図である。
【図４】本発明の一実施の形態に係る論理等価性検証システムの検証対象階層を示す模式図である。
【図５】本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証の動作を示すフローチャートである。
【図６】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部で用いられる第３階層のみを持つＨＤＬファイル群の階層図である。
【図７】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部で用いられる中間階層を含むＨＤＬファイル群の階層図である。
【図８】本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内のＨＤＬファイル階層検索処理部の動作を示すフローチャートである。
【図９】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部内のＨＤＬファイル第１検索処理部の動作を示すフローチャートである。
【図１０】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル階層検索処理部内のＨＤＬファイル第２検索処理部の動作を示すフローチャートである。
【図１１】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイル第１検索処理部およびＨＤＬファイル第２検索処理部内の下位階層検索処理部の動作を示すフローチャートである。
【図１２】本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部１の動作を示すフローチャートである。
【図１３】本発明の一実施の形態に係る論理等価性検証システムの論理等価性検証処理部内の等価検証処理部２の動作を示すフローチャートである。
【図１４】本発明の一実施の形態に係る論理等価性検証システムのＨＤＬファイルの管理方法の一例を説明するための説明図である。
【符号の説明】
【００９２】
１０…論理入力用端末、２０…論理入力用サーバ、３０…論理合成用サーバ、４０…ストレージエリアネットワーク、５０…設計データ格納用外部記憶装置、６０…論理合成情報、７０…ＨＤＬファイルリスト、７１…基準論理回路読込みファイルリスト、７２…中間階層ファイルリスト、７３…下位階層リスト、７４…テクノロジライブラリ、８０…高速外部記憶装置、８１…低速大容量外部記憶装置、３０１…論理合成処理部、３０２…論理等価性検証処理部、５０１…ＨＤＬファイル群、５０２…ネットリスト。
【図１】
2006092259.tif 000003
【図２】
2006092259.tif 000004
【図３】
2006092259.tif 000005
【図４】
2006092259.tif 000006
【図５】
2006092259.tif 000007
【図６】
2006092259.tif 000008
【図７】
2006092259.tif 000009
【図８】
2006092259.tif 000010
【図９】
2006092259.tif 000011
【図１０】
2006092259.tif 000012
【図１１】
2006092259.tif 000013
【図１２】
2006092259.tif 000014
【図１３】
2006092259.tif 000015
【図１４】
2006092259.tif 000016