JP2005242569A - データ処理装置設計方法、データ処理装置設計装置及びプログラム - Google Patents
データ処理装置設計方法、データ処理装置設計装置及びプログラム Download PDFInfo
- Publication number
- JP2005242569A JP2005242569A JP2004049955A JP2004049955A JP2005242569A JP 2005242569 A JP2005242569 A JP 2005242569A JP 2004049955 A JP2004049955 A JP 2004049955A JP 2004049955 A JP2004049955 A JP 2004049955A JP 2005242569 A JP2005242569 A JP 2005242569A
- Authority
- JP
- Japan
- Prior art keywords
- program
- predetermined
- execution time
- processor
- circuit scale
- 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.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
- Debugging And Monitoring (AREA)
Abstract
【解決手段】 予め演算毎、プロセッサ毎に所要実行時間を算出し、更に演算毎、テクノロジ毎に所要回路規模を算出しておき、所望のプログラムを構成する演算毎に、該当するプロセッサの上記所要実行時間、或いは該当するテクノロジの所要回路規模を当てはめることで装置全体についての所要実行時間、及び所要回路規模を算出する構成である。
【選択図】 図1
Description
この処理経路解析ステップ602では、評価対象プログラムの入力後、入力プログラムにおけるif文やswitch文などの条件文による分岐によってどのような処理経路(プログラムの流れ)が発生するかにつき解析する。
開始→301→302→303→308→309→終了
開始→301→302→303→308→310→終了
開始→301→304→305→306→307→308→309→終了
開始→301→304→305→306→307→308→310→終了
開始→301→304→305→306→308→309→終了
開始→301→304→305→306→308→310→終了
(2)分岐条件解析ステップ603
この分岐条件解析ステップ603では、入力プログラムにおけるif文やswitch文などの条件文の内容(即ち、どの変数がどのような値の時に条件が真になるか、または偽になるか)につき解析する。
実行可・不可判断ステップでは、上記処理経路解析と分岐条件解析との結果から、一旦抽出された処理経路が実行可能であるかどうかを判断する。この判断は、以下の(1)、(2)、(3)の手順で行われる。
ある処理経路上において、どの変数に対してどのような代入演算が行われているかを整理する。例えば図4の例における上記「開始→301→302→303→308→309→終了」の処理経路上では、「変数bに0を代入し、変数cに0を代入し、変数dに変数eと変数fの足し算結果を代入する」との整理結果が得られる。
当該処理系路上における分岐条件(上記分岐条件解析の結果)と、(1)での整理結果との依存関係を整理し、当該処理経路が実行可能であるかどうかを判断する。
開始→301→302→303→308→309→終了:実行可能
開始→301→302→303→308→310→終了:実行不可
開始→301→304→305→306→307→308→309→終了:実行不可
開始→301→304→305→306→307→308→310→終了:実行可能
開始→301→304→305→306→308→309→終了:実行不可
開始→301→304→305→306→308→310→終了:実行可能
との判断となる。
上記の如く構造解析部103で求めた、各実行可能な処理経路につき、同じく構造解析部103で求めた当該処理経路上の条件文や代入文などに現れる演算に対し、プロセッサ選択部104で選択したプロセッサの該当する演算を実行するのに要する実行時間を当てはめ、処理経路上の夫々の演算に対して登録された該当する所要実行時間を割り当てることで当該処理経路の合計所要実行時間を集計算出する。
ステップ301(「所定の整数か否かの判断」:int==const):3サイクル
ステップ302(「所定の整数の代入」:int=const):1サイクル
ステップ303(「所定の整数の代入」:int=const):1サイクル
ステップ308(「所定の整数か否かの判断」:int==const):3サイクル
ステップ309(「所定の整数の和の代入」:int=int+int):2サイクル
となり、その結果、当該経路を通る処理に対する合計所要実行時間は、3+1+1+3+2=10サイクルとなる。
開始→301→302→303→308→309→終了:10サイクル
開始→301→304→305→306→307→308→310→終了:18サイクル
開始→301→304→305→306→308→310→終了:17サイクル
との算出結果が得られる。
パス抽出部105で抽出した所要実行時間最大パス以外のパスに現れる条件文と代入文とを削除する。例えば図4の例で、所要実行時間最大パスが「開始→301→302→303→308→309→終了」のパスであったとした場合、この処理で削除される条件文はステップ306(図3の11行目)であり、この処理で削除される代入文はステップ304、305、307、310(それぞれ図3の8、9、12、20行目)である。
パス抽出部105で抽出した所要実行時間最大パスに現れる全ての代入文につき、その代入文を実行するのに条件がある場合、その条件に依存しないで実行されるよう、これを該当する条件文の外に移動する。その際、条件文や代入文などの実行順序は崩さない。
パス抽出部105で抽出した所要実行時間最大パスに現れる全ての条件文に、実行時間が0サイクルの文を挿入する。これは、上記代入文移動ステップにて各条件文から代入文が外されたことに対して負荷を変えないようにするためのダミーの文の挿入である。即ち、図4の例で、所要実行時間最大パスが「開始→301→302→303→308→309→終了」のパスであったとした場合、所要実行時間最大パスに現れる条件文はステップ301、308(それぞれ図3の3、16行目)であり、これらステップ301、308のそれぞれにインラインアセンブラのコメント(実行時間0サイクル)を挿入する(それぞれ図6の4、10行目参照)。
条件ステップ301が依存する代入文:無し
条件ステップ306が依存する代入文:305
条件ステップ308が依存する代入文:304
ガ得られ、それぞれの条件文につき、所要実行時間最大パスへ分岐させるための入力データは
条件ステップ301:a=1
条件ステップ306:c=8
条件ステップ308:b=(なんでも良い)
となる。ここでステップS305にて変数cがインクリメントされるため、上記c=8がインクリメントされて9となり、ステップ306(cが9以上か?)が真となってステップ307へ分岐し、ステップ308では、元々bが0であってもステップ304にて1が代入されて1となり、ステップS308(bは0か?)は偽となるためステップ310へと分岐することになる。
図9にて、評価対象プログラムの入力ステップ801実行後、入力プログラムに出現する演算と、その演算の型、その演算の出現回数とを整理する。図4の例では、
int型の変数と定数が等しいかどうかの比較(ステップ301、308)
int型の変数への定数の代入(ステップ302、303、304、307)
int型の変数に1足す(ステップ305)
int型の変数と定数との大小比較(ステップ306)
int型の変数とint型との変数の足し算結果をint型の変数へ代入(ステップ309)
int型の変数とint型との変数の掛け算結果をint型の変数へ代入(ステップ310)
との整理結果が得られる。
入力プログラムにおいて、出力に相当する変数の型とその数とを纏める。
構造解析部103で整理した入力のプログラムに出現する各演算につき、テクノロジ選択部108で選択されたテクノロジについてのデータ中から、その演算をハードウェア化した場合の所要回路規模を得、それに出現回数を掛けることで、当該プログラムに出現する演算についての所要回路規模を集計する。
300(int==const)×2(出現回数)=600ゲート
として求まる。以下、プログラム中に出現する全演算について同様に算出して合計する。
構造解析部103で整理した出力に相当する変数につき、テクノロジ選択部108で選択されたテクノロジのデータ中、その出力に相当する変数をハードウェア化した場合の所要回路規模値を得、その値に当該出力に相当する変数の型に応じて決まっている定数(int型の場合、上記の如く32(ビット))を乗じることで、当該プログラムに出現する出力に相当する変数についての所要回路規模を集計する。
10(FF)×32(変数の型に応じて決まっている定数)=320ゲート
として求まる。尚、FFとはフリップフロップ素子を意味する。以下、プログラム中に出現する全ての出力に相当する変数について同様に所要回路規模を算出して合計する。
上記(1)、(2)で算出した入力プログラムに出現する演算について求まった所要回路規模と、出力に相当する変数について求まった所要回路規模とを合計することにより、入力プログラムをハードウェア化した場合の所要回路規模を算出する。
この構造解析では、プログラムの呼び出し・被呼び出し関係を整理し、プログラム全体がどのようなサブプログラムによって構成されているか(プログラムの階層構造)を解析する。図10の例では、プログラム全体(1001)は、サブプログラム(1002、1003、1006)から成り、さらにサブプログラム(1003)は複数のサブプログラム(1004、1005)から成ることがここで解析整理結果として得られる。
上記(1)での階層構造整理結果に基づき、ソフト/ハード性能評価部904への入力となるプログラム単位をユーザが決定して指示入力する。この場合指示入力可能なプログラム単位は、図10のプログラム1001のようにプログラム全体であってもよいし、同サブプログラム1002のようにメインプログラムのサブプログラムでもよく、又同サブプログラム1004のようにサブプログラムの更なるサブプログラムであってもよい。
ソフト/ハード性能評価部904の処理結果である所要実行時間110と所要回路規模113との夫々の値を、評価単位決定部903で決定したプログラムの単位ごとに、全ての評価単位について順次集計する。図10の例で、評価単位を「サブプログラム1002、1003、1006」の夫々の単位とした場合、例えば
1002:所要実行時間3000サイクル:所要回路規模10000ゲート
1003:所要実行時間6000サイクル:所要回路規模22000ゲート
1006:所要実行時間5000サイクル:所要回路規模 5000ゲート
として求まる(図12、図14参照)。
上記(1)の集計結果から、制約入力部905で与えられた制約を満足するソフトウェア/ハードウェア分割案を算出する。ここでは全てのソフトウェア/ハードウェアの組み合わせ(上の例の場合、図15に示される全8通り)から、必要に応じた組(当然全組でもよい)につき、順次制約を満足するかどうかを確認して算出する。
1002:所要実行時間3000サイクル:所要回路規模10000ゲート
1003:所要実行時間6000サイクル:所要回路規模22000ゲート
1006:所要実行時間5000サイクル:所要回路規模 5000ゲート
と集計結果が得られた場合、図15に示される8通りの組み合わせ中、上記制約条件を満足するソフトウェア/ハードウェア機能分割の組として、
ソフトウェア化を1002とし、ハードウェア化を1003、1006として、合計所要実行時間:3000サイクル、合計所要回路規模:27000ゲート
ソフトウェア化を1003としてハードウェア化を1002、1006とし、合計所要実行時間:6000サイクル、合計所要回路規模:15000ゲート
ソフトウェア化を1002及び1003とし、ハードウェア化を1006として、合計所要実行時間:9000サイクル、合計所要回路規模: 5000ゲート
ソフトウェア化を1002及び1006、ハードウェア化を1003とし、合計所要実行時間:8000サイクル、合計所要回路規模:22000ゲート
とが求まる(図15中、ハッチングした組)。
102 評価対象プログラム格納部
103 構造解析部
104 プロセッサ選択部
105 パス抽出部
106 プログラム編集部
107 テストデータ生成部
108 テクノロジ選択部
109 回路規模算出部
110 実行時間格納部
111 編集後プログラム格納部
112 自動生成されたテスト用データ格納部
113 回路規模格納部
901 データ処理装置設計装置
902 評価対象プログラム格納部
903 評価単位決定部
904 ソフト/ハード性能評価部
905 制約入力部
906 分割案算出部
907 ソフト/ハード分割案格納部
Claims (5)
- プログラムを構成する所定の演算毎に、所定のプロセッサで実行させた際に要する実行時間を算出し、或いはプログラムを構成する所定の演算毎に、所定のテクノロジでハードウェア化した際に要される回路規模を算出する段階と、
所望のプログラム全体或いはその一部分を構成する演算毎に、前記段階にて算出した所要実行時間を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のプロセッサで実行させた際に要する合計実行時間を算出し、或いは所望のプログラム全体或いはその一部分を構成する演算毎に、前記算出した所要回路規模を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のテクノロジでハードウェア化した際に要される合計回路規模を算出する段階とよりなるデータ処理装置設計方法。 - 複数の演算よりなる所望のプログラムを、所定のプロセッサで実行させる部分と、所定のテクノロジでハードウェア化する部分とに分割してデータ処理装置として実現するための設計を行なうデータ処理装置設計方法であって、
予め所定の演算毎に、所定のプロセッサで実行させた際に要する実行時間を算出しておき、
予め所定の演算毎に、所定のテクノロジでハードウェア化した際に要される回路規模を算出しておき、
所望のプログラム中の各サブプログラムを構成する演算毎に、予め算出しておいた該当するプロセッサに関する上記所定の演算毎の所要実行時間を順次当てはめることで、所望のプログラム中の各サブプログラムを該当するプロセッサで実行させた際に要する合計実行時間を算出し、
所望のプログラム中の各サブプログラムを構成する演算毎に、予め算出しておいた該当するテクノロジに関する上記所定の演算毎の所要回路規模を順次当てはめることで、所望のプログラム中の各サブプログラムを該当するテクノロジでハードウェア化した際に要される合計回路規模を算出することにより、所定の所要実行時間及び所定の所要回路規模よりなる所定の回路設計条件を満たすように、所定のプロセッサで実行させるサブプログラムと所定のテクノロジでハードウェア化するサブプログラムとに分割して所望のプログラムをデータ処理装置として実現する設計を行なう方法。 - 前記段階にて算出された所望のプログラムを所定のプロセッサで実行させた際に要する実行時間に対応する処理経路にて当該所望のプログラムが実行されるようにプログラムを編集し、編集後のプログラムを使用することで当該プログラムの実行をシミュレーションし、或いは前記段階にて算出された所望のプログラムを所定のプロセッサで実行させた際に要する実行時間に対応する処理経路にて当該所望のプログラムが実行されるようなテストデータを作成し、当該テストデータを使用することで当該プログラムをムの実行をシミュレーションする段階よりなる請求項1又は2に記載の方法。
- プログラムを構成する所定の演算毎に、所定のプロセッサで実行させた際に要する実行時間を算出し、或いはプログラムを構成する所定の演算毎に、所定のテクノロジでハードウェア化した際に要される回路規模を算出する手段と、
所望のプログラム全体或いはその一部分を構成する演算毎に、前記段階にて算出した所要実行時間を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のプロセッサで実行させた際に要する合計実行時間を算出し、或いは所望のプログラム全体或いはその一部分を構成する演算毎に、前記算出した所要回路規模を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のテクノロジでハードウェア化した際に要される合計回路規模を算出する手段とよりなるデータ処理装置設計装置。 - プログラムを構成する所定の演算毎に、所定のプロセッサで実行させた際に要する実行時間を算出し、或いはプログラムを構成する所定の演算毎に、所定のテクノロジでハードウェア化した際に要される回路規模を算出する手段と、
所望のプログラム全体或いはその一部分を構成する演算毎に、前記段階にて算出した所要実行時間を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のプロセッサで実行させた際に要する合計実行時間を算出し、或いは所望のプログラム全体或いはその一部分を構成する演算毎に、前記算出した所要回路規模を順次当てはめることによって所望のプログラム全体或いはその一部分を所定のテクノロジでハードウェア化した際に要される合計回路規模を算出する手段としてコンピュータを動作させるための命令よりなるデータ処理装置設計プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004049955A JP2005242569A (ja) | 2004-02-25 | 2004-02-25 | データ処理装置設計方法、データ処理装置設計装置及びプログラム |
US11/018,964 US7447617B2 (en) | 2004-02-25 | 2004-12-22 | Data processing device designing method, data processing device designing apparatus, program and computer readable information recording medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004049955A JP2005242569A (ja) | 2004-02-25 | 2004-02-25 | データ処理装置設計方法、データ処理装置設計装置及びプログラム |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2005242569A true JP2005242569A (ja) | 2005-09-08 |
Family
ID=34858285
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004049955A Pending JP2005242569A (ja) | 2004-02-25 | 2004-02-25 | データ処理装置設計方法、データ処理装置設計装置及びプログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US7447617B2 (ja) |
JP (1) | JP2005242569A (ja) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008139965A (ja) * | 2006-11-30 | 2008-06-19 | Mitsubishi Electric Corp | 情報処理装置及び情報処理方法及びプログラム |
JP2011175339A (ja) * | 2010-02-23 | 2011-09-08 | Nec Corp | 移行方法 |
JP2012181782A (ja) * | 2011-03-02 | 2012-09-20 | Nippon Telegr & Teleph Corp <Ntt> | テスト用入力データ生成装置及び方法及びプログラム |
US11657197B2 (en) | 2019-11-19 | 2023-05-23 | Mitsubishi Electric Corporation | Support system and computer readable medium |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4774237B2 (ja) * | 2005-05-02 | 2011-09-14 | 株式会社リコー | プログラム開発支援装置、プログラム動作比較方法および半導体集積回路製造方法 |
US8943519B2 (en) * | 2007-02-08 | 2015-01-27 | International Business Machines Corporation | Smart progress indicator for script processing |
US9557879B1 (en) | 2012-10-23 | 2017-01-31 | Dell Software Inc. | System for inferring dependencies among computing systems |
US10333820B1 (en) | 2012-10-23 | 2019-06-25 | Quest Software Inc. | System for inferring dependencies among computing systems |
US11005738B1 (en) * | 2014-04-09 | 2021-05-11 | Quest Software Inc. | System and method for end-to-end response-time analysis |
US9479414B1 (en) | 2014-05-30 | 2016-10-25 | Dell Software Inc. | System and method for analyzing computing performance |
US10291493B1 (en) | 2014-12-05 | 2019-05-14 | Quest Software Inc. | System and method for determining relevant computer performance events |
US9996577B1 (en) | 2015-02-11 | 2018-06-12 | Quest Software Inc. | Systems and methods for graphically filtering code call trees |
US10187260B1 (en) | 2015-05-29 | 2019-01-22 | Quest Software Inc. | Systems and methods for multilayer monitoring of network function virtualization architectures |
US10200252B1 (en) | 2015-09-18 | 2019-02-05 | Quest Software Inc. | Systems and methods for integrated modeling of monitored virtual desktop infrastructure systems |
US10230601B1 (en) | 2016-07-05 | 2019-03-12 | Quest Software Inc. | Systems and methods for integrated modeling and performance measurements of monitored virtual desktop infrastructure systems |
CN107665159B (zh) * | 2016-07-27 | 2022-07-12 | 上海华虹集成电路有限责任公司 | 安全处理器跳转指令固定执行时间的测试方法 |
US10896116B1 (en) * | 2018-10-19 | 2021-01-19 | Waymo Llc | Detecting performance regressions in software for controlling autonomous vehicles |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002269163A (ja) * | 2001-03-12 | 2002-09-20 | Toshiba Corp | 設計支援装置および設計支援方法ならびに設計支援プログラム |
JP2003233633A (ja) * | 2002-02-07 | 2003-08-22 | Sanyo Electric Co Ltd | 集積回路の設計方法 |
JP2003316838A (ja) * | 2002-04-19 | 2003-11-07 | Nec Electronics Corp | システムlsiの設計方法及びこれを記憶した記録媒体 |
JP2003345775A (ja) * | 2002-05-30 | 2003-12-05 | Nec Electronics Corp | システムlsi、システムlsiの設計方法、及び、記録媒体 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5832202A (en) * | 1988-12-28 | 1998-11-03 | U.S. Philips Corporation | Exception recovery in a data processing system |
JPH04199439A (ja) | 1990-11-29 | 1992-07-20 | Fujitsu Ten Ltd | プログラム解析装置 |
JP3246462B2 (ja) | 1998-12-22 | 2002-01-15 | 日本電気株式会社 | C言語回路モデルを用いた機能合成方法およびそのプログラムを記録した記録媒体 |
JP2000305967A (ja) | 1999-04-21 | 2000-11-02 | Mitsubishi Electric Corp | 状態遷移情報調整装置及び回路設計装置及びプログラムを記録したコンピュータ読み取り可能な記録媒体 |
JP3981238B2 (ja) * | 1999-12-27 | 2007-09-26 | 富士通株式会社 | 情報処理装置 |
JP2005037995A (ja) * | 2003-07-15 | 2005-02-10 | Toshiba Corp | 半導体集積回路の検証システム |
-
2004
- 2004-02-25 JP JP2004049955A patent/JP2005242569A/ja active Pending
- 2004-12-22 US US11/018,964 patent/US7447617B2/en not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002269163A (ja) * | 2001-03-12 | 2002-09-20 | Toshiba Corp | 設計支援装置および設計支援方法ならびに設計支援プログラム |
JP2003233633A (ja) * | 2002-02-07 | 2003-08-22 | Sanyo Electric Co Ltd | 集積回路の設計方法 |
JP2003316838A (ja) * | 2002-04-19 | 2003-11-07 | Nec Electronics Corp | システムlsiの設計方法及びこれを記憶した記録媒体 |
JP2003345775A (ja) * | 2002-05-30 | 2003-12-05 | Nec Electronics Corp | システムlsi、システムlsiの設計方法、及び、記録媒体 |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008139965A (ja) * | 2006-11-30 | 2008-06-19 | Mitsubishi Electric Corp | 情報処理装置及び情報処理方法及びプログラム |
JP2011175339A (ja) * | 2010-02-23 | 2011-09-08 | Nec Corp | 移行方法 |
JP2012181782A (ja) * | 2011-03-02 | 2012-09-20 | Nippon Telegr & Teleph Corp <Ntt> | テスト用入力データ生成装置及び方法及びプログラム |
US11657197B2 (en) | 2019-11-19 | 2023-05-23 | Mitsubishi Electric Corporation | Support system and computer readable medium |
Also Published As
Publication number | Publication date |
---|---|
US7447617B2 (en) | 2008-11-04 |
US20050187750A1 (en) | 2005-08-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7890924B2 (en) | System and method for simulating product design and development | |
JP2005242569A (ja) | データ処理装置設計方法、データ処理装置設計装置及びプログラム | |
Carmona et al. | New region-based algorithms for deriving bounded Petri nets | |
Peymandoust et al. | Automatic instruction set extension and utilization for embedded processors | |
US8150673B1 (en) | Partitioning a model in modeling environments | |
Atasu et al. | An integer linear programming approach for identifying instruction-set extensions | |
US20030171907A1 (en) | Methods and Apparatus for Optimizing Applications on Configurable Processors | |
KR20130107344A (ko) | 툴 생성기 | |
US7793271B2 (en) | Bi-directional product development process simulation | |
Friese et al. | Generating performance models for irregular applications | |
KR101275727B1 (ko) | 스테이트먼트를 재구성하는 방법 및 그 기능을 구비한컴퓨터 시스템 | |
Eusse et al. | Pre-architectural performance estimation for ASIP design based on abstract processor models | |
JP5682081B2 (ja) | インテリジェント・アーキテクチャ・クリエータ | |
US8532974B2 (en) | Developing system and method for optimizing the energy consumption of an application program for a digital signal processor | |
CN110210046B (zh) | 应用程序及专用指令集处理器一体化敏捷设计方法 | |
JP4870956B2 (ja) | 組み込み用プログラム生成方法、組み込み用プログラム開発システム、及び情報テーブル部 | |
Sridhar et al. | Slicing matlab simulink/stateflow models | |
Ray et al. | Practical techniques for performance estimation of processors | |
Cai et al. | Introduction of design-oriented profiler of Specfic language | |
Norhidayah et al. | Development of virtual assembly layout with modeling languages approach and Simulation using Delmia Quest | |
Kirovski et al. | Engineering change protocols for behavioral and system synthesis | |
CN101923466B (zh) | 装饰器模式的指令的存取方法 | |
Koushanfar et al. | Symbolic debugging of embedded hardware and software | |
JP2003233633A (ja) | 集積回路の設計方法 | |
Liolli | Selective Control-Flow Reduction for Hardware Synthesis |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20060302 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20081107 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20081118 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090114 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20090407 |