(57)【要約】【課題】  システム検証において、同時に個別検証用テストを起動させた場合、各々の個別検証用テストの使用する周辺回路が衝突してしまうという問題を防ぐことを目的とする。【解決手段】  システム検証テストの実行において、システム検証テスト記述によって指定される複数の個別検証テスト記述に対応する周辺回路を検証するシステム検証手段と、個別検証テストが検証している周辺回路の使用状況を管理する管理手段とを備える。【選択図】  図１
2007094526.tif 000002
【特許請求の範囲】
【請求項１】
集積回路に対して論理検証の処理を行う装置であって、前記集積回路に含まれる複数の周辺回路に対応した複数の個別検証テスト記述と、前記複数の周辺回路を同時に動作させて論理検証するためのシステム検証テスト記述と、システム検証テストの実行において、前記システム検証テスト記述によって指定される複数の個別検証テスト記述に対応する周辺回路を検証するシステム検証手段と、個別検証テストが検証している周辺回路の使用状況を管理する管理手段とを備えることを特徴とする集積回路用論理検証装置。
【請求項２】
前記複数の周辺回路は、検証用に作成したモデルを含むことを特徴とする請求項1記載の集積回路用論理検証装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、集積回路のための論理検証装置及び方法に関するものである。
【背景技術】
【０００２】
一般に、システムLSI等の集積回路のための論理検証テストにおいては、集積回路に含まれる複数の周辺回路のそれぞれを個別に検証するテスト(以下、個別検証という)と、複数の周辺回路を同時に動作させて検証を行うテスト(以下、システム検証という)とは、別に記述されていた。
【０００３】
個別検証では、CPUから検証対象となる周辺回路にアクセスするテストを記述する方式と、検証対象となる周辺回路の入出力信号または内部回路を直接制御するテストを記述する方式とが多く利用されている。
【０００４】
また、システム検証では、CPUおよび周辺回路を同時に動作させるテストを記述する方式において、複数の周辺回路のためのテストの記述を上記個別検証のためのテストの記述とは別に用意する方式が多く利用されている。
【０００５】
従来例としては、例えば特許文献１と特許文献２をあげることが出来る。
【特許文献１】特開２００２−５５８４３号公報
【特許文献２】特開平２００１−１０１２５号公報
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかしながら、上記従来例では、個別検証用テストをシステム検証で流用すると、各々の個別検証用テストが使用する周辺回路が衝突してしまう、といった問題がある。
【課題を解決するための手段】
【０００７】
上記の課題を解決するための本発明による集積回路用論理検証装置は以下の構成を備える。すなわち、集積回路に対して論理検証の処理を行う装置であって、前記集積回路に含まれる複数の周辺回路に対応した複数の個別検証テスト記述と、前記複数の周辺回路を同時に動作させて論理検証するためのシステム検証テスト記述と、システム検証テストの実行において、前記システム検証テスト記述によって指定される複数の個別検証テスト記述に対応する周辺回路を検証するシステム検証手段と、個別検証テストが検証している周辺回路の使用状況を管理する管理手段とを備える。
【０００８】
なお、本明細書において、記述とはプログラム記述、ソースコード、コンピュータのための実行用のコード等を総括した呼称とする。
【発明の効果】
【０００９】
以上説明したように、本発明によれば、個別検証用テストをシステム検証で流用しても、各々の個別検証用テストが使用する周辺回路の衝突を避けることを可能とする。
【発明を実施するための最良の形態】
【００１０】
以下、添付の図面を参照して本発明の実施形態を説明する。
【実施例１】
【００１１】
図1は、システムLSIの論理検証を行うシステム構成を示すブロック図である。図1において、101はシステム検証用テスト、102〜104は周辺回路の個別検証用テスト、105は各検証テストで使用されるユーティリティ、106は周辺回路110〜112の使用状況を管理するリソース・マネージャーである。また、107は論理検証の対象となるシステムLSIであり、システム・バス108、CPUのシステム・バス動作回路109、周辺回路110〜112、プログラムを格納する読み出し専用メモリ113(以下、ROM)、共有メモリ114、メモリ・コントローラ115を備える。周辺回路110〜112の論理検証用のテストは、それぞれ個別検証用テスト102〜104で記述されているものとする。
【００１２】
システム検証用テスト101を起動すると、個別検証用テスト102〜104が同時に起動される。個別検証テスト102〜104は周辺回路110を起動しようとする場合がある。しかし周辺回路110は1つしかないため、個別検証用テスト102〜104からの周辺回路110の使用を管理する必要がある。この管理をリソース・マネージャー106で行う。
【００１３】
例えば、リソース・マネージャー106が、個別検証用テスト102が周辺回路110を使用することを許可した場合、個別検証用テスト103と104は周辺回路110の使用を許可されず、個別検証用テスト102が周辺回路110の使用が終了するまで、待ちの状態となり、個別検証用テスト102が周辺回路110の使用が終了すれば、個別検証用テスト103または104は周辺回路110を使用することが許可される。以上の処理を、図2のフローチャートを参照して更に説明する。まず、ステップ21で個別検証テストが起動され、ステップ22でシステム検証用のユーティリティを連動させる。ステップ23において、周辺回路の割り当てを行い、ステップ24で割り当てられた周辺回路が使用可能な状況かどうかを判定する。ここで、周辺回路が使用可能であれば、ステップ25へと移り、個別検証が実行される。周辺回路が使用不可能であれば、ステップ24を繰り返し、使用可能となるまで待つこととなる。
【実施例２】
【００１４】
第1の実施例のように待ちの状態へと実行が移るのではなく、他の周辺回路を使用する状態へと実行が移るような、リソース・マネージャー106の使用方法も考えられる。例えば、個別検証用テスト102が周辺回路110を使用することを許可した場合、個別検証用テスト103と104は周辺回路110の使用は許可されないので、個別検証用テスト103と104は周辺回路111または112の使用を要求し、個別検証用テスト103と104は周辺回路111と112を使用することが許可される。以上の処理を、図3のフローチャートを参照して更に説明する。まず、ステップ31で個別検証テストが起動され、ステップ32でシステム検証用のユーティリティを連動させる。ステップ33において、周辺回路の割り当てを行い、ステップ34で割り当てられた周辺回路が使用可能な状況かどうかを判定する。ここで、周辺回路が使用可能であれば、ステップ35へと移り、個別検証が実行される。周辺回路が使用不可能であれば、ステップ33へと実行は移り、使用可能な周辺回路の割り当てを再度行う。周辺回路が使用可能であれば、ステップ35へと移り、個別検証が実行される。
【図面の簡単な説明】
【００１５】
【図１】システムLSIの論理検証を行うシステム構成を示す図である。
【図２】第1の実施例による論理検証処理の手順を説明するフローチャートである。
【図３】第2の実施例による論理検証処理の手順を説明するフローチャートである。
【図１】
2007094526.tif 000003
【図２】
2007094526.tif 000004
【図３】
2007094526.tif 000005