(57)【要約】【課題】  論理回路の論理検証において、同一の検証パターンの発生装置を異なる検証対象に対しても変更無く利用可能にする。【解決手段】  ランダムに発生する転送パターンに対して検証対象論理回路の動作に合わせた制約を与える転送パターン制約装置と、該制約に従って転送パターンをランダムに発生する転送パターン発生装置とに分ける。異なる検証対象論理回路に対して検証パターンを与える時には、転送パターン制約装置を変更するのみで、転送パターン発生装置は変更なく利用することが可能になる。【選択図】  図１
2006127378.tif 000002
【特許請求の範囲】
【請求項１】
論理回路が正常に動作することを確認する論理検証において、ランダムに発生する転送パターンに対して検証対象論理回路の動作に合わせた制約を与える転送パターン制約装置と、該制約に従って転送パターンをランダムに発生する転送パターン発生装置とに分かれていることを特徴とした論理検証装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、論理シミュレーションにより論理回路の論理検証を行う論理検証装置に関するものである。
【背景技術】
【０００２】
年々拡大する電子機器の性能への要求を満たすため、ＬＳＩは高機能化・高集積化を続けている。論理の大規模化・複雑化により、論理回路の設計期間の長期化が問題になっており、とりわけ該回路が正しく動作することを確認する論理検証が大きな割合を占めている。そこで、論理検証を行う各構成部品の再利用を行い、効率良く検証環境を構築することが重要となっている。
【０００３】
図６に従来の論理検証装置の構成を示す。この論理検証装置は、論理回路の論理検証において、ランダムなシミュレーションパターンを自動生成して検証対象論理回路へ入力し、該回路が正しく動作していることを自動判定する装置である。８は検証対象論理回路Ａで該転送アドレス範囲は０ｘ００００から０ｘ７ＦＦＦとなっている。９は検証対象論理回路Ｂで該転送アドレス範囲は０ｘ８０００から０ｘＦＦＦＦとなっている。６は検証対象論理回路との間で信号を送受信する回路の動作を摸擬する回路動作摸擬装置であり、検証対象論理回路とアドレス線１０、データ線１１、制御信号線１２で接続されている。６０１、６０２は書き込み、読み出しといった転送単位のパターンをランダムに発生し、回路動作摸擬装置６に対して転送パターン通信手段４によって与える転送パターン発生装置。５は、転送単位のパターンを受け取り、信号レベルの動作を行う回路動作摸擬装置６へ与える転送パターン受信インターフェースである。７は書き込み時に回路動作摸擬装置６から検証対象論理回路８、９に転送されたデータと、読み出し時に検証対象論理回路８、９から回路動作摸擬装置６に転送されたデータを比較し、異なっていた場合エラーを報告する自動判定装置である。
【０００４】
次に、本発明を実施する動作の手順を説明する。まず、検証対象論理回路Ａ８へ検証パターンを与え、動作を確認する方法を説明する。転送パターン発生装置Ａ６０１が、アドレス、データ、書き込み／読み出しを、間隔をランダムに生成し、出力する。この時、アドレスは検証対象論理回路Ａ８の転送アドレス範囲０ｘ００００から０ｘ７ＦＦＦに合わせて生成される。出力されたパターンは転送パターン通信手段２によって転送パターン受信インターフェース３を通して回路動作摸擬装置Ａ４に転送される。
【０００５】
ここで、転送パターン通信手段２の動作を、図３、図４を元に説明する。転送パターン発生装置３がアドレス、データ、書き込み／読み出しを発生すると同時に転送パターン受信インターフェース５に与える。この時、図４の転送パターン発生装置１における状態遷移図では、転送パターン発生処理４０１から待機４０４へ移動し、転送パターン受信インターフェース３からパターン受信通知４０２が来るのを待つ。該通知が来ると転送パターン発生処理４０１へ戻るが、この時読み出し処理の場合は同時にデータ３０３を受け取る。
【０００６】
図５は、回路動作摸擬装置６と検証対象論理回路Ａ８間のアドレス線１０とデータ線１１と制御信号線１２のそれぞれに流れる信号のタイミングチャートである。(1)は書き込み時を表し、(2)は読み出し時を表す。制御信号線１２には、回路動作摸擬装置６から出力されるアドレスが有効であることを示すアドレス有効信号５０２、書き込みであるか読み出しであるかを示す読み書き信号５０５、回路動作摸擬装置６から出力されたデータを検証対象論理回路Ａ８が受信したもしくは検証対象論理回路Ａ８が回路動作摸擬装置６へデータを送信したことを示すデータ送受信信号５０６が流れている。クロック信号５０１は回路動作摸擬装置６と検証対象論理回路Ａ８に接続され、双方は該クロック信号を基準に動作する。回路動作摸擬装置６は転送パターン受信インターフェース５が書き込み転送パターンを受け取ると、アドレス有効信号５０２を有効（＝０）にし、同時にアドレス信号５０３、データ信号５０４、読み書き信号５０５にそれぞれ受け取ったアドレス、データ、書き込み（＝０）を乗せる。検証対象論理回路Ａ８からデータ受信信号５０６を受け取ると、転送パターン受信インターフェース５を通してパターン受信通知３０４を転送パターン発生装置３へ送る。次に、回路動作摸擬装置６は転送パターン受信インターフェース５が読み出し転送パターンを受け取ると、アドレス有効信号５０２を有効（＝０）にし、同時にアドレス信号５０３、読み書き信号５０５にそれぞれ受け取ったアドレス、読み出し（＝１）を乗せる。検証対象論理回路Ａ８からデータ送信信号５０６を受け取ると、転送パターン受信インターフェース５を通して同時に受け取ったデータ５０４とパターン受信通知３０４を転送パターン発生装置３へ送る。
【０００７】
自動判定装置７は、書き込み時に回路動作摸擬装置６から検証対象論理回路Ａ８に転送されたデータと、読み出し時に検証対象論理回路Ａ８から回路動作摸擬装置６に転送されたデータを比較し、異なっていた場合エラーを報告する。
【０００８】
次に、転送アドレスが検証対象論理回路Ａ８と異なる検証対象論理回路Ｂ９へ検証パターンを与え、動作を確認する方法を説明する。転送パターン発生装置Ｂ６０２が、アドレス、データ、書き込み／読み出しを、間隔をランダムに生成し、出力する。この時、アドレスは転送パターン発生装置Ａ６０１とは異なり、検証対象論理回路Ｂ９の転送アドレス範囲０ｘ８０００から０ｘＦＦＦＦに合わせて生成される。出力されたパターンは転送パターン通信手段２によって転送パターン受信インターフェース３を通して回路動作摸擬装置６に転送される。以降は検証対象論理回路Ａ８と同様である。
【０００９】
以上のような手法で論理回路が正しく動作することを検証していた。
【００１０】
又、別の従来例としては、テストベンチ上に実際に起こるよりも厳しい条件を簡単に発生させ、検証対象回路のバグ出しを行ない設計品質の向上を図る課題に対して、テストベンチ上に実際の回路とは異なるマスタモデルやスレーブモデルを複数配置し各種データ転送をランダムに発生させる論理検証手法（例えば特許文献１参照）をあげることが出来る。
【特許文献１】特開２００３−１５７１８２号公報
【発明の開示】
【発明が解決しようとする課題】
【００１１】
しかしながら、上記従来の技術例では、与えられるべきパターンの異なる検証対象論理回路の論理検証を行う場合、検証パターンを与える装置を全て交換しなければならず、効率が悪いという問題があった。
【課題を解決するための手段】
【００１２】
前述の課題を解決するために本発明では検証パターンの生成装置を、転送パターンを検証対象論理回路の動作に合わせた制約を与える転送パターン制約装置と、該制約に従って転送パターンをランダムに発生する転送パターン発生装置とに分けることを特徴とする。異なる検証対象論理回路に対して検証パターンを与える時には、回路動作摸擬装置のみを変更する。
【発明の効果】
【００１３】
本発明によって、検証対象論理回路に与えられるべきパターンの範囲が変更した場合でも、転送パターン発生装置を変更無しに利用することが可能になった。
【発明を実施するための最良の形態】
【００１４】
まず、本発明を実施する装置の構成を、図１を用いて説明する。８は検証対象論理回路Ａで該転送アドレス範囲は０ｘ００００から０ｘ７ＦＦＦとなっている。９は検証対象論理回路Ｂで該転送アドレス範囲は０ｘ８０００から０ｘＦＦＦＦとなっている。６は検証対象論理回路との間で信号を送受信する回路の動作を摸擬する回路動作摸擬装置であり、検証対象論理回路とアドレス線１０、データ線１１、制御信号線１２で接続されている。３は書き込み、読み出しといった転送単位のパターンをランダムに発生し、回路動作摸擬装置６に対して転送パターン通信手段４によって与える転送パターン発生装置。１、２は、転送パターン発生装置３が発生するランダムなパターンに対して範囲を制約するパターン制約装置。５は、転送単位のパターンを受け取り、信号レベルの動作を行う回路動作摸擬装置６へ与える転送パターン受信インターフェースである。７は書き込み時に回路動作摸擬装置６から検証対象論理回路８、９に転送されたデータと、読み出し時に検証対象論理回路８、９から回路動作摸擬装置６に転送されたデータを比較し、異なっていた場合エラーを報告する自動判定装置である。
【００１５】
次に、本発明を実施する動作の手順を説明する。まず、検証対象論理回路Ａ８へ検証パターンを与え、動作を確認する方法を説明する。転送パターン発生装置１が、アドレス、データ、書き込み／読み出しを、間隔をランダムに生成し、出力する。この時、図２の制約情報部２０２の情報を元に制約を行う。検証対象が検証対象論理回路Ａ８の場合、アドレスが０ｘ００００から０ｘ７ＦＦＦに制約される。また、該制約情報部の情報は、装置の起動時に転送パターン制約装置Ａ１内の制約情報が転送される。制約情報を元に生成し、出力されたパターンは転送パターン通信手段４によって転送パターン受信インターフェース３を通して回路動作摸擬装置６に転送される。
【００１６】
ここで、転送パターン通信手段４、回路動作摸擬装置６と検証対象論理回路Ａ８間の動作、自動判定装置７の動作は、従来例に準ずる。
【００１７】
次に、転送アドレスが検証対象論理回路Ａ８と異なる検証対象論理回路Ｂ９へ検証パターンを与え、動作を確認する方法を説明する。転送パターン発生装置３が、アドレス、データ、書き込み／読み出しを、間隔をランダムに生成し、出力する。この時、検証対象が検証対象論理回路Ａ８の時と同様に、図２の制約情報部２０２の情報を元に制約を行う。この時、アドレスは０ｘ８０００から０ｘＦＦＦＦに制約される。以降の動作は検証対象論理回路Ａ８の場合に準ずる。
【図面の簡単な説明】
【００１８】
【図１】論理回路の論理検証装置
【図２】転送パターン制約装置２と転送パターン発生装置３の関係を示す図
【図３】転送パターン発生装置３と転送パターン受信インターフェース５間の接続図
【図４】転送パターン発生装置３の状態遷移図
【図５】検証対象論理回路Ａ８と回路動作摸擬装置６間の信号のタイミングチャート及び検証対象論理回路Ｂ９と回路動作摸擬装置６間の信号のタイミングチャート
【図６】従来の論理検証装置
【図１】
2006127378.tif 000003
【図２】
2006127378.tif 000004
【図３】
2006127378.tif 000005
【図４】
2006127378.tif 000006
【図５】
2006127378.tif 000007
【図６】
2006127378.tif 000008