JP5293165B2 - シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 - Google Patents
シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 Download PDFInfo
- Publication number
- JP5293165B2 JP5293165B2 JP2008330113A JP2008330113A JP5293165B2 JP 5293165 B2 JP5293165 B2 JP 5293165B2 JP 2008330113 A JP2008330113 A JP 2008330113A JP 2008330113 A JP2008330113 A JP 2008330113A JP 5293165 B2 JP5293165 B2 JP 5293165B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- simulation
- channel
- read
- write
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
- G06F13/10—Program control for peripheral devices
- G06F13/105—Program control for peripheral devices where the programme performs an input/output emulation function
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Description
まず、実施の形態にかかるハードウェアモデルとソフトウェアとの協調シミュレーションにおけるスケジューリング方式の概要について説明する。図1は、スケジューリング方式の概要を示す説明図である。ここでは、ハードウェアモデル(図1中、「HW」と表記)の動作結果を、ソフトウェア(図1中、「SW」と表記)のload命令で読み込むモデルを例に挙げて説明する。
つぎに、実施の形態にかかるシミュレーション装置のハードウェア構成について説明する。図2は、シミュレーション装置のハードウェア構成を示すブロック図である。図2において、シミュレーション装置200は、CPU(Central Processing Unit)201と、ROM(Read‐Only Memory)202と、RAM(Random Access Memory)203と、磁気ディスクドライブ204と、磁気ディスク205と、光ディスクドライブ206と、光ディスク207と、ディスプレイ208と、I/F(Interface)209と、キーボード210と、マウス211と、スキャナ212と、プリンタ213と、を備えている。また、各構成部はバス220によってそれぞれ接続されている。
つぎに、シミュレーション装置200上に構築されるシミュレーションシステムのシステム構成について説明する。図3は、シミュレーションシステムのシステム構成図である。図3において、シミュレーションシステム300は、シミュレーション対象310と、シミュレーションライブラリ320と、を含む構成である。
図4は、ユーザプログラムの具体例を示す説明図である。図4において、ユーザプログラムP1は、C言語を用いて記述されたソフトウェアプログラムである。このユーザプログラムP1では、ハードウェアモデルMとのインターフェースとして、read関数およびwrite関数が使用されている。
つぎに、ハードウェアモデルMの具体例について説明する。図5は、ハードウェアモデルの具体例を示す説明図である。図5において、ハードウェアモデルMは、SystemCを用いて記述されたハードウェアのモデルである。このハードウェアモデルMでは、ユーザプログラムP1とのインターフェースとして、read関数およびwrite関数が使用されている。
つぎに、チャネルCの構成について説明する。ここでは、複数のチャネルC1〜Cnのうち任意のチャネルCiを例に挙げて説明する。図6は、チャネルの構成を示す説明図である。図6において、チャネルCiは、インターフェースI/Fiと、データバッファBiと、を含む構成である。
つぎに、状態テーブルの記憶内容について説明する。図7は、状態テーブルの記憶内容の一例を示す説明図である。図7において、状態テーブル700は、チャネル番号および状態のフィールド項目を有している。各フィールド項目に情報を設定することで、各チャネルC1〜Cnの状態がレコードとして記憶されている。
つぎに、ユーザプログラムPとハードウェアモデルMとの動作シーケンスについて説明する。ここでは、図4に示したユーザプログラムP1と、図5に示したハードウェアモデルMとを例に挙げて説明する。図8は、動作シーケンスの一例を示すシーケンス図である。なお、図8中、時間軸Tは、シミュレーションにかかる実際の所要時間をあらわしている。
つぎに、シミュレーション装置200の機能的構成について説明する。シミュレーション装置200は、図3に示したシミュレーションシステム300を構築して、ハードウェアモデルMとユーザプログラムPとの協調シミュレーションを実行するコンピュータ装置である。
つぎに、シミュレーション装置200のシミュレーション支援処理手順について説明する。図11および図12は、シミュレーション装置のシミュレーション支援処理手順の一例を示すフローチャートである。
前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段、
前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信する受信手段、
前記受信手段によって前記読出要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定する判定手段、
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信する送信手段、
前記送信手段によって前記データが送信された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する変更手段、
として機能させることを特徴とするシミュレーション支援プログラム。
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する読出要求を受け付けたことを示す読出通知を前記アクセス先に通知する通知手段として機能させることを特徴とする付記1に記載のシミュレーション支援プログラム。
前記判定手段によって読出待ち状態ではないと判定された場合、前記記憶手段に記憶されている一のチャネルの状態を書込待ち状態に変更することを特徴とする付記1または2に記載のシミュレーション支援プログラム。
前記記憶領域にデータを格納する格納手段として機能させ、
前記受信手段は、
前記協調シミュレーションの実行中に、前記一のチャネルを介して、前記アクセス元からアクセス先に対する書込要求を受信し、
前記判定手段は、
前記受信手段によって前記書込要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が書込待ち状態か否かを判定し、
前記格納手段は、
前記判定手段によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に前記データを格納し、
前記変更手段は、
前記格納手段によって前記データが格納された結果、前記記憶手段に記憶されている前記一のチャネルの状態を読出待ち状態に変更することを特徴とする付記2または3に記載のシミュレーション支援プログラム。
前記判定手段によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する書込要求を受け付けたことを示す書込通知を前記アクセス先に通知することを特徴とする付記4に記載のシミュレーション支援プログラム。
前記判定手段によって書込待ち状態ではないと判定された場合、前記記憶手段に記憶されている一のチャネルの状態を読出待ち状態に変更することを特徴とする付記4または5に記載のシミュレーション支援プログラム。
前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段、
前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する書込要求を受信する受信手段、
前記受信手段によって前記書込要求が受信された場合、当該一のチャネルの状態が書込待ち状態か否かを判定する判定手段、
前記判定手段によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に前記データを格納する格納手段、
前記格納手段によって前記データが格納された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する変更手段、
として機能させることを特徴とするシミュレーション支援プログラム。
前記判定手段によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する書込要求を受け付けたことを示す書込通知を前記アクセス先に通知する通知手段として機能させることを特徴とする付記7に記載のシミュレーション支援プログラム。
前記判定手段によって書込待ち状態ではないと判定された場合、前記記憶手段に記憶されている一のチャネルの状態を読出待ち状態に変更することを特徴とする付記7または8に記載のシミュレーション支援プログラム。
前記記憶領域に格納されているデータを前記アクセス元に送信する送信手段として機能させ、
前記受信手段は、
前記協調シミュレーションの実行中に、前記一のチャネルを介して、前記アクセス元から前記アクセス先に対する読出要求を受信し、
前記判定手段は、
前記受信手段によって前記読出要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定し、
前記送信手段は、
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信し、
前記変更手段は、
前記送信手段によって前記データが送信された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更することを特徴とする付記8または9に記載のシミュレーション支援プログラム。
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する読出要求を受け付けたことを示す読出通知を前記アクセス先に通知する通知手段として機能させることを特徴とする付記10に記載のシミュレーション支援プログラム。
前記判定手段によって読出待ち状態ではないと判定された場合、前記記憶手段に記憶されている一のチャネルの状態を書込待ち状態に変更することを特徴とする付記10または11に記載のシミュレーション支援プログラム。
前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段と、
前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信する受信手段と、
前記受信手段によって前記読出要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定する判定手段と、
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信する送信手段と、
前記送信手段によって前記データが送信された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する変更手段と、
を備えることを特徴とするシミュレーション装置。
前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段と、
前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する書込要求を受信する受信手段と、
前記受信手段によって前記書込要求が受信された場合、当該一のチャネルの状態が書込待ち状態か否かを判定する判定手段と、
前記判定手段によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に前記データを格納する格納手段と、
前記格納手段によって前記データが格納された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する変更手段と、
を備えることを特徴とするシミュレーション装置。
前記ハードウェアと前記ソフトウェア間を一対一かつ片方向の接続ごとに設けられ、それぞれが対応する前記ハードウェアと前記ソフトウェアとのシミュレーションの実行を制御するために、前記ハードウェアと前記ソフトウェアのいずれか一方(以下、「書込側」)から他方(以下、「読出側」)に対する書込要求を処理する機能、前記読出側から前記書込側に対する読出要求を処理する機能、初期状態、書込待ち状態、読出待ち状態のいずれかの状態を保持する第1の変数、前記書込側と前記読出側との間で、データの伝送に使用される第2の変数、前記書込側が読出待ち状態に、または、前記読出側が書込待ち状態に遷移する場合、読出待ち状態または書込待ち状態に遷移する前記ハードウェアまたは前記ソフトウェアのシミュレーションを中断する中断処理を実行する機能を備えた複数のチャネルと、
前記チャネルからの要求に応じて、並列して動作する前記ハードウェアおよび前記ソフトウェア間の実行処理および中断処理をおこなうシミュレータ本体と、
を備えることを特徴とするシミュレーション装置。
前記制御手段により、前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信して、前記記憶手段に記憶する受信工程と、
前記制御手段により、前記受信工程によって前記読出要求が受信された場合、前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶するテーブルに記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定して、前記記憶手段に記憶する判定工程と、
前記制御手段により、前記判定工程によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信する送信工程と、
前記制御手段により、前記送信工程によって前記データが送信された結果、前記テーブルに記憶されている前記一のチャネルの状態を初期状態に変更する変更工程と、
を実行することを特徴とするシミュレーション支援方法。
前記制御手段により、前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する書込要求を受信して、前記記憶手段に記憶する受信工程と、
前記制御手段により、前記受信工程によって前記書込要求が受信された場合、前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶するテーブルに記憶されている前記一のチャネルの状態が書込待ち状態か否かを判定して、前記記憶手段に記憶する判定工程と、
前記制御手段により、前記判定工程によって書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に前記データを格納する格納工程と、
前記制御手段により、前記格納工程によって前記データが格納された結果、前記テーブルに記憶されている前記一のチャネルの状態を初期状態に変更する変更工程と、
を実行することを特徴とするシミュレーション支援方法。
700 状態テーブル
901 受信部
902 判定部
903 送信部
904 変更部
905 通知部
906 格納部
C,C1〜Cn チャネル
M ハードウェアモデル
P,P1 ユーザプログラム
Claims (8)
- 第1および第2のシミュレーション対象の協調シミュレーションを実行するコンピュータに、
前記協調シミュレーションの実行中に、前記第1および第2のシミュレーション対象間のデータの読出・書込に使用される複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信し、
前記読出要求が受信された場合、前記チャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段に記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定し、
前記一のチャネルの状態が読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信し、
前記データが送信された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する、
処理を実行させることを特徴とするシミュレーション支援プログラム。 - 前記コンピュータに、
前記一のチャネルの状態が読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する読出要求を受け付けたことを示す読出通知を前記アクセス先に通知する処理を実行させることを特徴とする請求項1に記載のシミュレーション支援プログラム。 - 前記コンピュータに、
前記一のチャネルの状態が読出待ち状態ではないと判定された場合、前記記憶手段に記憶されている一のチャネルの状態を書込待ち状態に変更する処理を実行させることを特徴とする請求項1または2に記載のシミュレーション支援プログラム。 - 前記コンピュータに、
前記協調シミュレーションの実行中に、前記一のチャネルを介して、前記アクセス元からアクセス先に対する書込要求を受信し、
前記書込要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が書込待ち状態か否かを判定し、
前記一のチャネルの状態が書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域にデータを格納し、
前記データが格納された結果、前記記憶手段に記憶されている前記一のチャネルの状態を読出待ち状態に変更する、
処理を実行させることを特徴とする請求項2または3に記載のシミュレーション支援プログラム。 - 前記コンピュータに、
前記一のチャネルの状態が書込待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に対する書込要求を受け付けたことを示す書込通知を前記アクセス先に通知する処理を実行させることを特徴とする請求項4に記載のシミュレーション支援プログラム。 - 第1および第2のシミュレーション対象の協調シミュレーションを実行するシミュレーション装置であって、
前記第1および第2のシミュレーション対象間のデータの読出・書込に使用されるチャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶する記憶手段と、
前記協調シミュレーションの実行中に、前記複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信する受信手段と、
前記受信手段によって前記読出要求が受信された場合、前記記憶手段に記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定する判定手段と、
前記判定手段によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信する送信手段と、
前記送信手段によって前記データが送信された結果、前記記憶手段に記憶されている前記一のチャネルの状態を初期状態に変更する変更手段と、
を備えることを特徴とするシミュレーション装置。 - 制御手段および記憶手段を備え、第1および第2のシミュレーション対象の協調シミュレーションを実行するコンピュータが、
前記制御手段により、前記協調シミュレーションの実行中に、前記第1および第2のシミュレーション対象間のデータの読出・書込に使用される複数のチャネルのうち一のチャネルを介して、前記第1または第2のシミュレーション対象のいずれか一方(以下、「アクセス元」)から他方(以下、「アクセス先」)に対する読出要求を受信して、前記記憶手段に記憶する受信工程と、
前記制御手段により、前記受信工程によって前記読出要求が受信された場合、前記チャネルごとに、初期状態、読出待ち状態および書込待ち状態のいずれかの状態を記憶するテーブルに記憶されている前記一のチャネルの状態が読出待ち状態か否かを判定して、前記記憶手段に記憶する判定工程と、
前記制御手段により、前記判定工程によって読出待ち状態と判定された場合、前記一のチャネルに割り当てられた記憶領域に格納されているデータを前記アクセス元に送信する送信工程と、
前記制御手段により、前記送信工程によって前記データが送信された結果、前記テーブルに記憶されている前記一のチャネルの状態を初期状態に変更する変更工程と、
を実行することを特徴とするシミュレーション支援方法。 - ハードウェアとソフトウェアの協調検証を実行するシミュレーション装置であって、
前記ハードウェアと前記ソフトウェア間を一対一かつ片方向の接続ごとに設けられ、それぞれが対応する前記ハードウェアと前記ソフトウェアとのシミュレーションの実行を制御するために、前記ハードウェアと前記ソフトウェアのいずれか一方(以下、「書込側」)から他方(以下、「読出側」)に対する書込要求を処理する機能、前記読出側から前記書込側に対する読出要求を処理する機能、初期状態、書込待ち状態、読出待ち状態のいずれかの状態を保持する第1の変数、前記書込側と前記読出側との間で、データの伝送に使用される第2の変数、前記書込側が読出待ち状態に、または、前記読出側が書込待ち状態に遷移する場合、読出待ち状態または書込待ち状態に遷移する前記ハードウェアまたは前記ソフトウェアのシミュレーションを中断する中断処理を実行する機能を備えた複数のチャネルと、
前記チャネルからの要求に応じて、並列して動作する前記ハードウェアおよび前記ソフトウェア間の実行処理および中断処理をおこなうシミュレータ本体と、
を備えることを特徴とするシミュレーション装置。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008330113A JP5293165B2 (ja) | 2008-12-25 | 2008-12-25 | シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 |
US12/618,137 US8364458B2 (en) | 2008-12-25 | 2009-11-13 | Simulation program and simulation apparatus |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008330113A JP5293165B2 (ja) | 2008-12-25 | 2008-12-25 | シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010152645A JP2010152645A (ja) | 2010-07-08 |
JP5293165B2 true JP5293165B2 (ja) | 2013-09-18 |
Family
ID=42285972
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008330113A Expired - Fee Related JP5293165B2 (ja) | 2008-12-25 | 2008-12-25 | シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US8364458B2 (ja) |
JP (1) | JP5293165B2 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5625710B2 (ja) * | 2010-10-05 | 2014-11-19 | 富士通セミコンダクター株式会社 | シミュレーション装置、方法、及びプログラム |
WO2014186938A1 (zh) | 2013-05-20 | 2014-11-27 | 华为技术有限公司 | 一种计算机系统、高速外围组件互联端点设备的访问方法和装置 |
EP2940586B1 (en) * | 2014-04-29 | 2023-03-01 | Hitachi, Ltd. | Method and system for testing control software of a controlled system |
JP6248820B2 (ja) * | 2014-06-16 | 2017-12-20 | 富士電機株式会社 | 連携シミュレーション装置 |
Family Cites Families (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5870588A (en) * | 1995-10-23 | 1999-02-09 | Interuniversitair Micro-Elektronica Centrum(Imec Vzw) | Design environment and a design method for hardware/software co-design |
JPH10312315A (ja) * | 1997-05-12 | 1998-11-24 | Nec Corp | ソフトウェア/ハードウェア協調シミュレーション方式 |
US6263303B1 (en) * | 1998-10-26 | 2001-07-17 | Sony Corporation | Simulator architecture |
US6230114B1 (en) * | 1999-10-29 | 2001-05-08 | Vast Systems Technology Corporation | Hardware and software co-simulation including executing an analyzed user program |
GB2370134A (en) * | 2000-12-15 | 2002-06-19 | Sharp Kk | Method of co-simulating a digital circuit |
JP2002215703A (ja) | 2001-01-16 | 2002-08-02 | Matsushita Electric Ind Co Ltd | ハードウェア/ソフトウェア協調設計方法 |
JP3848171B2 (ja) * | 2002-02-01 | 2006-11-22 | 富士通株式会社 | 計算機シミュレーションプログラム、プロセッサのモデルの検証方法、及び計算機シミュレーション方法 |
JP2004013227A (ja) * | 2002-06-03 | 2004-01-15 | Matsushita Electric Ind Co Ltd | シミュレーション装置並びにシミュレーションモデル生成プログラム |
JP2004265054A (ja) * | 2003-02-28 | 2004-09-24 | Matsushita Electric Ind Co Ltd | 半導体集積回路機能シミュレーション装置 |
JP2005018623A (ja) * | 2003-06-27 | 2005-01-20 | Sony Corp | シミュレーション装置およびシミュレーション方法 |
JP2006350549A (ja) * | 2005-06-14 | 2006-12-28 | Hitachi Ltd | 統合シミュレーションシステム |
JP5558713B2 (ja) * | 2005-08-19 | 2014-07-23 | インターナショナル・ビジネス・マシーンズ・コーポレーション | データ処理システム内でプロセッサ内のイベントに関連する命令およびデータを伝達するための方法 |
JP4667206B2 (ja) * | 2005-10-31 | 2011-04-06 | 富士通セミコンダクター株式会社 | マルチコアモデルシミュレーションプログラム、該プログラムを記録した記録媒体、マルチコアモデルシミュレータ、およびマルチコアモデルシミュレーション方法 |
US8051402B2 (en) * | 2007-09-26 | 2011-11-01 | Cadence Design Systems, Inc. | Method and apparatus for implementing communication between a software side and a hardware side of a test bench in a transaction-based acceleration verification system |
-
2008
- 2008-12-25 JP JP2008330113A patent/JP5293165B2/ja not_active Expired - Fee Related
-
2009
- 2009-11-13 US US12/618,137 patent/US8364458B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US8364458B2 (en) | 2013-01-29 |
JP2010152645A (ja) | 2010-07-08 |
US20100169068A1 (en) | 2010-07-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105144094B (zh) | 用于管理应用当中的导航的系统和方法 | |
US7689734B2 (en) | Method for toggling non-adjacent channel identifiers during DMA double buffering operations | |
CN103366338A (zh) | 图像处理装置和图像处理方法 | |
TW201044272A (en) | Parallel processing method for a dual operating system | |
JP2007122602A (ja) | マルチコアモデルシミュレーションプログラム、該プログラムを記録した記録媒体、マルチコアモデルシミュレータ、およびマルチコアモデルシミュレーション方法 | |
JP5293165B2 (ja) | シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 | |
US20090204775A1 (en) | Data copying method | |
CN101729713B (zh) | 显示控制装置、图像形成装置以及显示器控制方法 | |
WO2023201987A1 (zh) | 请求处理方法、装置、设备及介质 | |
JP5219664B2 (ja) | 表示装置及び画像形成装置、並びに表示方法及びプログラム | |
US8359564B2 (en) | Circuit design information generating equipment, function execution system, and memory medium storing program | |
US5850536A (en) | Method and system for simulated multi-tasking | |
US8886512B2 (en) | Simulation apparatus, computer-readable recording medium, and method | |
US8688428B2 (en) | Performance evaluation device, performance evaluation method and simulation program | |
JP5652242B2 (ja) | データ転送制御装置及びプログラム | |
JP2008276739A (ja) | 情報処理システム及び情報処理プログラム | |
JP2008117067A (ja) | アプリケーションプログラムを生成するための装置、方法、及びプログラム | |
JP5262774B2 (ja) | シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 | |
JP7151514B2 (ja) | シミュレーションシステム、情報処理装置、プログラム及びシミュレーション方法 | |
CN108984120B (zh) | 存储设备路径错误的处理方法以及相关装置 | |
KR102309714B1 (ko) | 병렬 처리 기반의 교통 시뮬레이션 방법 및 이를 위한 장치 | |
JP5239647B2 (ja) | 検証支援プログラム、検証支援装置、および検証支援方法 | |
JP2019016168A (ja) | シミュレーションプログラム、方法、及び装置 | |
JP2001256072A (ja) | システムエミュレータ | |
JP4351961B2 (ja) | シミュレータプログラム及び記憶媒体 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110706 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121221 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130205 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130408 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20130514 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20130527 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |