JP2004038387A

JP2004038387A - 論理検証システム

Info

Publication number: JP2004038387A
Application number: JP2002192309A
Authority: JP
Inventors: Hiroaki Fujimoto; 藤本　博昭
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 2002-07-01
Filing date: 2002-07-01
Publication date: 2004-02-05

Abstract

【課題】ハードウェア及びソフトウェアを協調させて論理検証対象の論理検証を総合的におこなえ、この論理検証を遠隔地から制御できること。
【解決手段】プロセッサ１４と、論理回路（ＦＰＧＡ１１〜１３）を論理検証装置１に実装してハードウェア検証とソフトウェア検証を協調させた制御をおこなう。ハードウェア検証は、信号発生装置２から動作用のクロックを供給し、信号観測装置３で信号波形を観測し、データ入出力装置４で入力データの供給及び出力データの取り込みをおこなう。ソフトウェア検証は、プロセッサ１４に対し論理検証用のプログラムをロードして動作させたときの動作状態をインサーキットエミュレータ２５及びデバッガを用いて検証する。これらの検証は、ネットワーク７を介して遠隔地の端末６により制御できる。
【選択図】　　　図２

Description

【０００１】
【発明の属する技術分野】
この発明は、ネットワークを介して論理検証装置を遠隔制御できる論理検証システムに関し、特に、論理検証対象に対するハードウェア検証及びソフトウェア検証を遠隔から協調させ検証できる論理検証システムに関する。
【０００２】
【従来の技術】
マイクロプロセッサやメモリ、各種ＩＰ（Ｉｎｔｅｌｌｅｃｔｕａｌ　Ｐｒｏｐｅｒｔｙ）などを組み合わせてなるシステムＬＳＩは、論理検証装置を用いて論理検証される。この論理検証装置は高価であること等を要因として遠隔地の端末との間でやりとりする技術が開示されている。この種の技術は特開平１１−２５２２５１号公報や、特開２０００−２０７４４２号公報に開示されている。
【０００３】
特開平１１−２５２２５１号公報に開示されている技術は、論理検証装置が実行した論理検証結果を電話、ＦＡＸ、電子メールを用いて遠隔地の利用者に通知する構成である。また、特開２０００−２０７４４２号公報に開示されている技術は、遠隔の端末が論理検証用のスクリプトファイルを電子メールに記述して論理検証装置に送信し、論理検証装置が受信した電子メールに記述されたスクリプトファイルに基づく論理検証をおこなう構成である。
【０００４】
【発明が解決しようとする課題】
近年、論理検証装置を用いて論理検証対象であるシステムＬＳＩの論理検証をおこなう際に、論理回路のハードウェア検証とソフトウェア検証を協調させた論理検証をおこなう要望が出てきている。このような場合、論理検証装置が備えたハードウェア資源を用いた論理検証に加えてソフトウェア処理によるデバッグ環境が必要となる。加えて、ソフトウェアのデバッグ環境を遠隔地の利用者によって操作可能とする手段が必要となる。従来は、これらソフトウェアのデバッグ環境を遠隔地から操作することができなかった。また、従来はハードウェア検証とソフトウェア検証を協調させた制御がおこなえなかった。
【０００５】
また、論理検証システムがＦＰＧＡを用いたプロトタイピングシステムである場合には、論理検証システムがクロック信号生成機能、信号観測機能、テストパターン入力機能、検証結果出力機能を持たない場合がある。その場合は、論理検証システムに対して必要な機能の装置（信号発生装置、信号観測装置、テストパターン入力及び検証結果出力装置等）を接続するが、これら各装置についても遠隔地から制御するための手段が必要となる。
【０００６】
この発明は、上記問題点に鑑みてなされたものであって、ハードウェア検証及びソフトウェア検証を協調させて論理検証対象の論理検証を総合的におこなえ、この論理検証を遠隔地から制御できる論理検証システムを提供することを目的とする。
【０００７】
【課題を解決するための手段】
上記目的を達成するため、本発明の論理検証システムは、ソフトウェアプログラミング可能なプロセッサと、論理回路を論理検証装置に実装してハードウェア検証とソフトウェア検証を協調させた検証をおこなう。ハードウェア検証は、信号発生装置から論理回路に対し動作用のクロックを供給し、信号観測装置で信号波形を観測し、データ入出力装置で入力データの供給及び出力データの取り込みをおこなう。ソフトウェア検証は、プロセッサに対し論理検証用のソフトウェアをロードし動作させたときの動作状態をインサーキットエミュレータ及びデバッガを用いて検証する。論理検証装置に接続される信号発生装置、信号観測装置、データ入出力装置、インサーキットエミュレータは、それぞれネットワークを介して遠隔地の端末に接続され、端末により遠隔制御できる。端末はデバッガの機能を有し遠隔地でのデバッグ作業を可能にする。
【０００８】
この発明によれば、遠隔地にある端末からネットワークを介して、論理回路のハードウェア検証、例えば信号発生装置を用いたクロック信号及びリセット信号の制御、データ入出力装置を用いたテストパターンの入力及び検証結果の出力を端末からの制御により実行できる。この際、端末で信号波形の観測及び出力データを取り込むことができる。また、ソフトウェア検証については端末のデバッグ環境を使用してデバッグ作業をおこなえる。このように遠隔の端末を用いてハードウェア検証とソフトウェア検証を協調させた制御がおこなえるため、遠隔地であっても論理回路の総合的な検証作業を効率的におこなえるようになる。
【０００９】
【発明の実施の形態】
以下に添付図面を参照して、この発明に係る論理検証システムの好適な実施の形態を詳細に説明する。図１は、本発明の論理検証システムの実施の形態の構成を示すブロック図である。
【００１０】
この論理検証システムは、論理検証装置１，信号発生装置２，信号観測装置３，データ入出力装置４，ソフトウェアデバッグ環境５、遠隔地の端末６によって構成されている。遠隔地の端末６は、ネットワーク７を介して信号発生装置２，信号観測装置３，データ入出力装置４，ソフトウェアデバッグ環境５にそれぞれ接続され、これらを遠隔操作（制御）できるようになっている。
【００１１】
図２は、論理検証システムの各部の構成を示すブロック図である。論理検証装置１は、ＦＰＧＡ１１，１２，１３を用いたプロトタイピングシステムを使用し、ＪＴＡＧインターフェースを持つプロセッサ１４が実装され、内部信号を選択出力可能に構成されている。ＦＰＧＡ１１〜１３は、検証対象の論理回路をマッピング（該当する論理回路を書き込んだ）デバイスである。この実施形態では、論理検証装置１がＦＰＧＡ１１〜１３を用い、このＦＰＧＡ１１〜１３を論理検証の対象回路とする。
【００１２】
信号発生装置２は、信号発生器２０と、ネットワーク７に接続された信号発生器制御ホスト２１で構成されている。信号観測装置３としては、ネットワークインターフェースを持つロジックアナライザ２３を使用する。ソフトウェアデバッグ環境５は、インサーキットエミュレータ２５と、ネットワーク７に接続されたインサーキットエミュレータホスト２６によって構成される。
【００１３】
図３は、信号発生装置の内部構成を示すブロック図である。図示のように、遠隔地の端末６による遠隔操作時には、遠隔地の端末６から信号発生器制御ホスト２１にｔｅｌｎｅｔまたはｒｌｏｇｉｎ等でログインした後、信号発生器制御ホスト２１に格納された信号発生器制御プログラムを実行することにより、信号発生器２０が発生するクロック信号のＯＮ／ＯＦＦ及びリセット信号の制御をおこなう。
【００１４】
図４は、信号観測装置の内部構成を示すブロック図である。信号観測装置３として用いるロジックアナライザ２３は、例えば、Ｘ　Ｗｉｎｄｏｗ　ＳｙｓｔｅｍやＶＮＣ（Ｖｉｒｔｕａｌ　Ｎｅｔｗｏｒｋ　Ｃｏｍｐｕｔｉｎｇ）等の機能を用いて遠隔地の端末６に観測した信号波形を送信し、遠隔地の端末６にこの信号波形を表示して確認できる。
【００１５】
図５は、データ入出力装置の内部構成を示すブロック図である。データ入出力装置４は、パーソナルコンピュータ（ＰＣ）等を用いネットワーク７に接続されるホスト機能を有して構成される。このデータ入出力装置（ホスト）４には、ＦＰＧＡ３１を搭載したＰＣＩボード３２と、ホスト４上で動作するボード制御プログラム３３と、論理検証装置１に対する論理検証時に入出力するデータを格納する入出力データ格納部３４とを有している。入出力データ格納部３４は、メモリやＨＤＤ等の記憶装置によって構成される。
【００１６】
そして、ＰＣＩボード３２上のＦＰＧＡ３１にインターフェース回路を実装することによって、論理検証装置１と任意のインターフェースで接続される。ボード制御プログラム３３は、入出力データ格納部３４から入力データファイルを読み出し、ＰＣＩボード３２を経由して論理検証装置１に対し検証用のテストパターンを送出する。また、論理検証装置１から出力される出力データファイルを入出力データ格納部３４に保存する。遠隔地の端末６は、この入力データファイルをデータ入出力装置４に出力し、出力データファイルを受け取ることができる。加えて、遠隔地の端末６からｔｅｌｎｅｔまたはｒｌｏｇｉｎ等でログインした後、ボード制御プログラム３３の実行を制御することができる。
【００１７】
図６は、ソフトウェアデバッグ環境の内部構成を示すブロック図である。ソフトウェアデバッグ環境５は、インサーキットエミュレータ２５と、ネットワーク７に接続されたインサーキットエミュレータホスト２６と、遠隔地の端末６に設けられたデバッガ３７によって構成されている。デバッガ３７は、遠隔地の端末６上で動作するソフトウェアで構成される。
【００１８】
インサーキットエミュレータ２５は、論理検証装置１上のプロセッサ１４と、インサーキットエミュレータホスト２６に接続されている。遠隔地の端末６上で動作するデバッガ３７は、このインサーキットエミュレータホスト２６に接続してブレークポイントの設定、メモリ、レジスタ内容の確認等のデバッグ作業をおこなうことができる。
【００１９】
次に、上記構成による論理検証装置１の遠隔制御内容について説明する。図７は、信号発生装置に対する遠隔制御の手順を示すフローチャートである。始めに、遠隔地の端末６からネットワーク７を介して信号発生装置２に設けられた信号発生器制御ホスト２１にログインする（ステップＳ１）。次に、信号発生器制御ホスト２１の信号発生器制御プログラムを起動させる（ステップＳ２）。
【００２０】
信号発生器２０は、この信号発生器制御プログラムに従い、所定形態の信号の出力をスタートする（ステップＳ３）。信号発生器２０が出力する信号は、論理検証装置１に供給され、論理検証装置１は、信号発生器２０から供給された信号に基づいて動作開始する（ステップＳ４）。この後、信号出力をストップさせたときに（ステップＳ５）、デバッグ終了の有無の判断する（ステップＳ６）。
【００２１】
デバッグ継続時には（ステップＳ６：Ｎｏ）、他の形態の信号を出力する等のためにステップＳ２に復帰して信号出力の処理を再度実行する。一方、デバッグ終了時には（ステップＳ６：Ｙｅｓ）、ログアウトし（ステップＳ７）、信号発生装置２の遠隔制御を終了する。上述した信号出力のスタート及びストップ、及びデバッグ終了の有無は、遠隔地の端末６の操作によって遠隔制御できる。
【００２２】
図８は、信号観測装置に対する遠隔制御の手順を示すフローチャートである。始めに、遠隔地の端末６からネットワーク７を介して信号観測装置３を構成するロジックアナライザ２３にログインする（ステップＳ１１）。次に、ロジックアナライザ２３に対して論理検証装置１から出力される観測信号を指定する（ステップＳ１２）。また、観測信号に対するサンプリングレート、トリガ信号、トリガ条件等を指定する（ステップＳ１３）。
【００２３】
この後、論理検証装置１の動作開始に基づき、この論理検証装置１から対象となる観測信号が出力される（ステップＳ１４）。信号観測装置３は、トリガ信号に基づき観測波形として画像データ化し、信号観測装置３に設けられた図示しない表示画面に出力する（ステップＳ１５）。また、この観測波形の画像データを遠隔地の端末６に送信し、遠隔地の端末６で観測信号を観測できる。この観測信号に基づいて論理検証装置１に対する論理検証（デバッグ作業）をおこなう（ステップＳ１６）。デバッグ作業は遠隔地の端末６側で、この端末６に表示された観測信号の観測に基づいておこなうことができる。
【００２４】
この後、観測信号に対する観測終了（デバッグ終了）の有無の判断する（ステップＳ１７）。観測の継続時には（ステップＳ１７：Ｎｏ）、他の観測信号を観測する等のためにステップＳ１２に復帰して、観測条件等の処理を再度実行する。一方、観測の終了時には（ステップＳ１７：Ｙｅｓ）、ログアウトし（ステップＳ１８）、信号観測装置３の遠隔制御を終了する。上述した観測信号、サンプリングレート、トリガ信号、トリガ条件等の指定、及びデバッグ終了の有無は、遠隔地の端末６の操作によって遠隔制御できる。
【００２５】
図９は、データ入出力装置に対する遠隔制御の手順を示すフローチャートである。始めに、遠隔地の端末６からネットワーク７を介してデータ入出力装置（ホスト）４にログインする（ステップＳ２１）。次に、遠隔地の端末６からホスト４に対し入力データファイルを転送する（ステップＳ２２）。この入力データファイルは入出力データ格納部３４に格納される。
【００２６】
次に、データ入出力装置４のボード制御プログラム３３を起動させ（ステップＳ２３）、論理検証装置１の動作を開始させて（ステップＳ２４）、入力データファイルに格納された論理検証用のテストパターンを論理検証装置１に供給する。同時に、論理検証装置１から出力される出力データファイルを取り込んで入出力データ格納部３４に格納する。入力データファイルに基づき論理検証装置１に対するテストパターンの供給がおこなわれた後、ボード制御プログラム３３は、入出力データ格納部３４に格納された出力データファイルを遠隔地の端末６に転送する（ステップＳ２５）。
【００２７】
遠隔地の端末６では、転送された出力データファイルに基づき論理検証装置１に対する論理検証（デバッグ作業）をおこなう（ステップＳ２６）。デバッグ作業は遠隔地の端末６側で、この端末６が取り込んだ出力データファイルを期待値と比較する等によりおこなうことができる。この後、データ入出力の終了（デバッグ終了）の有無の判断する（ステップＳ２７）。データ入出力の継続時には（ステップＳ２７：Ｎｏ）、論理検証装置１に対して他の入力データファイル（テストパターン）を入力させた際の出力データを得る等のためにステップＳ２２に復帰して、論理検証装置１に対するデータの入出力に係る処理を再度実行する。
【００２８】
一方、データ入出力の終了時には（ステップＳ２７：Ｙｅｓ）、ログアウトし（ステップＳ２８）、データ入出力装置４の遠隔制御を終了する。上述したデータ入力ファイルの転送、ボード制御プログラム３３の起動、出力データファイルの受け取り、及びデバッグ終了の有無は、遠隔地の端末６の操作によって遠隔制御できる。
【００２９】
上記入出力データ及び検証内容の具体例を説明する。例えば、システムＬＳＩが入力された音声や動画のデータに対する所定の処理を実行して出力する構成である場合、システムＬＳＩに対しこれら音声や動画の入力データ（サンプルデータ）を入力させたときに得られる出力データとして期待した状態が得られるか否かを検証する。
【００３０】
図１０及び図１１は、ハードウェアとソフトウェアを協調制御した検証処理の手順を示すフローチャートである。図１０の基本手順に従って論理検証装置１に対しテストパターンを入力し、結果が期待値と一致しない場合には図１１に示すデバッグ時の処理を実行する。
【００３１】
始めに図１０の基本手順を説明する。この協調制御時には、予め遠隔地の端末６から論理検証装置１に接続されている各装置（信号発生装置２，信号観測装置３，データ入出力装置４）と、ソフトウェアデバッグ環境５（インサーキットエミュレータホスト２６）全てにログインしておく。
【００３２】
次に、遠隔地の端末６を操作してデータ入出力装置（ホスト）４のボード制御プログラム３３の動作を開始させる（ステップＳ３１）。次に、信号発生装置２の信号発生器制御ホスト２１を制御し、信号発生器２０から論理検証装置１に対してクロックの出力を開始させる（ステップＳ３２）。
【００３３】
次に、遠隔地の端末６上でデバッガ３７を起動する（ステップＳ３３）。この後、デバッガ３７からネットワーク７，インサーキットエミュレータホスト２６，インサーキットエミュレータ２５を介して論理検証装置１のプロセッサ１４に論理検証用のプログラムをロードする（ステップＳ３４）。
【００３４】
この後、デバッガ３７上からプロセッサ１４を起動し、論理検証装置１を動作させる（ステップＳ３５）。論理検証用のプログラムに従いプロセッサ１４を起動させ論理検証装置１を動作させることによって、この論理検証装置１から所定の出力データが得られる。得られた出力データは、データ入出力装置４の入出力データ格納部３４に格納された後、遠隔地の端末６に転送される。
【００３５】
遠隔地の端末６では、論理検証用のプログラム終了した後、転送されてきた出力データを期待値と比較する（ステップＳ３６）。得られた出力データが期待値に一致すれば（ステップＳ３７：Ｙｅｓ）、検証処理を終了する。一方、得られた出力データが期待値に一致しない場合には（ステップＳ３７：Ｎｏ）、図１１に示すデバッグ時の処理をおこなう（ステップＳ３８）。
【００３６】
次に、図１１に示すデバッグ時の手順を説明する。まず、遠隔地の端末６を操作してデータ入出力装置（ホスト）４のボード制御プログラム３３の動作を開始させる（ステップＳ４１）。次に、信号発生装置２の信号発生器制御ホスト２１を制御し、信号発生器２０から論理検証装置１に対してクロックの出力を開始させる（ステップＳ４２）。
【００３７】
次に、遠隔地の端末６上でデバッガ３７を起動する（ステップＳ４３）。この後、デバッガ３７からネットワーク７，インサーキットエミュレータホスト２６，インサーキットエミュレータ２５を介して論理検証装置１のプロセッサ１４に論理検証用のプログラムをロードする（ステップＳ４４）。
【００３８】
次に、遠隔地の端末６を操作しデバッガ３７におけるブレークポイントの設定や、ロジックアナライザ２３のトリガ条件の指定等をおこない（ステップＳ４５）、論理検証装置１を動作させる（ステップＳ４６）。この動作により論理検証装置１から得られた出力データ（観測波形，出力データ等）に基づくデバッグ作業をおこなう（ステップＳ４７）。具体的には、デバッガ３７によりインサーキットエミュレータ２５を遠隔制御してソフトウェアのデバッグをおこなう。また、ロジックアナライザ２３を遠隔制御してハードウェアの検証（信号観測等）をおこなう。
【００３９】
この後、デバッグ作業の終了を判断する（ステップＳ４８）。デバッグ作業の終了の有無は、論理検証装置１の不具合（バグ等）の検出に基づき判断される。バグが検出された後、このバグが解消されればデバッグ作業を終了させることができ（ステップＳ４８：Ｙｅｓ）、一方バグの検出が続けば（ステップＳ４８：Ｎｏ）、論理検証装置１を動作させるプログラム、あるいは論理検証装置１を構成する回路（ＦＰＧＡ１１〜１３等）の回路構成の修正をおこない（ステップＳ４９）、ステップＳ４１に復帰して上記同様のデバッグ作業を継続しておこなう。
【００４０】
以上説明した論理検証に係る方法は、予め用意された論理検証用のプログラムを論理検証装置１に接続される各装置（信号発生装置２，信号観測装置３，データ入出力装置（ホスト）４，ソフトウェアデバッグ環境５のインサーキットエミュレータホスト２６）や、遠隔地の端末６として用いるパーソナルコンピュータやワークステーション等のコンピュータで実行することにより実現することができる。また、遠隔地の端末６に対するプログラムの実行でデバッガ３７の機能を実現する。このプログラムは、各種記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネット等のネットワークを介して配布することが可能な伝送媒体であってもよい。
【００４１】
（付記１）論理検証対象としての論理回路が実装される論理検証手段と、
前記論理検証手段に実装された前記論理回路の信号入出力状態を検証する、ネットワークを介した制御手段により制御されるハードウェア検証手段と、
前記論理検証手段に実装された前記論理回路を所定の機能を有して動作させた際の入出力データを検証する、前記ネットワークを介した前記制御手段により制御されるソフトウェア検証手段と、
を備えたことを特徴とする論理検証システム。
【００４２】
（付記２）論理検証対象としての論理回路が実装される論理検証手段と、
前記論理検証手段に実装された前記論理回路の信号入出力状態を検証するハードウェア検証手段と、
前記論理検証手段に実装された前記論理回路を所定の機能を有して動作させた際の入出力データを検証するソフトウェア検証手段と、
前記ハードウェア検証手段及び前記ソフトウェア検証手段に対してネットワークを介して接続され、前記ハードウェア検証手段及び前記ソフトウェア検証手段を制御する制御手段と、
を備えたことを特徴とする論理検証システム。
【００４３】
（付記３）前記ハードウェア検証手段は、前記論理回路を動作させるクロックを少なくとも含む信号を供給する信号発生手段を含み、
前記制御手段は、前記信号発生手段を制御し、前記論理回路に対する前記クロックを含む信号の供給を制御することを特徴とする付記２に記載の論理検証システム。
【００４４】
（付記４）前記ハードウェア検証手段は、前記論理回路が出力する信号の波形を観測する信号観測手段を含み、
前記制御手段は、前記信号観測手段を制御し、前記論理回路から出力される前記信号の波形の取り込みをおこなうことを特徴とする付記２または３に記載の論理検証システム。
【００４５】
（付記５）前記ハードウェア検証手段は、前記論理回路に対する論理検証用のデータの入出力を制御するデータ入出力手段を含み、
前記制御手段は、前記データ入出力手段を制御し、前記回路から出力される出力データの取り込みをおこなうことを特徴とする付記２〜４のいずれか一つに記載の論理検証システム。
【００４６】
（付記６）前記ソフトウェア検証手段は、前記論理回路を所定の機能を有して動作させるインサーキットエミュレータと、
前記制御手段に設けられて前記インサーキットエミュレータを制御し、前記入出力データを検証するデバッガと、
を備えたことを特徴とする付記２〜５のいずれか一つに記載の論理検証システム。
【００４７】
（付記７）前記論理検証手段には、前記論理回路を制御するためのプロセッサが実装され、
前記デバッガは、前記プロセッサを所定の機能を有して動作させるための動作検証用のプログラムを前記ネットワークを介して前記プロセッサに転送することを特徴とする付記６に記載の論理検証システム。
【００４８】
（付記８）前記信号発生手段は、前記制御手段の制御に基づき前記論理回路に対して動作用のクロック及びリセット信号を供給することを特徴とする付記３に記載の論理検証システム。
【００４９】
（付記９）前記信号観測手段は、前記制御手段の制御に基づき前記論理回路が出力する信号のトリガ条件を指定することを特徴とする付記４に記載の論理検証システム。
【００５０】
（付記１０）前記データ入出力手段は、前記制御手段の制御に基づき前記論理回路に対する前記入力データとして論理検証用のテストパターンを供給することを特徴とする付記５に記載の論理検証システム。
【００５１】
（付記１１）前記デバッガは、前記論理回路に前記入力データを供給した際に得られた前記出力データを予め定めた期待値と比較し、比較結果が一致しない場合に不具合があると判断し、前記インサーキットエミュレータを制御して所定のデバッグ処理を実行することを特徴とする付記６または７に記載の論理検証システム。
【００５２】
（付記１２）論理検証対象としての論理回路の動作状態を検証する論理検証方法において、
ネットワークを介した制御に基づき前記論理回路の信号入出力状態を検証するハードウェア検証工程と、
前記ネットワークを介した制御に基づき前記論理回路を所定の機能を有して動作させた際の入出力データを検証するソフトウェア検証工程と、
を含むことを特徴とする論理検証方法。
【００５３】
（付記１３）前記ハードウェア検証工程は、
前記論理回路に対して少なくとも動作用の信号を供給する信号供給工程、
前記信号供給工程により供給された信号に基づき前記論理回路が出力する信号の観測波形を得る信号観測工程、
前記論理回路に対して論理検証用の入力データを供給する入力データ供給工程、
前記入力データ供給工程により供給された入力データに基づき前記論理回路が出力する出力データを得る出力データ取得工程、
の少なくとも一つを実行することを特徴とする付記１２に記載の論理検証方法。
【００５４】
（付記１４）前記ソフトウェア検証工程は、
前記論理回路を所定の動作状態で動作させ前記入力データを供給した際に得られた前記出力データを予め定めた期待値と比較し該比較結果に基づき前記論理回路のデバッグをおこなうデバッグ工程と、
前記デバッグ工程時に必要な前記ハードウェア検証工程のうち少なくとも一つの工程を実行する協調工程と、
を含むことを特徴とする付記１３に記載の論理検証方法。
【００５５】
【発明の効果】
本発明によれば、論理検証手段に実装された論理回路の信号入出力に関するハードウェアの論理検証と、論理回路を所定の動作状態で動作させたときのソフトウェア動作に係る検証をいずれもネットワークを介して遠隔地の制御手段から制御できるため、ハードウェア検証及びソフトウェア検証を協調させた総合的な検証処理がおこなえるという効果を奏する。これにより、遠隔地においても効率よく検証作業を遂行できるようになる。同時に、遠隔地の制御手段を操作してソフトウェアデバッグ作業がおこなえるようになり、デバッグをおこなう場所の制約を解消できるようになる。
【図面の簡単な説明】
【図１】本発明の論理検証システムの実施の形態の構成を示すブロック図である。
【図２】論理検証システムの各部の構成を示すブロック図である。
【図３】信号発生装置の内部構成を示すブロック図である。
【図４】信号観測装置の内部構成を示すブロック図である。
【図５】データ入出力装置の内部構成を示すブロック図である。
【図６】ソフトウェアデバッグ環境の内部構成を示すブロック図である。
【図７】信号発生装置に対する遠隔制御の手順を示すフローチャートである。
【図８】信号観測装置に対する遠隔制御の手順を示すフローチャートである。
【図９】データ入出力装置に対する遠隔制御の手順を示すフローチャートである。
【図１０】ハードウェアとソフトウェアを協調制御した検証処理の手順を示すフローチャートである（その１）。
【図１１】ハードウェアとソフトウェアを協調制御した検証処理の手順を示すフローチャートである（その２）。
【符号の説明】
１　論理検証装置
２　信号発生装置
３　信号観測装置
４　データ入出力装置
５　ソフトウェアデバッグ環境
６　遠隔地の端末
７　ネットワーク
１１〜１３　ＦＰＧＡ
１４　プロセッサ
２０　信号発生器
２１　信号発生器制御ホスト
２３　ロジックアナライザ
２５　インサーキットエミュレータ
２６　インサーキットエミュレータホスト
３２　ＰＣＩボード
３３　ボード制御プログラム
３４　入出力データ格納部
３７　デバッガ

