JP4717492B2 - マルチコアモデルシミュレータ - Google Patents
マルチコアモデルシミュレータ Download PDFInfo
- Publication number
- JP4717492B2 JP4717492B2 JP2005114775A JP2005114775A JP4717492B2 JP 4717492 B2 JP4717492 B2 JP 4717492B2 JP 2005114775 A JP2005114775 A JP 2005114775A JP 2005114775 A JP2005114775 A JP 2005114775A JP 4717492 B2 JP4717492 B2 JP 4717492B2
- Authority
- JP
- Japan
- Prior art keywords
- thread
- processor core
- core model
- models
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/261—Functional testing by simulating additional hardware, e.g. fault simulation
-
- 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/46—Multiprogramming arrangements
- G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
-
- 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/46—Multiprogramming arrangements
- G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
- G06F9/522—Barrier synchronisation
Description
本発明の他の観点によれば、複数のスレッドを実行するための複数のプロセッサコアモデルと、前記複数のプロセッサコアモデルをそれぞれデバッグするための複数のデバッガとを有し、前記複数のプロセッサコアモデルは、それぞれが1つのスレッドを実行するためのものであり、前記スレッドの所定の実行命令数毎に相互に同期がとられ、前記同期は、前記複数のプロセッサコアモデルにより前記所定の実行命令数の命令が実行された後に設定される待ち状態に設定された後にとられるマルチコアモデルシミュレータが提供される。
図9は、本発明の第1の実施形態によるマルチプロセッサコアモデルシミュレータ900のハードウエア構成例を示すブロック図である。シミュレータ900は、例えば2つのプロセッサ(CPU)コア901,902、メモリ903及びチップセット904を有する。本実施形態のシミュレータ900は、マルチプロセッサコア901,902のコンピュータ(例えばインテルCPUのXEONの2プロセッサ構成のコンピュータ等)を使用する。なお、ペンティアム(登録商標)4のように1プロセッサでも論理的に2プロセッサ構成であるコンピュータも含む。
図4は、本発明の第2の実施形態によるマルチプロセッサコアモデルシミュレータのメインスレッド401の例を示す図である。メインスレッド401は、スレッド群104及び105の各スレッドを生成するためのスレッド生成関数、及びスレッド群104及び105の各スレッドの終了を待つスレッド待ち関数を有し、それらの関数をループ処理する。図1及び図4に示すように、スレッド群104は、プロセッサコアモデルPE0により実行されるスレッドであり、所定の実行命令数I1毎に分割されたスレッド104a,104b,104c,・・・を有する。スレッド群105は、プロセッサコアモデルPE1により実行されるスレッドであり、所定の実行命令数I1毎に分割されたスレッド105a,105b,105c,・・・を有する。なお、図1において、太枠が1スレッドを示す。プロセッサコアモデルPE0及びPE1は、それぞれがスレッド群104及び105の複数のスレッドをシリアル(直列)に実行する。スレッド105a,105b,105c,・・・は、所定のサイクル数毎に分割されたものでもよい。
図6は、本発明の第3の実施形態によるマルチコアモデルシミュレータを説明するための図である。本実施形態は、第2の実施形態(図1)と同様に、プロセッサコアモデルPE0がスレッド群104を実行し、プロセッサコアモデルPE1がスレッド群105を実行し、さらにハードウエアコアモデルHWがスレッド群601を実行する。スレッド群104、105及び601は、並列に実行される。同期方法は、第2の実施形態と同じである。ハードウエアコアモデルHWは、ハードウエアコアをシミュレーションするためにプロセッサコアに割り当てられるモデルである。例えば、図9では、プロセッサコア901及び902の他にもう1つのプロセッサコアが設けられる。ハードウエアコアモデルHWは、プロセッサコアモデル以外のコアモデルであり、例えば、画像処理、音声処理、リコンフィギュレーション(再構成)処理、タイマ又はバスブロック等のハードウエアコアをシミュレーションするためのモデルである。
図7は、本発明の第4の実施形態によるデバッガ701を有するマルチプロセッサコアモデルシミュレータの構成例を示すブロック図である。本実施形態は、第1の実施形態のマルチプロセッサコアモデルシミュレータにデバッガ701を追加したものであり、N個のプロセッサコアモデルPE0〜PENを有する。マルチプロセッサコアモデルシミュレータは、第1の実施形態と同様に、メインスレッド301、プロセッサコアモデルPE0のスレッド102、プロセッサコアモデルPE1のスレッド103、・・・、プロセッサコアモデルPENのスレッド700を有し、さらにデバッガ701を有する。デバッガ701は、メインスレッド301に対してTCP(Transmission Control Protocol)702により接続され、メインスレッド301を介してN個のプロセッサコアモデルPE0〜PENを択一的に選択してデバッグすることができる。
図8は、本発明の第5の実施形態によるマルチデバッガ801を有するマルチプロセッサコアモデルシミュレータの構成例を示すブロック図である。本実施形態は、第1の実施形態のマルチプロセッサコアモデルシミュレータにマルチデバッガ801を追加したものであり、N個のプロセッサコアモデルPE0〜PENを有する。マルチプロセッサコアモデルシミュレータは、第1の実施形態と同様に、メインスレッド301、プロセッサコアモデルPE0のスレッド102、プロセッサコアモデルPE1のスレッド103、・・・、プロセッサコアモデルPENのスレッド700を有し、さらにマルチデバッガ801を有する。マルチデバッガ801は、N個のプロセッサコアモデルPE0〜PENをそれぞれデバッグするためのN個のデバッガ801a,801b,・・・,801nを有する。N個のデバッガ801a,801b,・・・,801nは、それぞれ、TCP接続802を介して、N個のプロセッサコアモデルPE0〜PENをデバッグすることができる。
複数のスレッドと、
前記複数のスレッドを実行する複数のコアモデルと
を有するマルチコアモデルシミュレータ。
(付記2)
前記複数のコアモデルは、複数のプロセッサコアモデルである付記1記載のマルチコアモデルシミュレータ。
(付記3)
前記複数のコアモデルは、複数のハードウエアコアモデルである付記1記載のマルチコアモデルシミュレータ。
(付記4)
前記複数のコアモデルは、プロセッサコアモデル及びハードウエアコアモデルを含む付記1記載のマルチコアモデルシミュレータ。
(付記5)
さらに、論理的に複数のプロセッサコアを有し、
前記複数のプロセッサコアモデルは、それぞれが複数のプロセッサコアに割り当てられる付記2記載のマルチコアモデルシミュレータ。
(付記6)
前記複数のプロセッサコアモデルは、前記複数のスレッドを並列に実行する付記2記載のマルチコアモデルシミュレータ。
(付記7)
前記複数のプロセッサコアモデルは、それぞれが1つのスレッドを実行する付記2記載のマルチコアモデルシミュレータ。
(付記8)
前記複数のプロセッサコアモデルは、相互に同期がとられる付記7記載のマルチコアモデルシミュレータ。
(付記9)
前記複数のプロセッサコアモデルは、前記スレッドの所定の実行命令数毎に同期がとられる付記8記載のマルチコアモデルシミュレータ。
(付記10)
前記複数のプロセッサコアモデルは、所定のサイクル数毎に同期がとられる付記8記載のマルチコアモデルシミュレータ。
(付記11)
さらに、前記複数のプロセッサコアモデルを択一的にデバッグするためのデバッガを有する付記7記載のマルチコアモデルシミュレータ。
(付記12)
さらに、前記複数のプロセッサコアモデルをそれぞれデバッグするための複数のデバッガを有する付記7記載のマルチコアモデルシミュレータ。
(付記13)
前記複数のプロセッサコアモデルは、それぞれが複数のスレッドをシリアルに実行する付記2記載のマルチコアモデルシミュレータ。
(付記14)
前記各プロセッサコアモデルがシリアルに実行する複数のスレッドは、所定の実行命令数毎又はサイクル数毎に分割されたものである付記13記載のマルチコアモデルシミュレータ。
(付記15)
さらに、前記複数のプロセッサコアモデルが実行する複数のスレッドを生成し、前記複数のプロセッサコアモデルが並列に実行するスレッド毎に同期をとるメインスレッドを有する付記13記載のマルチコアモデルシミュレータ。
(付記16)
さらに、前記複数のプロセッサコアモデルを択一的にデバッグするためのデバッガを有する付記13記載のマルチコアモデルシミュレータ。
(付記17)
さらに、前記複数のプロセッサコアモデルをそれぞれデバッグするための複数のデバッガを有する付記13記載のマルチコアモデルシミュレータ。
104,105,601 スレッド群
201,301,401 メインスレッド
501 待ち関数
701 デバッガ
702,802 TCP
801 マルチデバッガ
900 シミュレータ
901,902 プロセッサコア
903 メモリ
904 チップセット
1003 メモリモデル
1004 プログラム
1005 セレクタ
Claims (5)
- 複数のスレッドを実行するための複数のプロセッサコアモデルと、
前記複数のプロセッサコアモデルを択一的にデバッグするためのデバッガとを有し、
前記複数のプロセッサコアモデルは、それぞれが1つのスレッドを実行するためのものであり、前記スレッドの所定の実行命令数毎に相互に同期がとられ、前記同期は、前記複数のプロセッサコアモデルにより前記所定の実行命令数の命令が実行された後に設定される待ち状態に設定された後にとられるマルチコアモデルシミュレータ。 - 複数のスレッドを実行するための複数のプロセッサコアモデルと、
前記複数のプロセッサコアモデルをそれぞれデバッグするための複数のデバッガとを有し、
前記複数のプロセッサコアモデルは、それぞれが1つのスレッドを実行するためのものであり、前記スレッドの所定の実行命令数毎に相互に同期がとられ、前記同期は、前記複数のプロセッサコアモデルにより前記所定の実行命令数の命令が実行された後に設定される待ち状態に設定された後にとられるマルチコアモデルシミュレータ。 - 前記複数のプロセッサコアモデルは、それぞれが複数のスレッドをシリアルに実行するためのものである請求項1又は2記載のマルチコアモデルシミュレータ。
- 前記各プロセッサコアモデルがシリアルに実行する複数のスレッドは、所定の実行命令数毎に分割されたものである請求項3記載のマルチコアモデルシミュレータ。
- 前記複数のプロセッサコアモデルにより実行される複数のスレッドを生成し、前記複数のプロセッサコアモデルにより並列に実行されるスレッド毎に同期をとるためのメインスレッドが実行される請求項3記載のマルチコアモデルシミュレータ。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005114775A JP4717492B2 (ja) | 2005-04-12 | 2005-04-12 | マルチコアモデルシミュレータ |
US11/235,227 US7873507B2 (en) | 2005-04-12 | 2005-09-27 | Multi-core model simulator |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005114775A JP4717492B2 (ja) | 2005-04-12 | 2005-04-12 | マルチコアモデルシミュレータ |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006293759A JP2006293759A (ja) | 2006-10-26 |
JP4717492B2 true JP4717492B2 (ja) | 2011-07-06 |
Family
ID=37084155
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005114775A Expired - Fee Related JP4717492B2 (ja) | 2005-04-12 | 2005-04-12 | マルチコアモデルシミュレータ |
Country Status (2)
Country | Link |
---|---|
US (1) | US7873507B2 (ja) |
JP (1) | JP4717492B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE112016006371T5 (de) | 2016-03-01 | 2018-10-18 | Mitsubishi Electric Corporation | Simulationsvorrichtung |
Families Citing this family (61)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4346587B2 (ja) * | 2005-07-27 | 2009-10-21 | 富士通株式会社 | システムシミュレーション方法 |
US7849362B2 (en) * | 2005-12-09 | 2010-12-07 | International Business Machines Corporation | Method and system of coherent design verification of inter-cluster interactions |
US20080184150A1 (en) * | 2007-01-31 | 2008-07-31 | Marc Minato | Electronic circuit design analysis tool for multi-processor environments |
US20110289373A1 (en) * | 2007-01-31 | 2011-11-24 | Klein Russell A | Electornic Design Emulation Display Tool |
JP5595633B2 (ja) * | 2007-02-26 | 2014-09-24 | スパンション エルエルシー | シミュレーション方法及びシミュレーション装置 |
JP4888272B2 (ja) * | 2007-07-30 | 2012-02-29 | 富士通セミコンダクター株式会社 | ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 |
CN100524221C (zh) * | 2007-12-28 | 2009-08-05 | 中国科学院计算技术研究所 | 一种并行模拟器及方法 |
KR101400286B1 (ko) * | 2008-01-22 | 2014-05-26 | 삼성전자주식회사 | 다중 프로세서 시스템에서 작업을 이동시키는 방법 및 장치 |
US8223779B2 (en) * | 2008-02-07 | 2012-07-17 | Ciena Corporation | Systems and methods for parallel multi-core control plane processing |
JP5269067B2 (ja) * | 2008-03-14 | 2013-08-21 | パナソニック株式会社 | プログラム実行装置およびその制御方法 |
US10169199B2 (en) * | 2008-06-10 | 2019-01-01 | Microsoft Technology Licensing, Llc | Automatic model-specific debugger extensions |
US7987075B2 (en) * | 2008-06-30 | 2011-07-26 | Hitachi, Ltd | Apparatus and method to develop multi-core microcomputer-based systems |
US8694293B2 (en) * | 2008-06-30 | 2014-04-08 | Toyota Technical Development Corporation | Simulation support method, computer-readable storage medium storing simulation support program, and simulation support apparatus |
US10721269B1 (en) | 2009-11-06 | 2020-07-21 | F5 Networks, Inc. | Methods and system for returning requests with javascript for clients before passing a request to a server |
US8336056B1 (en) * | 2009-12-22 | 2012-12-18 | Gadir Omar M A | Multi-threaded system for data management |
US9420049B1 (en) | 2010-06-30 | 2016-08-16 | F5 Networks, Inc. | Client side human user indicator |
US9503375B1 (en) | 2010-06-30 | 2016-11-22 | F5 Networks, Inc. | Methods for managing traffic in a multi-service environment and devices thereof |
US9147016B2 (en) * | 2010-08-20 | 2015-09-29 | International Business Machines Corporation | Multi-ECU simulation by using 2-layer peripherals with look-ahead time |
US8423343B2 (en) * | 2011-01-24 | 2013-04-16 | National Tsing Hua University | High-parallelism synchronization approach for multi-core instruction-set simulation |
US8879431B2 (en) | 2011-05-16 | 2014-11-04 | F5 Networks, Inc. | Method for load balancing of requests' processing of diameter servers |
WO2013011620A1 (ja) * | 2011-07-19 | 2013-01-24 | パナソニック株式会社 | マルチプロセッサシステム |
US8875146B2 (en) | 2011-08-01 | 2014-10-28 | Honeywell International Inc. | Systems and methods for bounding processing times on multiple processing units |
US8621473B2 (en) | 2011-08-01 | 2013-12-31 | Honeywell International Inc. | Constrained rate monotonic analysis and scheduling |
CN102279766B (zh) * | 2011-08-30 | 2014-05-07 | 华为技术有限公司 | 并行模拟多个处理器的方法及系统、调度器 |
CN102331961B (zh) | 2011-09-13 | 2014-02-19 | 华为技术有限公司 | 并行模拟多个处理器的方法及系统、调度器 |
US9015025B2 (en) * | 2011-10-31 | 2015-04-21 | International Business Machines Corporation | Verifying processor-sparing functionality in a simulation environment |
US8954492B1 (en) | 2011-11-30 | 2015-02-10 | F5 Networks, Inc. | Methods for inlining content externally referenced in a web page prior to providing the web page to a requestor and devices thereof |
CN102518298B (zh) * | 2012-01-05 | 2014-07-30 | 张建怀 | 可屏蔽红外线的水利工程用轻质芯模 |
US9207977B2 (en) | 2012-02-06 | 2015-12-08 | Honeywell International Inc. | Systems and methods for task grouping on multi-processors |
US10230566B1 (en) | 2012-02-17 | 2019-03-12 | F5 Networks, Inc. | Methods for dynamically constructing a service principal name and devices thereof |
US9020912B1 (en) | 2012-02-20 | 2015-04-28 | F5 Networks, Inc. | Methods for accessing data in a compressed file system and devices thereof |
WO2013163648A2 (en) | 2012-04-27 | 2013-10-31 | F5 Networks, Inc. | Methods for optimizing service of content requests and devices thereof |
US10033837B1 (en) | 2012-09-29 | 2018-07-24 | F5 Networks, Inc. | System and method for utilizing a data reducing module for dictionary compression of encoded data |
US9612868B2 (en) | 2012-10-31 | 2017-04-04 | Honeywell International Inc. | Systems and methods generating inter-group and intra-group execution schedules for instruction entity allocation and scheduling on multi-processors |
US9578090B1 (en) | 2012-11-07 | 2017-02-21 | F5 Networks, Inc. | Methods for provisioning application delivery service and devices thereof |
US9497614B1 (en) | 2013-02-28 | 2016-11-15 | F5 Networks, Inc. | National traffic steering device for a better control of a specific wireless/LTE network |
GB201318473D0 (en) * | 2013-10-18 | 2013-12-04 | Imperas Software Ltd | P7 |
US10187317B1 (en) | 2013-11-15 | 2019-01-22 | F5 Networks, Inc. | Methods for traffic rate control and devices thereof |
US9310433B2 (en) | 2014-04-18 | 2016-04-12 | Breker Verification Systems | Testing SOC with portable scenario models and at different levels |
US11838851B1 (en) | 2014-07-15 | 2023-12-05 | F5, Inc. | Methods for managing L7 traffic classification and devices thereof |
US10365947B2 (en) | 2014-07-28 | 2019-07-30 | Hemett Packard Enterprise Development Lp | Multi-core processor including a master core performing tasks involving operating system kernel-related features on behalf of slave cores |
US10182013B1 (en) | 2014-12-01 | 2019-01-15 | F5 Networks, Inc. | Methods for managing progressive image delivery and devices thereof |
US11895138B1 (en) | 2015-02-02 | 2024-02-06 | F5, Inc. | Methods for improving web scanner accuracy and devices thereof |
US10834065B1 (en) | 2015-03-31 | 2020-11-10 | F5 Networks, Inc. | Methods for SSL protected NTLM re-authentication and devices thereof |
US11350254B1 (en) | 2015-05-05 | 2022-05-31 | F5, Inc. | Methods for enforcing compliance policies and devices thereof |
US10505818B1 (en) | 2015-05-05 | 2019-12-10 | F5 Networks. Inc. | Methods for analyzing and load balancing based on server health and devices thereof |
WO2016194028A1 (ja) * | 2015-05-29 | 2016-12-08 | 三菱電機株式会社 | シミュレーション装置及びシミュレーション方法及びシミュレーションプログラム |
US10038744B1 (en) * | 2015-06-29 | 2018-07-31 | EMC IP Holding Company LLC | Intelligent core assignment |
US11757946B1 (en) | 2015-12-22 | 2023-09-12 | F5, Inc. | Methods for analyzing network traffic and enforcing network policies and devices thereof |
US10404698B1 (en) | 2016-01-15 | 2019-09-03 | F5 Networks, Inc. | Methods for adaptive organization of web application access points in webtops and devices thereof |
US11178150B1 (en) | 2016-01-20 | 2021-11-16 | F5 Networks, Inc. | Methods for enforcing access control list based on managed application and devices thereof |
US10445445B2 (en) | 2016-04-22 | 2019-10-15 | Synopsys, Inc. | Sliding time window control mechanism for parallel execution of multiple processor core models in a virtual platform simulation |
US11063758B1 (en) | 2016-11-01 | 2021-07-13 | F5 Networks, Inc. | Methods for facilitating cipher selection and devices thereof |
US10505792B1 (en) | 2016-11-02 | 2019-12-10 | F5 Networks, Inc. | Methods for facilitating network traffic analytics and devices thereof |
US10812266B1 (en) | 2017-03-17 | 2020-10-20 | F5 Networks, Inc. | Methods for managing security tokens based on security violations and devices thereof |
US11042681B1 (en) * | 2017-03-24 | 2021-06-22 | Ansys, Inc. | Integrated circuit composite test generation |
US11122042B1 (en) | 2017-05-12 | 2021-09-14 | F5 Networks, Inc. | Methods for dynamically managing user access control and devices thereof |
US11343237B1 (en) | 2017-05-12 | 2022-05-24 | F5, Inc. | Methods for managing a federated identity environment using security and access control data and devices thereof |
CN109032879B (zh) * | 2017-06-09 | 2021-08-20 | 展讯通信(上海)有限公司 | 多核处理器访存数据检测验证系统及方法 |
JP2019091144A (ja) | 2017-11-13 | 2019-06-13 | ルネサスエレクトロニクス株式会社 | シミュレーション装置、シミュレーションシステム、シミュレーション方法及びシミュレーションプログラム |
TW202236089A (zh) * | 2020-10-22 | 2022-09-16 | 美國亞利桑那州立大學亞利桑那州評議委員會 | 用於異質soc設計之使用者空間仿真框架 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH08287025A (ja) * | 1995-04-14 | 1996-11-01 | Fujitsu Ltd | マルチプロセッサシステムの同期制御方法及びそれを用いたマルチプロセッサシステム |
JPH11296409A (ja) * | 1998-04-09 | 1999-10-29 | Hitachi Ltd | 性能シミュレーション方法 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001318805A (ja) | 2000-05-08 | 2001-11-16 | Nec Corp | 組み込みシステムのテスト方法及びテストシステム |
US6718294B1 (en) * | 2000-05-16 | 2004-04-06 | Mindspeed Technologies, Inc. | System and method for synchronized control of system simulators with multiple processor cores |
US7953588B2 (en) | 2002-09-17 | 2011-05-31 | International Business Machines Corporation | Method and system for efficient emulation of multiprocessor address translation on a multiprocessor host |
US7430737B2 (en) * | 2003-12-04 | 2008-09-30 | Sun Microsystems, Inc. | Processor and method for supporting compiler directed multithreading management |
-
2005
- 2005-04-12 JP JP2005114775A patent/JP4717492B2/ja not_active Expired - Fee Related
- 2005-09-27 US US11/235,227 patent/US7873507B2/en not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH08287025A (ja) * | 1995-04-14 | 1996-11-01 | Fujitsu Ltd | マルチプロセッサシステムの同期制御方法及びそれを用いたマルチプロセッサシステム |
JPH11296409A (ja) * | 1998-04-09 | 1999-10-29 | Hitachi Ltd | 性能シミュレーション方法 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE112016006371T5 (de) | 2016-03-01 | 2018-10-18 | Mitsubishi Electric Corporation | Simulationsvorrichtung |
Also Published As
Publication number | Publication date |
---|---|
US7873507B2 (en) | 2011-01-18 |
JP2006293759A (ja) | 2006-10-26 |
US20060229861A1 (en) | 2006-10-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4717492B2 (ja) | マルチコアモデルシミュレータ | |
Lickly et al. | Predictable programming on a precision timed architecture | |
JP5595633B2 (ja) | シミュレーション方法及びシミュレーション装置 | |
Ventroux et al. | A new parallel SystemC kernel leveraging manycore architectures | |
Ceng et al. | A high-level virtual platform for early MPSoC software development | |
Liang et al. | Verification of tree-based hierarchical read-copy update in the Linux kernel | |
Duller et al. | Picoarray technology: The tool's story | |
Ludden et al. | Advances in simultaneous multithreading testcase generation methods | |
Engblom et al. | Full-system simulation from embedded to high-performance systems | |
Murillo et al. | Automatic detection of concurrency bugs through event ordering constraints | |
Schumacher et al. | SCandal: SystemC analysis for nondeterminism anomalies | |
US20110197182A1 (en) | Debugging parallel software using speculatively executed code sequences in a multiple core environment | |
Wu et al. | A distributed timing synchronization technique for parallel multi-core instruction-set simulation | |
Murillo et al. | Synchronization for hybrid MPSoC full-system simulation | |
Roloff et al. | Approximate time functional simulation of resource-aware programming concepts for heterogeneous MPSoCs | |
Kestor et al. | Prometheus: scalable and accurate emulation of task-based applications on many-core systems | |
Lee et al. | GPU architecture aware instruction scheduling for improving soft-error reliability | |
JP2005135436A (ja) | 電子回路と制御プログラムとのコバリデーション方法 | |
Heinrich et al. | Hardware/software co-design of the stanford FLASH multiprocessor | |
Ball et al. | Predictable and progressive testing of multithreaded code | |
Cornelis et al. | The pipeline performance model: a generic executable performance model for GPUs | |
Huang et al. | Platform-independent design for embedded real-time systems | |
Engblom | Debugging real-time multiprocessor systems | |
Mahadevan et al. | A reactive and cycle-true ip emulator for mpsoc exploration | |
Murillo et al. | Deterministic event-based control of Virtual Platforms for MPSoC software debugging |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20080530 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080610 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20080808 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20080930 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081030 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20081204 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20081226 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110224 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110330 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4717492 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140408 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |