JP5262774B2 - シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 - Google Patents
シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 Download PDFInfo
- Publication number
- JP5262774B2 JP5262774B2 JP2009022799A JP2009022799A JP5262774B2 JP 5262774 B2 JP5262774 B2 JP 5262774B2 JP 2009022799 A JP2009022799 A JP 2009022799A JP 2009022799 A JP2009022799 A JP 2009022799A JP 5262774 B2 JP5262774 B2 JP 5262774B2
- Authority
- JP
- Japan
- Prior art keywords
- execution
- simulation
- system level
- control
- model
- 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
Landscapes
- Debugging And Monitoring (AREA)
Description
まず、実施の形態にかかるシステムレベルシミュレーションを実行するホストマシン100に構築されるシステムレベルシミュレーション装置のシステム構成について説明する。図1は、システムレベルシミュレーション装置のシステム構成図(その1)である。図1において、システムレベルシミュレーション装置は、OS(Operation System)101と、ESL(Electronic system level)シミュレータカーネル102と、SystemCライブラリ103と、シミュレーション対象104と、システムレベルシミュレーション実行するホストマシン100と、を有している。
つぎに、実施の形態にかかるホストマシン100のハードウェア構成について説明する。図2は、ホストマシンのハードウェア構成を示すブロック図である。図2において、ホストマシン100は、CPU201と、ROM(Read‐Only Memory)202と、RAM(Random Access Memory)203と、磁気ディスクドライブ204と、磁気ディスク205と、光ディスクドライブ206と、光ディスク207と、ディスプレイ208と、I/F(Interface)209と、キーボード210と、マウス211と、スキャナ212と、プリンタ213と、を備えている。また、各構成部はバス200によってそれぞれ接続されている。
つぎに、実施の形態にかかるホストマシン100の機能的構成について説明する。図3は、ホストマシンの機能的構成を示すブロック図である。図3において、ホストマシン100は、実行部301と、受付部302と、実行制御部303と、判定部304と、出力部305と、を含む構成である。
ここで、ハードウェアモデル110内のCPU111から制御用仮想デバイス114にアクセスする際のアクセス時間について説明する。図1に示した例では、CPU111は、バス115を介して、制御用仮想デバイス114の特定のアドレスに対してアクセスする。
つぎに、実施の形態にかかるホストマシン100のシミュレーション制御処理手順について説明する。図11は、ホストマシンのシミュレーション制御処理手順の一例を示すフローチャートである。
ハードウェアモデルとソフトウェアモデルとを持つシステムレベルシミュレーションを実行制御する手段として、
前記コンピュータが、前記ハードウェアモデルを実行するための実行手段を有し、
前記ハードウェアモデル内に、
マイクロプロセッサモデルと、
前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルと、
前記マイクロプロセッサモデルと前記特定のモジュールのモデルとの間のバスと、を有し、
前記ソフトウェアモデル内に、
前記特定のモジュールを操作する特定の命令、または、命令列を有し、
前記マイクロプロセッサモデルが前記特定の命令、または、前記命令列を実行した結果、前記特定のモジュールのモデルに対してアクセス要求を出す送出手段と、
前記アクセス要求を伝達する伝達手段と、
前記特定のモジュールのモデルに対するアクセス要求を受け付ける受付手段と、
前記受付手段によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御する実行制御手段と、
を持つことを特徴とするシミュレーション制御プログラム。
前記特定のモジュールに割り当てられた特定のアドレスに対する書込要求を受け付け、
前記実行制御手段は、
前記特定のアドレスに対する書込要求に基づいて、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御することを特徴とする付記1に記載のシミュレーション制御プログラム。
前記特定のアドレスに対して書き込まれた値に基づいて、前記システムレベルシミュレーションに対する操作の要否を判定する判定手段として機能させ、
前記実行制御手段は、
前記判定手段によって判定された判定結果に基づいて、前記システムレベルシミュレーションに対する操作を実行することを特徴とする付記2に記載のシミュレーション制御プログラム。
前記判定結果に基づいて、前記システムレベルシミュレーションの実行を終了させることを特徴とする付記3に記載のシミュレーション制御プログラム。
前記判定結果に基づいて、前記システムレベルシミュレーションのプロセスの優先度を変更することを特徴とする付記3または4に記載のシミュレーション制御プログラム。
前記判定結果に基づいて、前記システムレベルシミュレーションのプロセスのメモリイメージダンプをすることを特徴とする付記3〜5のいずれか一つに記載のシミュレーション制御プログラム。
前記判定結果に基づいて、前記ハードウェアモデル内のメインメモリのメモリイメージダンプをすることを特徴とする付記3〜6のいずれか一つに記載のシミュレーション制御プログラム。
前記判定結果に基づいて、前記システムレベルシミュレーションの実行を停止させることを特徴とする付記3〜7のいずれか一つに記載のシミュレーション制御プログラム。
前記受付手段は、
前記バスのモデルを介して、前記特定のモジュールのモデルに対するアクセス要求を受け付けることを特徴とする付記1〜8のいずれか一つに記載のシミュレーション制御プログラム。
前記ソフトウェアモデル内の特定の命令が実行された結果、前記ハードウェアモデル内のモジュールのモデルのうち前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルに対するアクセス要求を受け付ける受付手段と、
前記受付手段によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行する実行制御手段と、
を備えることを特徴とするシミュレーション装置。
前記制御手段により、前記ソフトウェアモデル内の特定の命令が実行された結果、前記ハードウェアモデル内のモジュールのモデルのうち前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルに対するアクセス要求を受け付けて、前記記憶手段に記憶する受付工程と、
前記制御手段により、前記受付工程によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行する制御工程と、
を実行することを特徴とするシミュレーション制御方法。
101,121 OS
102 ESLシミュレータカーネル
103 SystemCライブラリ
110 ハードウェアモデル
111,201 CPU
112 メインメモリ
113 周辺デバイス
114 制御用仮想デバイス
120 ソフトウェアモデル
122 制御用仮想デバイスドライバ
123 アプリケーションプログラム
301 実行部
302 受付部
303 実行制御部
304 判定部
305 出力部
Claims (8)
- コンピュータをシステムレベルシミュレーション装置として機能させるために、
ハードウェアモデルとソフトウェアモデルとを持つシステムレベルシミュレーションを実行制御する手段として、
前記コンピュータが、前記ハードウェアモデルを実行するための実行手段を有し、
前記ハードウェアモデル内に、
マイクロプロセッサモデルと、
前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルと、
前記マイクロプロセッサモデルと前記特定のモジュールのモデルとの間のバスと、を有し、
前記ソフトウェアモデル内に、
前記特定のモジュールを操作する特定の命令、または、命令列を有し、
前記コンピュータを、
前記マイクロプロセッサモデルが前記特定の命令、または、前記命令列を実行した結果、前記特定のモジュールのモデルに対してアクセス要求を出す送出手段、
前記アクセス要求を伝達する伝達手段、
前記特定のモジュールのモデルに対するアクセス要求を受け付ける受付手段、
前記受付手段によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御する実行制御手段、
として機能させることを特徴とするシミュレーション制御プログラム。 - 前記受付手段は、
前記特定のモジュールに割り当てられた特定のアドレスに対する書込要求を受け付け、
前記実行制御手段は、
前記特定のアドレスに対する書込要求に基づいて、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御することを特徴とする請求項1に記載のシミュレーション制御プログラム。 - 前記コンピュータを、
前記特定のアドレスに対して書き込まれた値に基づいて、前記システムレベルシミュレーションに対する操作の要否を判定する判定手段として機能させ、
前記実行制御手段は、
前記判定手段によって判定された判定結果に基づいて、前記システムレベルシミュレーションに対する操作を実行することを特徴とする請求項2に記載のシミュレーション制御プログラム。 - 前記実行制御手段は、
前記判定結果に基づいて、前記システムレベルシミュレーションの実行を終了させることを特徴とする請求項3に記載のシミュレーション制御プログラム。 - 前記実行制御手段は、
前記判定結果に基づいて、前記システムレベルシミュレーションのプロセスの優先度を変更することを特徴とする請求項3または4に記載のシミュレーション制御プログラム。 - 前記実行制御手段は、
前記判定結果に基づいて、前記システムレベルシミュレーションのプロセスのメモリイメージダンプをすることを特徴とする請求項3〜5のいずれか一つに記載のシミュレーション制御プログラム。 - ハードウェアモデルとソフトウェアモデルとのシステムレベルシミュレーションを実行する実行手段と、
前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルに対するアクセス要求を受け付ける受付手段と、
前記受付手段によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御する実行制御手段と、
を備えることを特徴とするシミュレーション装置。 - 制御手段、記憶手段、およびハードウェアモデルとソフトウェアモデルとのシステムレベルシミュレーションを実行する実行手段を備えるコンピュータが、
前記制御手段により、前記ソフトウェアモデル内の特定の命令が実行された結果、前記ハードウェアモデル内のモジュールのモデルのうち前記システムレベルシミュレーションの実行を制御する特定のモジュールのモデルに対するアクセス要求を受け付けて、前記記憶手段に記憶する受付工程と、
前記制御手段により、前記受付工程によって前記アクセス要求を受け付けた場合、前記実行手段を制御して、前記システムレベルシミュレーションを実行制御する制御工程と、
を実行することを特徴とするシミュレーション制御方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009022799A JP5262774B2 (ja) | 2009-02-03 | 2009-02-03 | シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009022799A JP5262774B2 (ja) | 2009-02-03 | 2009-02-03 | シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010181961A JP2010181961A (ja) | 2010-08-19 |
JP5262774B2 true JP5262774B2 (ja) | 2013-08-14 |
Family
ID=42763525
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009022799A Expired - Fee Related JP5262774B2 (ja) | 2009-02-03 | 2009-02-03 | シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5262774B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012155515A (ja) * | 2011-01-26 | 2012-08-16 | Renesas Electronics Corp | ソースデバイスドライバ及び実行モジュールの作成方法 |
FR2971596B1 (fr) * | 2011-02-15 | 2016-01-01 | Commissariat Energie Atomique | Dispositif pour accelerer l'execution d'une simulation systemc |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7149676B2 (en) * | 2001-06-21 | 2006-12-12 | Renesas Technology Corporation | Variable accuracy modes in microprocessor simulation |
JP2006079464A (ja) * | 2004-09-10 | 2006-03-23 | Canon Inc | シミュレーション装置及びシミュレーション方法 |
JP2006343942A (ja) * | 2005-06-08 | 2006-12-21 | Nec Electronics Corp | バスシステム設計方法と装置 |
-
2009
- 2009-02-03 JP JP2009022799A patent/JP5262774B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2010181961A (ja) | 2010-08-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN111104269A (zh) | 一种基于uart接口的处理器调试方法及系统 | |
JP3822044B2 (ja) | 設計検証システム、設計検証方法および設計検証プログラムを格納したコンピュータ読取り可能な記録媒体 | |
MXPA03012019A (es) | Metodo y sistema para grabar macros en una sintaxis independiente de lenguaje. | |
JP4667206B2 (ja) | マルチコアモデルシミュレーションプログラム、該プログラムを記録した記録媒体、マルチコアモデルシミュレータ、およびマルチコアモデルシミュレーション方法 | |
US20020087952A1 (en) | Debugger system and method of extending debug functions of a debugger system and debugger program product stored in a computer readable medium | |
JP5444724B2 (ja) | 検証支援プログラム、情報処理装置および検証支援方法 | |
JP5262774B2 (ja) | シミュレーション制御プログラム、シミュレーション装置、およびシミュレーション制御方法 | |
US20070271533A1 (en) | System lsi verification system and system lsi verification method | |
US20060143523A1 (en) | Apparatus and method for debugging embedded software | |
JP2002366602A (ja) | ソフトウエア及びハードウエアのシミュレーション方法及びシステム並びにプログラム | |
JP5830955B2 (ja) | 検証装置、検証方法及び検証プログラム | |
JP5293165B2 (ja) | シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法 | |
US6766510B2 (en) | Application program developing system, application program developing method, and recording medium in which application program developing program is stored | |
US11544436B1 (en) | Hardware-software interaction testing using formal verification | |
JP5262909B2 (ja) | 検証支援プログラム、検証支援装置および検証支援方法 | |
JP4820654B2 (ja) | サイクルシミュレーション方法、サイクルシミュレーションプログラム、該プログラムを記録した記録媒体、およびサイクルシミュレータ | |
CN112000235B (zh) | 一种用于si测试工具的虚拟键盘系统和设计方法 | |
CN100492299C (zh) | 一种嵌入式软件开发的方法及系统 | |
CN110045967B (zh) | 固件层的串口图形界面交互方法和装置 | |
JP2013020425A (ja) | オープンソースソフトウェアを利用したハードウェア・ソフトウェア協調検証方法 | |
JP2013080386A (ja) | 情報処理装置、アドレス管理方法 | |
CN111045665B (zh) | 一种基于uml的gpu命令处理器 | |
JP4421498B2 (ja) | プログラム | |
JP2007219893A (ja) | ファームウェア評価システムおよびファームウェア評価方法 | |
JP2006048149A (ja) | 機能検証装置、テストベンチ、ハードウェア記述言語により設計されたモデル、シミュレータプログラム及び記憶媒体 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20111006 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121030 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20121204 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130204 |
|
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: 20130402 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20130415 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |