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