Claims

論理検証対象としての論理回路が実装される論理検証手段と、
前記論理検証手段に実装された前記論理回路の信号入出力状態を検証する、ネットワークを介した制御手段により制御されるハードウェア検証手段と、
前記論理検証手段に実装された前記論理回路を所定の機能を有して動作させた際の入出力データを検証する、前記ネットワークを介した前記制御手段により制御されるソフトウェア検証手段と、
を備えたことを特徴とする論理検証システム。
論理検証対象としての論理回路が実装される論理検証手段と、
前記論理検証手段に実装された前記論理回路の信号入出力状態を検証するハードウェア検証手段と、
前記論理検証手段に実装された前記論理回路を所定の機能を有して動作させた際の入出力データを検証するソフトウェア検証手段と、
前記ハードウェア検証手段及び前記ソフトウェア検証手段に対してネットワークを介して接続され、前記ハードウェア検証手段及び前記ソフトウェア検証手段を制御する制御手段と、
を備えたことを特徴とする論理検証システム。
前記ソフトウェア検証手段は、前記論理回路を所定の機能を有して動作させるインサーキットエミュレータと、
前記制御手段に設けられて前記インサーキットエミュレータを制御し、前記入出力データを検証するデバッガと、
を備えたことを特徴とする請求項２に記載の論理検証システム。
前記論理検証手段には、前記論理回路を制御するためのプロセッサが実装され、
前記デバッガは、前記プロセッサを所定の機能を有して動作させるための動作検証用のプログラムを前記ネットワークを介して前記プロセッサに転送することを特徴とする請求項３に記載の論理検証システム。
前記デバッガは、前記論理回路に供給した入力データに基づき得られた出力データを予め定めた期待値と比較し、比較結果が一致しない場合に不具合があると判断し、前記インサーキットエミュレータを制御して所定のデバッグ処理を実行することを特徴とする請求項３または４に記載の論理検証システム。