(57)【要約】 【課題】  論理回路設計者と検証プログラム設計者の適切な分離を可能し、ノウハウの流出を回避できる論理シミュレーションのサービス提供システムを提供する。【解決手段】  論理シミュレーション用コンピュータ１０１と論理回路設計者用コンピュータ１０３とがネットワーク１０２で接続された論理シミュレーションのサービス提供システムにおいて、論理シミュレーション用コンピュータ１０１は、ネットワーク１０２を介して受け取った論理回路設計者用コンピュータ１０３の論理回路記述ファイルに対し、別途用意した検証プログラムを用いて論理シミュレーションを実行し、その実行結果を、ネットワーク１０２を介して論理回路設計者用コンピュータ１０３に送信できるようにした。【選択図】  図１
2006120017.tif 000002
【特許請求の範囲】
【請求項１】
論理シミュレーション用コンピュータと論理回路設計者用コンピュータとをネットワークを介して接続した論理シミュレーションのサービス提供システムであって、前記論理シミュレーション用コンピュータは、前記ネットワークを介して受け取った前記論理回路設計者用コンピュータの論理回路記述ファイルに対して所定の検証プログラムにより論理シミュレーションを実行すると共に、その実行結果を、前記ネットワークを介して前記論理回路設計者用コンピュータに送信することを特徴とする論理シミュレーションのサービス提供システム。
【請求項２】
請求項１の論理シミュレーションのサービス提供システムにおいて、前記論理シミュレーション用コンピュータは、前記検証プログラムに組み込まれている検証個所に対し、前記論理回路設計者用コンピュータから指示された検証個所をマスク処理することを特徴とする論理シミュレーションのサービス提供システム。
【請求項３】
請求項１の論理シミュレーションのサービス提供システムにおいて、前記論理シミュレーション用コンピュータは、前記検証プログラムの検証項目に対し、前記論理回路設計者用コンピュータから指示された検証項目をマスク処理することを特徴とする論理シミュレーションのサービス提供システム。
【請求項４】
ネットワークを介して論理回路設計者用コンピュータから受け取った論理回路記述ファイルに対して所定の検証プログラムにより論理シミュレーションを実行すると共に、その実行結果を、前記ネットワークを介して前記論理回路設計者用コンピュータに送信することを特徴とする論理シミュレーション用コンピュータ。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、論理シミュレーション用コンピュータと論理回路設計者用コンピュータとがインターネットで接続された論理シミュレーションのサービス提供システム及び論理シミュレーション用コンピュータに関する。
【背景技術】
【０００２】
例えば、特許文献１記載の技術は、ハードウエア記述言語で記述されたモジュールのサポートを行うサービス提供方法であり、利用者がモジュールとデバイスを提供者に通知し、サービス提供側は、通知を受けたモジュールが、通知を受けたデバイスで正しく動作するかの検証を行い、検証結果を利用者に通知するようにしている。
また、正しく動作しない場合には、ハードウエア記述されたモジュール、または、検証に使用した情報の少なくともどちらか一方を修正するようにしている。また、サービス提供者と利用者とは、ネットワークや電子メールを使用する方法についても記載されている。
又、例えば特許文献２には以下の内容が示されている。論理回路の論理シミュレーションにおいて、ＭＩＮ値、ＴＹＰ値、ＭＡＸ値の条件でのシミュレーション条件の順番で、シミュレーション結果波形の時間的変化が発生するはずであり、これに反しているものをシミュレーション結果波形の時間的関係の不整合エラーとして検出する様にしている。
これにより、ストローブポイントのみで期待値比較を行っていることによる、ディレイ値毎のシミュレーション結果波形の整合性の不一致を検出できないという問題を解決できるというものである。
【特許文献１】特開２００２−３１８８２８公報
【特許文献２】特願平４−１７２５６３号公報
【発明の開示】
【発明が解決しようとする課題】
【０００３】
しかしながら、前記従来技術は、論理回路設計者と検証プログラム設計者の適切な分離技術を提供するものではない。即ち、論理回路設計者と検証プログラム設計者が距離的に分離した場所で開発を行うことに対する考慮がない。
また、論理回路設計者の思い込みによる勘違いを排除するため、検証プログラム設計者は、設計仕様書のみから検証プログラムを作成することで、第３者的立場で論理回路の正当性を評価する場合がある。この場合、論理設計者と論理回路設計者とは、適切に分離されているほうが良い。
更に、論理回路設計と検証プログラム作成とを別の会社で行う場合、ノウハウ流出を避けるため、検証プログラムの詳細内容を社外に出したくないという場合があるが、この部分についても特に考慮されていない。
本発明は、上記問題点を解決し、論理回路設計者と検証プログラム設計者の適切な分離を可能にし、ノウハウの流出を回避できる論理シミュレーションのサービス提供システム及び論理シミュレーション用コンピュータを提供することを目的とする。
【課題を解決するための手段】
【０００４】
前記目的を達成するために、請求項１記載の発明は、論理シミュレーション用コンピュータと論理回路設計者用コンピュータとをネットワークを介して接続した論理シミュレーションのサービス提供システムであって、前記論理シミュレーション用コンピュータは、前記ネットワークを介して受け取った前記論理回路設計者用コンピュータの論理回路記述ファイルに対して所定の検証プログラムにより論理シミュレーションを実行すると共に、その実行結果を、前記ネットワークを介して前記論理回路設計者用コンピュータに送信する論理シミュレーションのサービス提供システムを最も主要な特徴とする。
請求項２記載の発明は、請求項１の論理シミュレーションのサービス提供システムにおいて、前記論理シミュレーション用コンピュータは、前記検証プログラムに組み込まれている検証個所に対し、前記論理回路設計者用コンピュータから指示された検証個所をマスク処理する論理シミュレーションのサービス提供システムを主要な特徴とする。
請求項３記載の発明は、請求項１の論理シミュレーションのサービス提供システムにおいて、前記論理シミュレーション用コンピュータは、前記検証プログラムの検証項目に対し、前記論理回路設計者用コンピュータから指示された検証項目をマスク処理する論理シミュレーションのサービス提供システムを主要な特徴とする。
請求項４記載の発明は、ネットワークを介して論理回路設計者用コンピュータから受け取った論理回路記述ファイルに対して所定の検証プログラムにより論理シミュレーションを実行すると共に、その実行結果を、前記ネットワークを介して前記論理回路設計者用コンピュータに送信する論理シミュレーション用コンピュータを最も主要な特徴とする。
【発明の効果】
【０００５】
本発明によれば、ナットワークを介して受け取った論理回路記述ファイルに対し、別途用意した所定の検証プログラムを用いて論理シミュレーションを実行し、その実行結果を、インターネットを介して論理回路設計者用コンピュータに送信することで、論理回路設計者と検証プログラム設計者の適切な分離を可能とする。また、論理回路設計者からは、論理プログラムの詳細内容がわからないため、ノウハウの流出を回避できる。
また、検証プログラムに組み込まれている検証個所に対し、論理回路設計者からの指示により、指示された検証個所をマスク処理するようにしているので不具合個所の解析の手がかりが掴み易くなる。また、検証プログラム設計者が不在の場合に、検証プログラム側に問題があることが判明した場合、検証をストップすることなくこの個所を飛ばして論理回路検証を行うことができる。
また、検証プログラムの検証項目に対し、論理回路設計者からの指示により、指示された検証項目をマスク処理するようにしているので、論理回路修正にて、シミュレーションを再実行する場合、修正に無関係な検証項目をシミュレーションからはずし、実行時間を削減することができる。また、検証プログラム設計者が不在の場合に、検証プログラム側に問題があることが判明した場合、検証をストップすることなく、この個所を飛ばして論理回路検証を行うことができる。
【発明を実施するための最良の形態】
【０００６】
以下、図面に従って本発明の実施の形態を説明する。
図１は本発明の実施形態に係る論理シミュレーションのサービス提供システムを示す構成図である。論理シミュレーション用コンピュータ１０１と論理回路設計者用コンピュータ１０３及び別の利用者用のコンピュータ１０４、１０５は、インターネットなどのネットワーク１０２を介して接続されている。
図２は論理シミュレーション用コンピュータのハード構成図である。論理シミュレーション用コンピュータ１０１は、ＣＰＵ（中央演算装置）２０１、メモリ２０２、外部ネットワークと接続するための外部インタフェース装置２０３、キーボード、マウス等の入力装置２０４、ＣＲＴ等の表示装置２０５、ＨＤＤ等の磁気記憶装置２０６を備える。
なお、この論理シミュレーション用コンピュータ１０１には、論理シミュレーションの他に、ＦＴＰサービス用ソフトウエア、電子メールソフトウエア、Ｗｅｂサーバソフトウエアも動作している。
【０００７】
図３は論理シミュレーション用コンピュータの処理の流れを示す図である。図３において、スタート後（Ｓ３０１）、論理回路記述ファイル出力により、インターネット経由で論理回路設計者が送信した論理回路記述ファイルを取得する（Ｓ３０２）。
次に検証条件を取得する（Ｓ３０３）。検証条件としては、検証個所のマスク、検証項目のマスク設定等の条件がある。次に、前記検証条件にて、論理回路記述ファイル及び検証側で用意した所定の検証プログラムを使用し、論理シミュレーションを実行する（Ｓ３０４）。
次に論理シミュレーションの終了状態が正常終了によるものか、エラー検出による異常終了によるものなのかを判断する（Ｓ３０５）。正常終了の場合は、全検証プログラムが完了したことを、シミュレーション条件とともに表示し（Ｓ３０６）、エンド（Ｓ３０７）に至る。ステップＳ３０５で異常終了と判定された場合には、エラー検出の検証項目及びエラー検出の検証個所を示す（Ｓ３０８）。
そして、論理回路設計者が解析を行い易くするために、ダンプファイルを出力するかどうかの情報を取得する（Ｓ３０９）。ダンプファイルを出力する場合には、ダンプファイルをダウンロードできる状態にし（Ｓ３１０）、ステップ３０７のエンドに至る。ダンプファイルを出力しない場合もステップＳ３０７のエンドに至る。論理回路設計者は、ダンプファイルを取得する場合には、インターネットなどのネットワーク経由でダンプファイルをダウンロードし、不具合検出個所に至るまでの回路の振る舞いを把握し、論理回路に問題があることがわかった場合には回路を修正し、再度ステップＳ３０１から論理シミュレーションを実行する。検証プログラム側に問題がある場合には、インターネットなどのネットワーク経由でその内容を伝える。
検証プログラム側に問題があることがわかっているが、すぐには検証プログラムが修正できない状態の場合、または、論理回路記述ファイルを修正したが、それまでに検証が終わっていて、今回の論理回路記述ファイルの修正による影響を受けないことがわかっている部分については、その部分の検証をマスクして論理検証を行わせるようにする。
【０００８】
図４は論理回路設計者用コンピュータに表示される内容の例を示す図である。
図４（１）は、検証項目に対するマスク処理を行わない場合の論理回路設計者の設定内容を示している。図４（２）は、１番目の画像処理ＴＹＰＥ１の検証をマスク処理（未実行）とする場合の設定内容を示している。これは、図４（１）の画面から１の部分についてＮにマウス等の入力手段にて設定変更したものである。
図４（３）は、ＴＹＰＥ１において、５６４の検証個所にてエラーを検出した場合の表示画面の例であり、図４（４）は、全検証プログラムがエラー検出個所、期待値マスク個所なしで終了した場合の表示画面例である。
【図面の簡単な説明】
【０００９】
【図１】本発明の実施形態に係る論理シミュレーションのサービス提供システムを示す構成図である。
【図２】論理シミュレーション用コンピュータのハード構成図である。
【図３】論理シミュレーション用コンピュータの処理の流れを示す図である。
【図４】論理回路設計者用コンピュータに表示される内容の例を示す図である。
【符号の説明】
【００１０】
１０１  論理シミュレーション用コンピュータ、１０２  ネットワーク、１０３  論理回路設計者用コンピュータ、１０４、１０５  利用者用のコンピュータ
【図１】
2006120017.tif 000003
【図２】
2006120017.tif 000004
【図３】
2006120017.tif 000005
【図４】
2006120017.tif 000006