(57)【特許請求の範囲】
【請求項１】
クライアントマシンから、シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報とをサーバマシンに投入し前記サーバマシン上で論理シミュレーションを実行するクライアント・サーバ型論理回路シミュレーション装置において、
前記サーバマシンは、前記クライアントマシンから送信され、前記論理シミュレーションのジョブの実行を制御するジョブ実行コマンドに設定されている出力パタン返送フラグがオフを示すとき、前記論理シミュレーション実行後、前記論理シミュレーション結果を格納した出力パタンと前記入力パタン情報の出力期待値とが互いに一致している場合には、前記クライアントマシンに対して、前記出力パタンを返送せずに、前記出力結果サマリだけを返送し、
前記出力パタン返送フラグがオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記入力パタン情報の出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンである場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを返送するように制御する手段を備えた、ことを特徴とするクライアント・サーバ型論理回路シミュレーション装置。
【請求項２】
前記サーバマシンにおいて、前記論理シミュレーション実行時、シミュレーション結果と前記出力期待値との不一致を計数し、
前記論理シミュレーション実行後、前記不一致の計数値を参照し、前記不一致の計数値が零のとき、前記出力パタンと前記入力パタン情報の前記出力期待値とが互いに一致しているものと判定する手段を備え、
前記クライアントマシンから前記回路情報と前記入力パタン情報とともに送信され、論理シミュレーションのジョブの実行を制御する前記ジョブ実行コマンドに設定されている出力パタン返送フラグがオフを示すとき、前記出力パタンと前記出力期待値とが互いに一致している場合には、前記出力パタンを、前記クライアントマシンに返送せずに、前記出力結果サマリだけを、前記クライアントマシンに返送する制御を行う手段を備えた、ことを特徴とする請求項１記載のクライアント・サーバ型論理回路シミュレーション装置。
【請求項３】
クライアントマシンが、シミュレーション対象の前記論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドとを、前記クライアントマシンとネットワーク接続されるサーバマシンに送信する手段を備え、
前記クライアントマシンにおいて、前記出力パタン返却フラグは、前記サーバマシン上で実行される論理シミュレーション結果を格納した出力パタンと前記出力期待値とが一致している場合に、前記クライアントマシンに前記出力パタンを返送しない場合にオフに設定され、
前記サーバマシンが、前記クライアントマシンから送信された前記論理回路の回路情報、前記入力パタン情報、及び前記ジョブ実行コマンドに基づき、論理シミュレーションを実行する手段と、
前記論理シミュレーション実行後、前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合には、前記論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致している場合、前記出力パタンを前記クライアントマシンには返送せずに、前記論理シミュレーションの実行によって得られた出力結果サマリだけを前記クライアントマシンに返送し、
前記出力パタン返送フラグがオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンである場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを返送するように制御する手段と、
を備えた、ことを特徴とするクライアント・サーバ型論理回路シミュレーション・システム。
【請求項４】
クライアントマシンと、前記クライアントマシンとネットワーク接続されジョブのスケジューリングを行うマスターサーバマシンと、前記マスターサーバマシンによって制御され前記クライアントマシンとネットワーク接続される複数のサーバマシンと、
を備え、
前記マスターサーバマシンは、前記クライアントマシンから論理シミュレーションのジョブの投入の指示が前記マスターサーバマシンに通知されると、投入されたジョブをキューイングする手段と、
前記複数のサーバマシンのＣＰＵの使用率及び／又はメモリ使用率を含むサーバマシンのリソースの負荷状態を監視し、負荷状況に基づき、クライアントマシンから投入されたジョブをサーバマシンに割り当てるスケジューリング手段と、
を備え、
前記マスターサーバマシンによってジョブが割り当てられた前記サーバマシンは、前記マスターサーバからの指示により、該当するクライアントマシンから転送される、シミュレーション対象の論理回路の回路情報、前記論理回路の入力パタン情報、及び、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドを受け取る手段と、
前記クライアントマシンから受け取った、前記論理回路の前記回路情報、前記論理回路の出力期待値を含む入力パタン情報、及び、前記ジョブ実行コマンドに基づき、論理シミュレーションを実行する手段と、
前記論理シミュレーション実行終了後、前記クライアントマシンからの前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合に、論理シミュレーション結果を格納した出力パタンと、前記入力パタン情報の出力期待値が一致している場合には、出力結果サマリだけを、該当のクライアントマシンに返送し、
前記出力パタン返送フラグがオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記入力パタン情報の出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンの場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを返送する手段と、
を備えたことを特徴とするクライアント・サーバ型論理回路シミュレーション・システム。
【請求項５】
クライアントマシンにネットワーク接続され論理シミュレーションを実行するサーバ装置が、
前記クライアントマシンから送信される、シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドと、を受け取る手段を備え、
前記クライアントマシンにおいて、前記出力パタン返却フラグは、前記サーバマシン上で実行される論理シミュレーション結果を格納した出力パタンと前記出力期待値とが一致している場合に、前記クライアントマシンに前記出力パタンを返送しない場合にオフに設定され、
前記論理回路の回路情報、前記入力パタン情報、及び前記ジョブ実行コマンドに基づき、論理シミュレーションを実行する手段と、
前記論理シミュレーションを実行後、前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合には、論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致している場合、前記出力パタンを前記クライアントマシンに返送せず、出力結果サマリだけを前記クライアントマシンに送信し、
前記出力パタン返送フラグがオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンである場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを送信するように制御する手段と、を備えた、ことを特徴とするサーバ装置。
【請求項６】
前記サーバ装置が、前記論理シミュレーション実行の結果得られる、出力パタンと前記出力期待値との不一致の計数値を参照し、前記不一致の計数値が零のとき、前記出力パタンと前記出力期待値とが互いに一致しているものと判定する手段を備えた、ことを特徴とする請求項５記載のサーバ装置。
【請求項７】
クライアントマシンにネットワーク接続されるサーバ装置において、
（ａ）前記クライアントマシンから送信される、シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドとを受け取る処理を備え、
前記クライアントマシンにおいて、前記出力パタン返却フラグは、前記サーバマシン上で実行される論理シミュレーション結果を格納した出力パタンと前記出力期待値とが一致している場合に、前記クライアントマシンに前記出力パタンを返送しない場合にオフに設定され、
（ｂ）前記論理回路の回路情報、前記入力パタン情報、及び前記ジョブ実行コマンドに基づき、論理シミュレーションを実行する処理と、
（ｃ）前記論理シミュレーション実行後、前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合には、論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致している場合、出力パタンを前記クライアントマシンに返送せず、出力結果サマリだけを前記クライアントマシンにファイル転送し、
前記出力パタン返送フラグの値がオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンである場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを転送する処理と、
の前記（ａ）乃至（ｃ）の処理を前記サーバ装置で実行させるためのプログラムを記録した記録媒体。
【請求項８】
クライアントマシンからジョブが投入されたサーバマシン上で論理シミュレーションを実行する論理シミュレーション方法において、
前記クライアントマシンは、シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドと、をネットワーク接続されるサーバマシンに送信するステップを備え、
前記クライアントマシンにおいて、前記出力パタン返却フラグは、前記サーバマシン上で実行される論理シミュレーション結果を格納した出力パタンと前記出力期待値とが一致している場合に、前記クライアントマシンに前記出力パタンを返送しない場合にオフに設定され、
前記サーバマシンにおいて、前記クライアントマシンから送信された、前記論理回路の回路情報、前記入力パタン情報、及び前記ジョブ実行コマンドに基づき、論理シミュレーションを実行するステップと、
前記論理シミュレーションを実行後、前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合には、論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致している場合、出力パタンを前記クライアントマシンに返送せず、出力結果サマリだけを前記クライアントマシンに返送し、
前記出力パタン返送フラグの値がオフであり、且つ前記論理シミュレーション結果を格納した出力パタンと前記出力期待値が不一致である場合、又は、前記出力パタン返送フラグがオンである場合には、前記クライアントマシンに対して、前記出力結果サマリと前記出力パタンを返送するように制御するステップと、
を含む、ことを特徴とするクライアント・サーバ型論理回路シミュレーション方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、論理シミュレーション装置に関し、特に、クライアント端末とサーバ装置を備え、クライアントから投入されたジョブを受けたサーバ装置上で論理シミュレーションを実行するクライアント・サーバ型論理回路シミュレーション装置に関する。
【０００２】
【従来の技術】
従来、この種のクライアント・サーバ型論理回路シミュレーション装置においては、クライアントマシンからの論理回路情報と入力パタン情報とジョブ実行コマンドを１又は複数のサーバマシンが受信し、サーバマシン上で、論理シミュレーションを実行した後、クライアントマシンに対して、出力結果を返送する。その際に、サーバマシンは、論理シミュレーションの実行の結果得られた出力結果サマリと、膨大な量の出力パタンとをクライアントマシンに返送している。クライアントマシンでは、所定のハードウエア記述言語（ＨＤＬ）にて例えばＲＴＬ（Regisiter  Transfer  Level）での論理設計が行われ、論理合成ツールによって論理合成された論理回路の回路情報（ネットリスト情報）が出力され、また、入力パタン情報（論理回路の入力に与えるパタン）に対応する出力期待値（入力パタンに対応する当該論理回路の出力期待値パタン）が得られる。論理シミュレーションを実行するサーバマシン上では、クライアントマシンから転送された、シミュレーション対象の論理回路の回路情報及び入力パタン情報に基づき、例えばゲートレベルでの論理シミュレーションが実行され、論理シミュレーション実行結果の要約をなす出力結果サマリとして、入力パタン情報として与えられた出力期待値と論理シミュレーション結果の出力値との不一致のカウント値、不一致個所、あるいは、必要に応じて、タイミング解析結果、その他統計情報等が出力される。
【０００３】
【発明が解決しようとする課題】
上述した従来のクライアント・サーバ型論理回路シミュレーション装置においては、サーバマシンからクライアントマシンへの論理シミュレーションの出力結果を返送するにあたり、膨大な量の出力パタンが、ネットワーク転送されるため、ネットワークに負荷がかかり、返送時間が長くなる、という問題点を有している。
【０００４】
また、クライアントマシンが、論理シミュレーションの実行をサーバマシンに指示する際に、出力パタンの容量（サイズ）を事前に予測することはできないため、サーバマシンから出力パタンを返送中に、クライアントマシンのディスク容量がオーバーフローしてしまい、シミュレーションが異常終了する、という事態も起こり得る。
【０００５】
したがって、本発明は、上記問題点に鑑みてなされたものであって、その目的は、論理シミュレーションを実行するサーバマシンからクライアントマシンへの論理シミュレーションの出力結果等を返送する際の返送時間を短縮して、ネットワーク負荷を軽減するとともに、クライアントマシンのディスク使用量の低減を図るシステム及び方法並びに記録媒体を提供することにある。
【０００６】
【課題を解決するための手段】
前記目的を達成する本発明は、シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、ジョブ実行コマンドをクライアントマシンからサーバマシンに投入して論理シミュレーションを実行し、サーバマシンで論理シミュレーション実行後、クライアントマシンに出力結果サマリと出力パタンを返送する際に、クライアントマシンのジョブ実行コマンドの指示により、シミュレーション結果と出力期待値が一致している場合には、出力パタンは返送せず、出力結果サマリだけを返送するように構成したものである。
【０００７】
【発明の実施の形態】
本発明の実施の形態について説明する。本発明の装置は、その好ましい一実施の形態において、クライアントマシン（クライアント端末）と、論理シミュレーションを実行するサーバマシン（サーバ装置）とを備え、クライアントマシンは、論理シミュレーション対象の論理回路の回路情報と、前記論理回路の出力期待値を含む入力パタン情報と、論理シミュレーション結果の出力パタンの返却の有無を制御する出力パタン返却フラグを含むジョブ実行コマンドとを、前記クライアントマシンとネットワーク接続されるサーバマシンに送信する手段を備えている。ジョブ実行コマンドの出力パタン返却フラグは、前記サーバマシン上で実行される論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致しているときに、出力パタンを前記クライアントマシンに返送しない場合に、オフに設定される。
【０００８】
サーバマシンは、前記クライアントマシンから送信された前記論理回路情報、入力パタン情報、及びジョブ実行コマンドに基づき、論理シミュレーションを実行する手段と、前記論理シミュレーションを実行後、前記ジョブ実行コマンドの出力パタン返却フラグを参照し、その値がオフの場合には、論理シミュレーション結果を格納した出力パタンと前記出力期待値が一致している場合に、前記出力パタンを前記クライアントマシンには返送せずに、出力結果サマリだけを、前記クライアントマシンに返送するように制御する手段と、を備える。出力パタン返送フラグがオンの場合、前記出力パタン及び出力結果サマリを前記クライアントマシンに返送する。
【０００９】
サーバ、クライアントマシンにおける上記各手段の処理は、サーバマシン（サーバコンピュータ）、クライアントマシン上で実行されるプログラムによって実現される。この場合、該プログラムを記録した記録媒体（ＨＤＤ、半導体メモリ等）から、該プログラムをサーバマシンに読み出して実行することで、本発明のサーバマシンを実施することができる。
【００１０】
上記のように構成される本発明の装置においては、ユーザの指示により膨大な量の出力パタンをクライアントマシンに返送しないので、従来の装置に比べてネットワーク負荷が軽減し、クライアントマシンのディスク使用量が低減が実現できるので、返送時間の短縮、およびクライアントマシンでのディスク容量オーバーフローによるシミュレーションの異常終了の防止が可能となる。
【００１１】
【実施例】
次に、本発明の実施例について図面を参照して説明する。図１は、本発明に係るクライアント・サーバ型論理回路シミュレーション装置の一実施例の構成を示すブロック図である。
【００１２】
図１を参照すると、複数のクライアントマシン１０１〜１０３と、クライアントマシンとネットワーク接続されるマスターサーバマシン１０４と、マスタサーバマシンによって制御されるクライアントマシンとネットワーク接続される複数のサーバマシン１０５、１０６とを備えている。
【００１３】
クライアントマシン１０１〜１０３から論理シミュレーションのジョブ１１７、１１８、１１９の投入の指示がマスターサーバマシン１０４に通知される。
【００１４】
このジョブ投入指示の通知を受信したマスターサーバマシン１０４は、投入されたジョブを、キュー１０にキューイングする。
【００１５】
そして、サーバマシン群のＣＰＵの使用率、メモリ使用率などのサーバマシンのリソースの負荷状態を監視し、負荷の軽い順番に、クライアントマシンから投入されたジョブ１１７〜１１９を、サーバマシン１０５、１０６に、スケジューリング手段（ジョブ・スケジューラ）１１で割り当てる。
【００１６】
ジョブのスケジューリングが行われたサーバマシン１０５、１０６は、マスターサーバ１０４からの指示により、該当するクライアントマシンから、回路情報１０７〜１０９、入力パタン情報１１０〜１１２、ジョブ実行コマンド１２０〜１２２を、ファイル転送手段１２、１５でファイル転送する。
【００１７】
ファイル転送終了後、サーバマシン１０５、１０６では、受け取った回路情報、入力パタン情報、ジョブ実行コマンドに基づき、論理シミュレータ（シミュレーション実行手段）１３、１６をそれぞれ起動して論理シミュレーションを実行する。
【００１８】
論理シミュレーション終了後、サーバマシン１０５、１０６は、クライアントマシン１０２、１０３からのジョブ実行コマンド１２０〜１２２の指示情報（出力パタン返送フラグの値）に応じて、論理シミュレーション結果を格納した出力パタンと出力期待値が一致している場合には、出力結果サマリだけを、該当のクライアントマシン１０１〜１０３に返送する。
【００１９】
なお、サーバマシンにおいて、論理シミュレーション結果を格納した出力パタンと、出力期待値が一致しているかの判定は、論理シミュレーション実行の結果得られる出力値と、入力パタン情報の出力期待値との不一致カウントの値を参照し、不一致カウントの値が零の場合、出力パタンと出力期待値が一致していると判定する。論理シミュレータで論理シミュレーションを実行する時に、論理シミュレーション結果を格納した出力パタンと出力期待値との不一致をカウントするか、不一致個所の出力を行うか否かは、論理シミュレータの実行モードを制御するジョブ実行コマンドで設定制御される。出力パタンと出力期待値との不一致のカウント値、不一致個所等の情報は、出力結果サマリとして出力される。
【００２０】
図２及び図３は、本発明の一実施例の処理手順を示すフローチャートであり、クライアント・サーバ型論理回路シミュレーション装置において、クライアントマシンからマスターサーバマシン１０４にジョブ投入し、マスターサーバマシン１０４からスケジューリングされたサーバマシンが該当のクライアントマシンから入力情報を得て、論理シミュレーションを実行し、論理シミュレーション実行終了後、出力結果サマリと出力パタンファイルを返送する手順を示すフローチャートである。なお、図２及び図３は、単に、図面作成の都合で分図されたものである。
【００２１】
クライアントマシン１０１〜１０３から論理シミュレーションのジョブ１１７〜１１９の投入の指示が行われる（ステップ２０１）と、クライアントマシンは、サーバマシンへのジョブ実行コマンド１２０〜１２２を作成する（ステップ２０２）。
【００２２】
その際に、論理シミュレーションの期待値（出力パタン）と、入力パタン情報の出力期待値が一致した場合の出力パタンの返送の有無を確認し（ステップ２０３）、入力パタン情報の出力期待値と一致した場合に、出力パタンを返送しない場合には、ジョブ実行コマンド１２０〜１２２の出力パタン返送フラグをオフ（OFF）とする（ステップ２０５）。
【００２３】
一方、入力パタン情報の出力期待値が一致した場合に、出力パタンを返送する場合には、ジョブ実行コマンド１２０〜１２２の出力パタン返送フラグをオン（ON）に設定する（ステップ２０４）。
【００２４】
そして、マスターサーバマシン１０４へのジョブ１１７〜１１９の投入を行う（ステップ２０６）。
【００２５】
マスターサーバマシン１０４では、クライアントマシンから投入されたジョブ１１７〜１１９を投入された順番にキューイングする（ステップ２０７）。
【００２６】
そして、サーバマシン群１０５、１０６のＣＰＵ使用率、メモリ使用率などのリソースの負荷状態をモニタリングし、スケジューリング手段１１は、負荷の軽いサーバマシンからジョブ１１７〜１１９を割り当てる（ステップ２０８）。
【００２７】
マスターサーバマシン１０４からの指示によりサーバマシンでは、該当クライアントマシンから回路情報１０７〜１０９、入力パタン１１０〜１１２、ジョブ実行コマンド１２０〜１２２を転送する（ステップ２０９）。そして、ジョブ実行コマンド１２０〜１２２に従って、論理シミュレーションを実行する（ステップ２１０）。
【００２８】
論理シミュレーションの実行終了後、ジョブ実行コマンド１２０〜１２２の出力パタン返送フラグを検索し（ステップ２１１）、出力パタン返送フラグがオフ（ＯＦＦ）であり、論理シミュレーション結果と期待値が一致している場合には（ステップ２１２）、該当クライアントマシンに、出力結果サマリだけを返送する（ステップ２１３）。
【００２９】
また、ジョブ実行コマンド１２０〜１２２の出力パタン返送フラグがオン（ON）の場合（ステップ２１１）、出力パタン返送フラグがオフ（ＯＦＦ）であり（ステップ２１１）、かつ、ミュレーション結果と期待値が不一致の場合には（２１２）、該当クライアントマシンに、出力結果サマリと出力パタンとを返送する（ステップ２１４）。
【００３０】
【発明の効果】
以上説明したように、本発明によれば、論理シミュレーションの実行結果と、論理シミュレータに与える入力パタン情報の出力期待値が一致している場合には、クライアントマシンに膨大な量の出力パタンを返送せず、出力結果サマリだけを送信する構成としたことにより、ネットワーク転送されるデータ量を削減し、ネットワーク負荷を軽減し、クライアントマシンのディスク使用量を低減することができる、という効果を奏する。
【００３１】
このため、本発明によれば、サーバマシンからのシミュレーション結果の返送時間の短縮を図るとともに、クライアントマシンでのディスク容量オーバーフローによるシミュレーションの異常終了を回避することができる。
【図面の簡単な説明】
【図１】本発明の一実施例の構成を示す図である。
【図２】本発明の一実施例の処理手順を示すフローチャートであり、クライアントマシンのジョブ投入指示からマスタサーバマシンでのスケジュールまでの処理を示すフローチャートである。
【図３】本発明の一実施例の処理手順を示すフローチャートであり、サーバマシン群での処理から、クライアントマシンへの出力結果ファイル返送までのフローチャートである。
【符号の説明】
１０  キュー
１１  スケジューリング手段
１２、１５  ファイル転送手段
１４、１７  ファイル返送手段
１３、１６  シミュレーション実行手段
１０１〜１０３  クライアントマシン
１０４  マスターサーバマシン
１０５、１０６  サーバマシン
１０７〜１０９  回路情報
１１０〜１１２  入力パタン（出力期待値含む）
１１３  出力パタン
１１４〜１１６  出力結果サマリ
１１７〜１１９  クライアントマシンから投入されたジョブ
１２０〜１２２  ジョブ実行コマンド
【図１】
0003698023.tif 000002
【図２】
0003698023.tif 000003
【図３】
0003698023.tif 000004